Mercurial > hg > Papers > 2020 > soto-midterm
comparison mid_thesis.tex @ 8:27a6616b6683
fix
| author | soto@cr.ie.u-ryukyu.ac.jp |
|---|---|
| date | Mon, 14 Sep 2020 19:58:10 +0900 |
| parents | acad18934981 |
| children | 2652bc4fc17f |
comparison
equal
deleted
inserted
replaced
| 7:acad18934981 | 8:27a6616b6683 |
|---|---|
| 25 \setmainfont{STIX Math}% | 25 \setmainfont{STIX Math}% |
| 26 \setmonofont{STIXGeneralBol}[ | 26 \setmonofont{STIXGeneralBol}[ |
| 27 Scale=MatchLowercase | 27 Scale=MatchLowercase |
| 28 ] | 28 ] |
| 29 | 29 |
| 30 \renewcommand{\abstractname}{要 旨} | 30 |
| 31 \lstset{ | 31 \lstset{ |
| 32 frame=single, | 32 frame=single, |
| 33 keepspaces=true, | 33 keepspaces=true, |
| 34 stringstyle={\ttfamily}, | 34 stringstyle={\ttfamily}, |
| 35 commentstyle={\ttfamily}, | 35 commentstyle={\ttfamily}, |
| 54 \usepackage{indentfirst} | 54 \usepackage{indentfirst} |
| 55 | 55 |
| 56 \begin{document} | 56 \begin{document} |
| 57 \ltjsetparameter{jacharrange={-3}} | 57 \ltjsetparameter{jacharrange={-3}} |
| 58 \title{\LARGE Continuation based C による RedBlackTree の Hoare Logic を用いた検証 \\ \Large 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} |
| 59 \author{学籍番号 175706H 氏名 上地 悠斗 \and 指導教員 : 河野 真治} | 59 \author{学籍番号 175706H 氏名 上地 悠斗 \\ 指導教員 : 河野 真治} |
| 60 \date{} | 60 \date{} |
| 61 \maketitle | 61 \maketitle |
| 62 \thispagestyle{fancy} | 62 \thispagestyle{fancy} |
| 63 | 63 |
| 64 % 要旨 | 64 % 要旨 |
| 66 | 66 |
| 67 % 2段組開始 | 67 % 2段組開始 |
| 68 \begin{multicols*}{2} | 68 \begin{multicols*}{2} |
| 69 \input{tex/intro.tex} % 研究目的 | 69 \input{tex/intro.tex} % 研究目的 |
| 70 \input{tex/cbc.tex} % CbC の説明 | 70 \input{tex/cbc.tex} % CbC の説明 |
| 71 \input{tex/agda.tex} % agda の説明 | |
| 71 \input{tex/hoare.tex} % Hoare Logic の説明 | 72 \input{tex/hoare.tex} % Hoare Logic の説明 |
| 72 \input{tex/agda.tex} % agda の説明 | |
| 73 \input{tex/rbtree.tex} % 赤黒木の説明 | 73 \input{tex/rbtree.tex} % 赤黒木の説明 |
| 74 \input{tex/spec.tex}% 手法 | 74 \input{tex/spec.tex}% 手法 |
| 75 | 75 \input{tex/future.tex}% 今後の課題 |
| 76 \section{今後の課題} | |
| 77 % 参考文献 | |
| 78 | 76 |
| 77 % 参考文献 | |
| 79 \begin{thebibliography}{9} | 78 \begin{thebibliography}{9} |
| 80 \bibitem{1}CbCの論文 | 79 \bibitem{1}CbCの論文 |
| 81 \bibitem{2}外間先輩の先行研究 | 80 \bibitem{2}外間先輩の先行研究 |
| 82 \bibitem{3}Hoare Logicの論文 | 81 \bibitem{3}Hoare Logicの論文 |
| 83 \bibitem{4}Hoare Logicのスライド | 82 \bibitem{4}Hoare Logicのスライド |