Mercurial > hg > Papers > 2020 > soto-midterm

comparison mid_thesis.tex @ 4:35f0e5f12fe6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add verification method
author soto@cr.ie.u-ryukyu.ac.jp
date Fri, 11 Sep 2020 02:30:15 +0900
parents b124f02ea3f1
children d1ab156eec7d
comparison
equal deleted inserted replaced
3:b124f02ea3f1 4:35f0e5f12fe6
70 \input{./tex/agda.tex} % agda の説明 70 \input{./tex/agda.tex} % agda の説明
71 \input{./tex/spec.tex}% 手法 71 \input{./tex/spec.tex}% 手法
72 72
73 \section{今後の課題} 73 \section{今後の課題}
74 74
75 \section{類似技術}
76
77 \subsection{coq}
78
79 % 参考文献 75 % 参考文献
80 \begin{thebibliography}{9} 76 \begin{thebibliography}{9}
81 77
82 \bibitem{1}CbCの論文 78 \bibitem{1}CbCの論文
83 \bibitem{2}外間先輩の先行研究 79 \bibitem{2}外間先輩の先行研究