Mercurial > hg > Papers > 2020 > soto-midterm
changeset 5:d1ab156eec7d
fix multicols no balance
author | soto@cr.ie.u-ryukyu.ac.jp |
---|---|
date | Fri, 11 Sep 2020 19:03:15 +0900 |
parents | 35f0e5f12fe6 |
children | 4bf00f7ba825 |
files | mid_thesis.pdf mid_thesis.tex |
diffstat | 2 files changed, 9 insertions(+), 10 deletions(-) [+] |
line wrap: on
line diff
--- a/mid_thesis.tex Fri Sep 11 02:30:15 2020 +0900 +++ b/mid_thesis.tex Fri Sep 11 19:03:15 2020 +0900 @@ -63,18 +63,17 @@ \input{./tex/abstract.tex} % 2段組開始 -\begin{multicols}{2} - \input{./tex/intro.tex} % 研究目的 - \input{./tex/cbc.tex} % CbC の説明 - \input{./tex/hoare.tex} % Hoare Logic の説明 - \input{./tex/agda.tex} % agda の説明 +\begin{multicols*}{2} + \input{./tex/intro.tex} % 研究目的 + \input{./tex/cbc.tex} % CbC の説明 + \input{./tex/hoare.tex} % Hoare Logic の説明 + \input{./tex/agda.tex} % agda の説明 \input{./tex/spec.tex}% 手法 -\section{今後の課題} - -% 参考文献 + \section{今後の課題} + % 参考文献 + \begin{thebibliography}{9} - \bibitem{1}CbCの論文 \bibitem{2}外間先輩の先行研究 \bibitem{3}Hoare Logicの論文 @@ -86,6 +85,6 @@ \bibitem{9}Coq \end{thebibliography} -\end{multicols} +\end{multicols*} \end{document}