Mercurial > hg > Papers > 2020 > soto-midterm

comparison mid_thesis.tex @ 5:d1ab156eec7d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix multicols no balance
author soto@cr.ie.u-ryukyu.ac.jp
date Fri, 11 Sep 2020 19:03:15 +0900
parents 35f0e5f12fe6
children acad18934981
comparison
equal deleted inserted replaced
4:35f0e5f12fe6 5:d1ab156eec7d
61 61
62 % 要旨 62 % 要旨
63 \input{./tex/abstract.tex} 63 \input{./tex/abstract.tex}
64 64
65 % 2段組開始 65 % 2段組開始
66 \begin{multicols}{2} 66 \begin{multicols*}{2}
67 \input{./tex/intro.tex} % 研究目的 67 \input{./tex/intro.tex} % 研究目的
68 \input{./tex/cbc.tex} % CbC の説明 68 \input{./tex/cbc.tex} % CbC の説明
69 \input{./tex/hoare.tex} % Hoare Logic の説明 69 \input{./tex/hoare.tex} % Hoare Logic の説明
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 % 参考文献 75
76 \begin{thebibliography}{9} 76 \begin{thebibliography}{9}
77
78 \bibitem{1}CbCの論文 77 \bibitem{1}CbCの論文
79 \bibitem{2}外間先輩の先行研究 78 \bibitem{2}外間先輩の先行研究
80 \bibitem{3}Hoare Logicの論文 79 \bibitem{3}Hoare Logicの論文
81 \bibitem{4}Hoare Logicのスライド 80 \bibitem{4}Hoare Logicのスライド
82 \bibitem{5}agda のサイト 81 \bibitem{5}agda のサイト
84 \bibitem{7}atttonさんの論文 83 \bibitem{7}atttonさんの論文
85 \bibitem{8}Haskell 84 \bibitem{8}Haskell
86 \bibitem{9}Coq 85 \bibitem{9}Coq
87 \end{thebibliography} 86 \end{thebibliography}
88 87
89 \end{multicols} 88 \end{multicols*}
90 89
91 \end{document} 90 \end{document}