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

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

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

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