Mercurial > hg > Papers > 2020 > soto-midterm

changeset 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 4bf00f7ba825
files mid_thesis.pdf mid_thesis.tex
diffstat 2 files changed, 9 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
Binary file mid_thesis.pdf has changed
--- 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}