--- a/main.tex	Tue Feb 03 17:24:05 2015 +0900
+++ b/main.tex	Tue Feb 03 17:55:53 2015 +0900
@@ -38,20 +38,64 @@
 % main.tex をコンパイルして確認する。
 %章分けは個人で違うので下のフォーマットを参考にして下さい。
 
-% はじめに
-\input{chapter1.tex}
+% FIXME: Temporary table of contents
+\chapter{研究背景と目的}
+
+\chapter{プログラムの変更を表現する Delta Monad}
+\section{Delta の データ定義}
+\section{Delta の Functor 定義}
+\section{Delta の Monad 定義}
+\section{Delta を用いたプログラムの変更}
 
-% 基礎概念
-\input{chapter2.tex}
+\chapter{Categorical Definitions of Monad}
+\section{Category}
+\section{Functor}
+\section{Natural Transformation}
+\section{Monad}
+\section{Monads in Functional Programming}
+
+\chapter{Disposition of Category?}
+\section{Product}
+\section{CoProduct}
+\section{Limit}
+\section{CoLimit}
+\section{Equalizer ?}
+\section{Indexed Category}
+\section{Delta との対応}
 
-% 実験
-\input{chapter3.tex}
+\chapter{Agda による証明手法}
+\section{Natural Deduction}
+\section{Curry-Howard Isomorphism}
+\section{Agda による証明}
+\section{Reasoning}
+\section{Example?}
+
+\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 則を満たす証明}
 
-% 他の論文との比較
-%\input{chapter4.tex}
-
-% 今後の課題
-\input{future.tex}
+\chapter{結論}
+%
+% % はじめに
+% \input{chapter1.tex}
+%
+% % 基礎概念
+% \input{chapter2.tex}
+%
+% % 実験
+% \input{chapter3.tex}
+%
+% % 他の論文との比較
+% %\input{chapter4.tex}
+%
+% % 今後の課題
+% \input{future.tex}
 
 % 参考文献
 \input{bibliography.tex}