\documentclass[a4j,12pt]{jreport}
\usepackage[dvips]{graphicx}
\usepackage{mythesis}
\usepackage{multirow}
\usepackage{here}
\setlength{\itemsep}{-1zh}
\title{圏によるプログラムの変更の形式化}
\icon{
    \includegraphics[width=80mm,bb=0 0 595 842]{fig/ryukyu.pdf}
}
\year{平成26年度 卒業論文}
\belongto{琉球大学工学部情報工学科}
\author{115763K 比嘉健太 \\ 指導教員 {河野真治} }


%%
%% プリアンブルに記述
%% Figure 環境中で Table 環境の見出しを表示・カウンタの操作に必要
%%
\makeatletter
\newcommand{\figcaption}[1]{\def\@captype{figure}\caption{#1}}
\newcommand{\tblcaption}[1]{\def\@captype{table}\caption{#1}}
\makeatother
\setlength\abovecaptionskip{0pt}

\begin{document}

% タイトル
\maketitle
\baselineskip 17pt plus 1pt minus 1pt

\pagenumbering{roman}
\setcounter{page}{0}

\tableofcontents    % 目次
\listoffigures      % 図目次
\listoftables       % 表目次

\input{introduction}
\input{delta}

\chapter{Categorical Definitions of Monad}
\section{Category}
\section{Functor}
\section{Natural Transformation}
\section{Monad}
\section{Monads in Functional Programming}

\chapter{Agda による証明手法}
\section{Natural Deduction}
\section{Curry-Howard Isomorphism}
\section{Agda による証明}
\section{Reasoning}

\chapter{Delta が Monad である証明}
\section{Agda における Functor 則}
\section{Agda における Monad 則}
\section{Delta が Functor 則を満たす証明}
\section{Delta が Monad 則を満たす証明}

\chapter{任意の Monad と Delta の組み合せ}
\section{Monad と組み合せた Delta である DeltaM の定義}
\section{DeltaM が Monad 則を満たす証明}

\chapter{結論}

% 今後の課題
\input{future.tex}

% 参考文献
\input{bibliography.tex}

% 謝辞
\input{thanks.tex}

% 付録
%\input{appendix.tex}

\end{document}