\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}