\begin{thebibliography}{1}

\bibitem{Yasutaka:2016}
{比嘉 健太, 河野 真治}.
\newblock {メタ計算を用いた Continuation based C の検証手法}, 2016.

\bibitem{agda}
The agda wiki.
\newblock \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}.
\newblock Accessed: 2017/10/24(Tue).

\bibitem{Tatsuki:2016}
{伊波 立樹, 東恩納 琢偉, 河野 真治}.
\newblock {Code Gear 、Data Gear に基づく OS のプロトタイプ}, 2016.

\bibitem{kaito:2015}
{徳森 海斗, 河野 真治}.
\newblock {LLVM Clang 上の Continuation based C コンパイラ の改良}, 2015.

\bibitem{agda-documentation}
Welcome to agda’s documentation! ― agda 2.6.0 documentation.
\newblock \url{http://agda.readthedocs.io/en/latest/index.html}.
\newblock Accessed: 2017/10/24(Tue).

\end{thebibliography}