--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/final_pre/finalPre.aux	Mon Feb 19 23:32:24 2018 +0900
@@ -0,0 +1,23 @@
+\relax 
+\@writefile{toc}{\contentsline {section}{\numberline {1}ソフトウェアの信頼性の保証}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {2}Countinuation based C (CbC)}{1}}
+\newlabel{src:singlelinked}{{1}{1}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {1}CbCによるStack}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}CbC における Interface の実装}{1}}
+\newlabel{src:interface}{{2}{1}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}CbCでのStack-Interfaceの実装}{1}}
+\citation{*}
+\bibstyle{junsrt}
+\bibdata{reference}
+\bibcite{Yasutaka:2016}{1}
+\bibcite{Tatsuki:2016}{2}
+\bibcite{kaito:2015}{3}
+\bibcite{agda}{4}
+\@writefile{toc}{\contentsline {section}{\numberline {4}Agda における Interface の実装}{2}}
+\newlabel{src:agda-single-linked-stack}{{3}{2}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {3}Agda における Stack の実装}{2}}
+\@writefile{toc}{\contentsline {section}{\numberline {5}Agda による Interface 部分を含めた Stack の部分的な証明}{2}}
+\newlabel{src:agda-in-some-state}{{4}{2}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {4}抽象的なStackの定義とpush$->$push$->$pop2 の証明}{2}}
+\@writefile{toc}{\contentsline {section}{\numberline {6}まとめ}{2}}
+\bibcite{agda-documentation}{5}