|
3
|
1 \documentclass[a4j,9.5pt]{article}
|
|
|
2 \usepackage{graphicx}
|
|
0
|
3 \usepackage{picins}
|
|
|
4 \usepackage{fancyhdr}
|
|
1
|
5 \usepackage[]{multicol}
|
|
3
|
6 \usepackage{listings}
|
|
0
|
7 %\pagestyle{fancy}
|
|
3
|
8 \lhead{\parpic{\includegraphics[height=1\zw,keepaspectratio,bb=0 0 251 246]{pic/emblem-bitmap.pdf}}琉球大学主催 工学部工学科知能情報コース 中間発表予稿}
|
|
0
|
9 \rhead{}
|
|
|
10 \cfoot{}
|
|
|
11
|
|
|
12 \setlength{\topmargin}{-1in \addtolength{\topmargin}{15mm}}
|
|
|
13 \setlength{\headheight}{0mm}
|
|
|
14 \setlength{\headsep}{5mm}
|
|
|
15 \setlength{\oddsidemargin}{-1in \addtolength{\oddsidemargin}{11mm}}
|
|
|
16 \setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}}
|
|
|
17 \setlength{\textwidth}{181mm}
|
|
|
18 \setlength{\textheight}{261mm}
|
|
|
19 \setlength{\footskip}{0mm}
|
|
|
20 \pagestyle{empty}
|
|
7
|
21 \usepackage[top=20mm, bottom=20mm, left=10mm, right=10mm]{geometry}
|
|
3
|
22 % 特殊文字の表示に必要
|
|
|
23 \usepackage{luatexja}
|
|
|
24 \usepackage{fontspec}
|
|
|
25 \setmainfont{STIX Math}%
|
|
|
26 \setmonofont{STIXGeneralBol}[
|
|
|
27 Scale=MatchLowercase
|
|
|
28 ]
|
|
1
|
29
|
|
8
|
30
|
|
1
|
31 \lstset{
|
|
|
32 frame=single,
|
|
|
33 keepspaces=true,
|
|
|
34 stringstyle={\ttfamily},
|
|
|
35 commentstyle={\ttfamily},
|
|
|
36 identifierstyle={\ttfamily},
|
|
|
37 keywordstyle={\ttfamily},
|
|
10
|
38 basicstyle={\ttfamily},
|
|
1
|
39 breaklines=true,
|
|
3
|
40 xleftmargin=0\zw,
|
|
|
41 xrightmargin=0\zw,
|
|
1
|
42 framerule=.3pt,
|
|
|
43 columns=[l]{fullflexible},
|
|
9
|
44 numbers=left,
|
|
1
|
45 stepnumber=1,
|
|
10
|
46 % numberstyle={\scriptsize},
|
|
|
47 numbersep=5pt,
|
|
1
|
48 language={},
|
|
|
49 tabsize=4,
|
|
3
|
50 lineskip=-0.1\zw,
|
|
1
|
51 escapechar={@},
|
|
|
52 }
|
|
|
53
|
|
7
|
54 \usepackage{indentfirst}
|
|
9
|
55 \usepackage{url}
|
|
|
56 \usepackage{amssymb}
|
|
|
57
|
|
11
|
58 \usepackage[backend=biber, style=numeric, bibstyle=ieee]{biblatex}
|
|
10
|
59 \nocite{*}
|
|
|
60 \addbibresource{soto.bib}
|
|
|
61
|
|
|
62 \setlength{\columnsep}{5mm}
|
|
11
|
63 \def\lstlistingname{ソースコード}
|
|
|
64
|
|
|
65 \newcommand\figref[1]{図 \ref{#1}}
|
|
|
66 \newcommand\coderef[1]{ソースコード \ref{#1}}
|
|
7
|
67
|
|
0
|
68 \begin{document}
|
|
3
|
69 \ltjsetparameter{jacharrange={-3}}
|
|
7
|
70 \title{\LARGE Continuation based C による RedBlackTree の Hoare Logic を用いた検証 \\ \Large Verification of red-black tree implemented in Continuation based C using Hoare Logic}
|
|
8
|
71 \author{学籍番号 175706H 氏名 上地 悠斗 \\ 指導教員 : 河野 真治}
|
|
0
|
72 \date{}
|
|
|
73 \maketitle
|
|
1
|
74 \thispagestyle{fancy}
|
|
0
|
75
|
|
1
|
76 % 要旨
|
|
3
|
77 \input{./tex/abstract.tex}
|
|
1
|
78
|
|
3
|
79 % 2段組開始
|
|
5
|
80 \begin{multicols*}{2}
|
|
7
|
81 \input{tex/intro.tex} % 研究目的
|
|
|
82 \input{tex/cbc.tex} % CbC の説明
|
|
8
|
83 \input{tex/agda.tex} % agda の説明
|
|
7
|
84 \input{tex/hoare.tex} % Hoare Logic の説明
|
|
|
85 \input{tex/rbtree.tex} % 赤黒木の説明
|
|
|
86 \input{tex/spec.tex}% 手法
|
|
8
|
87 \input{tex/future.tex}% 今後の課題
|
|
11
|
88 \printbibliography[title={参考文献}]
|
|
5
|
89 \end{multicols*}
|
|
1
|
90
|
|
0
|
91 \end{document}
|
