\documentclass[a4j,12pt]{jreport}
\usepackage[dvipdfmx]{graphicx}
\usepackage{mythesis}
\usepackage{multirow}
\usepackage{here}
\usepackage{listings}
\usepackage{bussproofs}
\usepackage{amssymb}
\usepackage[utf8]{inputenc}

\setlength{\itemsep}{-1zh}
\title{プログラムの変更の圏による形式化}
\icon{
    \includegraphics[width=80mm,bb=0 0 595 642]{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,
  keepspaces=true,
  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,
  escapechar={@},
}
\def\lstlistingname{リスト}
\def\lstlistlistingname{リスト目次}


\begin{document}

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

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

\tableofcontents    % 目次
\listoffigures      % 図目次
\listoftables       % 表目次
\lstlistoflistings  % ソースコード目次

% 本文
\input{introduction}
\pagenumbering{arabic}
\input{delta}
\input{category}
\input{functional_programming}
\input{agda}
\input{proof_delta}
\input{delta_with_monad.tex}


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

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

% 謝辞
\input{thanks.tex}

% 付録
\appendix
% \input{proof_deltaM}
% TODO: 実験環境
% TODO: Delta と DeltaM の本体

\end{document}