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

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

% TODO: List

% books
% proofs and types
% Introduction to higher order categorical logic
% category theory for the computiong science

% papers
% notion of computations and monads
% composing monads


\bibitem{hoge}
hoge
\end{thebibliography}