--- a/mid_thesis.tex	Mon Sep 14 05:41:23 2020 +0900
+++ b/mid_thesis.tex	Mon Sep 14 19:58:10 2020 +0900
@@ -27,7 +27,7 @@
 	Scale=MatchLowercase
 ]
 
-\renewcommand{\abstractname}{要 旨}
+
 \lstset{
   frame=single,
   keepspaces=true,
@@ -56,7 +56,7 @@
 \begin{document}
 \ltjsetparameter{jacharrange={-3}}
 \title{\LARGE Continuation based C による RedBlackTree の Hoare Logic を用いた検証 \\ \Large Verification of red-black tree implemented in Continuation based C using Hoare Logic}
-\author{学籍番号 175706H 氏名 上地 悠斗 \and 指導教員 : 河野 真治}
+\author{学籍番号 175706H 氏名 上地 悠斗 \\ 指導教員 : 河野 真治}
 \date{}
 \maketitle
 \thispagestyle{fancy}
@@ -68,14 +68,13 @@
 \begin{multicols*}{2}
     \input{tex/intro.tex} % 研究目的
     \input{tex/cbc.tex} % CbC の説明
+    \input{tex/agda.tex} % agda の説明
     \input{tex/hoare.tex} % Hoare Logic の説明
-    \input{tex/agda.tex} % agda の説明
 	\input{tex/rbtree.tex} % 赤黒木の説明
     \input{tex/spec.tex}% 手法
-
-	\section{今後の課題}
-	% 参考文献
+    \input{tex/future.tex}% 今後の課題
 	
+% 参考文献	
 \begin{thebibliography}{9}
 \bibitem{1}CbCの論文
 \bibitem{2}外間先輩の先行研究