% 参考文献
\def\line{−\hspace*{-.7zw}−}

\begin{thebibliography}{99}
%\bibitem{*}内の * は各自わかりやすい名前などをつけて、
%論文中には \cite{*} のように使用する。
%これをベースに書き換えた方が楽かも。
%書籍、論文、URLによって若干書き方が異なる。
%URLを載せる人は参考にした年月日を最後に記入すること。

\bibitem{Verified}
{比嘉健太, 河野真治}: メタ計算を用いた Continuation based C の検証手法
, 琉球大学工学部情報工学科平成 29 年度学位論文(修士) (2017).

\bibitem{CbC-meta}
{宮城光希, 河野真治}: CbC 言語による OS 記述
, 琉球大学工学部情報工学科平成 29 年度学位論文(学士) (2017).

\bibitem{CbC-llvm}
{徳森海斗, 河野真治}: LLVM Clang 上の Contimuation based C コンパイラの改良
, 琉球大学工学部情報工学科平成 28 年度学位論文(修士) (2016).

\bibitem{Agda}
The Agda wiki \\\verb|http://wiki.portal.chalmers.se/agda/pmwiki.php|

% \bibtem{Agda-Tutorial}
% {Ulf Norell and James Chapman}: Dependently Typed Programming in Agda
% \\\verb|http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf|

% \bibitem{gears}
% {伊波立樹, 東恩納琢偉, 河野真治}: Code Gear、Data Gear に基づく OS のプロトタイプ
% , 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS) (2016).

% \bibitem{llvm}
% The LLVM Compiler Infrastructure. \\\verb|http://llvm.org|

% \bibitem{llvm_ir}
% LLVM Language Reference Manual. \\\verb|http://llvm.org/docs/LangRef.html|

\end{thebibliography}