Mercurial > hg > Papers > 2020 > soto-midterm

comparison mid_thesis.tex @ 7:acad18934981

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add description of rbtree
author soto@cr.ie.u-ryukyu.ac.jp
date Mon, 14 Sep 2020 05:41:23 +0900
parents d1ab156eec7d
children 27a6616b6683
comparison
equal deleted inserted replaced
6:4bf00f7ba825 7:acad18934981
16 \setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}} 16 \setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}}
17 \setlength{\textwidth}{181mm} 17 \setlength{\textwidth}{181mm}
18 \setlength{\textheight}{261mm} 18 \setlength{\textheight}{261mm}
19 \setlength{\footskip}{0mm} 19 \setlength{\footskip}{0mm}
20 \pagestyle{empty} 20 \pagestyle{empty}
21 \usepackage[top=2cm, bottom=2cm, left=1cm, right=1cm]{geometry} 21 \usepackage[top=20mm, bottom=20mm, left=10mm, right=10mm]{geometry}
22 % 特殊文字の表示に必要 22 % 特殊文字の表示に必要
23 \usepackage{luatexja} 23 \usepackage{luatexja}
24 \usepackage{fontspec} 24 \usepackage{fontspec}
25 \setmainfont{STIX Math}% 25 \setmainfont{STIX Math}%
26 \setmonofont{STIXGeneralBol}[ 26 \setmonofont{STIXGeneralBol}[
49 tabsize=4, 49 tabsize=4,
50 lineskip=-0.1\zw, 50 lineskip=-0.1\zw,
51 escapechar={@}, 51 escapechar={@},
52 } 52 }
53 53
54 \usepackage{indentfirst}
55
54 \begin{document} 56 \begin{document}
55 \ltjsetparameter{jacharrange={-3}} 57 \ltjsetparameter{jacharrange={-3}}
56 \title{Continuation based C による赤黒木の Hoare Logic を用いた検証 \\ Verification of red-black tree implemented in Continuation based C using Hoare Logic} 58 \title{\LARGE Continuation based C による RedBlackTree の Hoare Logic を用いた検証 \\ \Large Verification of red-black tree implemented in Continuation based C using Hoare Logic}
57 \author{学籍番号 175706H 氏名 上地 悠斗 \\ 指導教員 : 河野 真治} 59 \author{学籍番号 175706H 氏名 上地 悠斗 \and 指導教員 : 河野 真治}
58 \date{} 60 \date{}
59 \maketitle 61 \maketitle
60 \thispagestyle{fancy} 62 \thispagestyle{fancy}
61 63
62 % 要旨 64 % 要旨
63 \input{./tex/abstract.tex} 65 \input{./tex/abstract.tex}
64 66
65 % 2段組開始 67 % 2段組開始
66 \begin{multicols*}{2} 68 \begin{multicols*}{2}
67 \input{./tex/intro.tex} % 研究目的 69 \input{tex/intro.tex} % 研究目的
68 \input{./tex/cbc.tex} % CbC の説明 70 \input{tex/cbc.tex} % CbC の説明
69 \input{./tex/hoare.tex} % Hoare Logic の説明 71 \input{tex/hoare.tex} % Hoare Logic の説明
70 \input{./tex/agda.tex} % agda の説明 72 \input{tex/agda.tex} % agda の説明
71 \input{./tex/spec.tex}% 手法 73 \input{tex/rbtree.tex} % 赤黒木の説明
74 \input{tex/spec.tex}% 手法
72 75
73 \section{今後の課題} 76 \section{今後の課題}
74 % 参考文献 77 % 参考文献
75 78
76 \begin{thebibliography}{9} 79 \begin{thebibliography}{9}