Mercurial > hg > Papers > 2020 > soto-midterm

comparison mid_thesis.tex @ 10:c162ca9b997e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add reference
author soto@cr.ie.u-ryukyu.ac.jp
date Tue, 15 Sep 2020 04:49:26 +0900
parents 2652bc4fc17f
children a8bc8c6b48bd
comparison
equal deleted inserted replaced
9:2652bc4fc17f 10:c162ca9b997e
33 keepspaces=true, 33 keepspaces=true,
34 stringstyle={\ttfamily}, 34 stringstyle={\ttfamily},
35 commentstyle={\ttfamily}, 35 commentstyle={\ttfamily},
36 identifierstyle={\ttfamily}, 36 identifierstyle={\ttfamily},
37 keywordstyle={\ttfamily}, 37 keywordstyle={\ttfamily},
38 basicstyle={\small\ttfamily}, 38 basicstyle={\ttfamily},
39 breaklines=true, 39 breaklines=true,
40 xleftmargin=0\zw, 40 xleftmargin=0\zw,
41 xrightmargin=0\zw, 41 xrightmargin=0\zw,
42 framerule=.3pt, 42 framerule=.3pt,
43 columns=[l]{fullflexible}, 43 columns=[l]{fullflexible},
44 numbers=left, 44 numbers=left,
45 stepnumber=1, 45 stepnumber=1,
46 numberstyle={\scriptsize}, 46 % numberstyle={\scriptsize},
47 % numbersep=5pt, 47 numbersep=5pt,
48 language={}, 48 language={},
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} 54 \usepackage{indentfirst}
55 \usepackage{url} 55 \usepackage{url}
56 \usepackage{amssymb} 56 \usepackage{amssymb}
57 57
58 \setlength{\columnsep}{10mm} 58 %\bibliographystyle{plain}
59 %\bibliography{soto}
60 \usepackage[backend=biber, style=numeric]{biblatex}
61 \nocite{*}
62 \addbibresource{soto.bib}
63 %\bibliography{soto} %hoge.bibから拡張子を外した名前
64 %\bibliographystyle{junsrt} %参考文献出力スタイル
65
66 \setlength{\columnsep}{5mm}
59 67
60 \begin{document} 68 \begin{document}
61 \ltjsetparameter{jacharrange={-3}} 69 \ltjsetparameter{jacharrange={-3}}
62 \title{\LARGE Continuation based C による RedBlackTree の Hoare Logic を用いた検証 \\ \Large Verification of red-black tree implemented in Continuation based C using Hoare Logic} 70 \title{\LARGE Continuation based C による RedBlackTree の Hoare Logic を用いた検証 \\ \Large Verification of red-black tree implemented in Continuation based C using Hoare Logic}
63 \author{学籍番号 175706H 氏名 上地 悠斗 \\ 指導教員 : 河野 真治} 71 \author{学籍番号 175706H 氏名 上地 悠斗 \\ 指導教員 : 河野 真治}
77 \input{tex/rbtree.tex} % 赤黒木の説明 85 \input{tex/rbtree.tex} % 赤黒木の説明
78 \input{tex/spec.tex}% 手法 86 \input{tex/spec.tex}% 手法
79 \input{tex/future.tex}% 今後の課題 87 \input{tex/future.tex}% 今後の課題
80 88
81 % 参考文献 89 % 参考文献
82 \begin{thebibliography}{9} 90 % \begin{thebibliography}{9}
83 \bibitem{cbc}cbc-gcc - 並列信頼研 mercurial repository. \\ 91 % \bibitem{cbc}
84 \url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_gcc/} 92 % cbc-gcc - 並列信頼研 mercurial repository. \\
85 \bibitem{先行研究}外間政尊. Continuation based C での Hoare Logic を用いた仕様記述と検証. Master’s thesis,\\ 93 % \url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC_gcc/}. 2020/09/10.
86 琉球大学 大学院理工学研究科 情報工学専攻, 2020. 94 % \bibitem{ryokka}
87 \bibitem{hoaree}C. A. R. Hoare. An axiomatic basis for computer programming. \\ 95 % Continuation based C での Hoare Logic を用いた仕様記述と検証. Master's thesis,\\
88 Commun. ACM, Vol. 12, No. 10, p. 576–580, October 1969. 96 % 琉球大学 大学院理工学研究科 情報工学専攻, 2020.
89 \bibitem{agda-wiki}The agda wiki. \\ 97 % \bibitem{hoare}
90 \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}. 2020/09/10. 98 % C. A. R. Hoare. An axiomatic basis for computer programming. \\
91 \bibitem{agda-doc}Welcome to agda’s documentation!. \\ 99 % Commun. ACM, Vol. 12, No. 10, p. 576–580, October 1969.
92 \url{http://agda.readthedocs.io/en/latest/}. 2020/09/10. 100 % \bibitem{agda-wiki}
93 \bibitem{agda-book}Aaron Stump. Verified Functional Programming in Agda. 101 % The agda wiki. \\
94 Association for Computing Machinery and Morgan; Claypool, New York, NY, USA, 2016. 102 % \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}. 2020/09/10.
95 \bibitem{atton}比嘉健太. メタ計算を用いた continuation based c の検証手法. Master’s thesis, \\ 103 % \bibitem{agda-doc}
96 琉球大学 大学院理工学研究科 情報工学専攻, 2017. 104 % Welcome to agda’s documentation!. \\
97 \end{thebibliography} 105 % \url{http://agda.readthedocs.io/en/latest/}. 2020/09/10.
98 106 % \bibitem{agda-book}
107 % Aaron Stump. Verified Functional Programming in Agda.
108 % Association for Computing Machinery and Morgan; Claypool, New York, NY, USA, 2016.
109 % \bibitem{atton}
110 % 比嘉健太. メタ計算を用いた continuation based c の検証手法. Master's thesis, \\
111 % 琉球大学 大学院理工学研究科 情報工学専攻, 2017.
112 % \bibitem{meta}
113 % 徳森海斗. Llvm clang 上の continuation based c コンパイラ の改良. Master's thesis, \\
114 % 琉球大学 大学院理工学研究科 情報工学専攻, 2016.
115 % \bibitem{rbtree}
116 % 渡邉敏正. データ構造と基本アルゴリズム. \\
117 % 共立出版株式会社, 2015.
118 % \end{thebibliography}
119 % \printbibliography[title=参考文献]
120 \printbibliography
99 \end{multicols*} 121 \end{multicols*}
100 122
101 \end{document} 123 \end{document}