# HG changeset patch
# User soto@cr.ie.u-ryukyu.ac.jp
# Date 1599818595 -32400
# Node ID d1ab156eec7dab7c9743857e52e8ca479969dd40
# Parent  35f0e5f12fe6472e23ded228453608af784b66c3
fix multicols no balance

diff -r 35f0e5f12fe6 -r d1ab156eec7d mid_thesis.pdf
Binary file mid_thesis.pdf has changed
diff -r 35f0e5f12fe6 -r d1ab156eec7d mid_thesis.tex
--- 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}