\documentclass[a4j,12pt]{jreport}
\usepackage[dvipdfmx]{graphicx}
\usepackage{mythesis}
\usepackage{multirow}
\usepackage{here}
\usepackage{listings, jlisting}
\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}

%% listings settings

\lstset{%
  frame=single,
  stringstyle={\ttfamily},
  commentstyle={\ttfamily},
  identifierstyle={\ttfamily},
  keywordstyle={\ttfamily},
  basicstyle={\ttfamily},
  breaklines=true,
  xleftmargin=0zw,
  xrightmargin=0zw,
  framerule=.2pt,
  columns=[l]{fullflexible},
  numbers=left,
  stepnumber=1,
  numberstyle={\scriptsize},
  numbersep=1em,
  language={},
  tabsize=4,
  lineskip=-0.5zw,
  morecomment={[s][]{/**}{*/}},
}

\begin{document}

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

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

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

\input{introduction}
\input{delta}
\input{category}

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