\relax 
\citation{Yasutaka:2016}
\citation{agda}
\@writefile{toc}{\contentsline {section}{\numberline {1}研究目的}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Countinuation based C (CbC)}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Agda}{1}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces 自然演繹での三段論法の証明}}{1}}
\newlabel{fig:modus-ponens}{{1}{1}}
\citation{*}
\bibstyle{junsrt}
\bibdata{reference}
\bibcite{Yasutaka:2016}{1}
\bibcite{agda}{2}
\bibcite{Tatsuki:2016}{3}
\bibcite{kaito:2015}{4}
\bibcite{agda-documentation}{5}
\newlabel{src:singlelinked}{{1}{2}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {1}CbCによるStack}{2}}
\newlabel{src:stack-agda}{{2}{2}}
\@writefile{lol}{\contentsline {lstlisting}{\numberline {2}AgdaによるStack}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}RedBlackTree}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces RedBlackTreeの例}}{2}}
\newlabel{fig:rbtree}{{2}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {5}今後の課題}{2}}