--- a/main.tex	Sun Feb 15 10:33:47 2015 +0900
+++ b/main.tex	Sun Feb 15 11:17:59 2015 +0900
@@ -70,18 +70,15 @@
 \listoftables       % 表目次
 \lstlistoflistings  % ソースコード目次
 
-
+% 本文
 \input{introduction}
 \pagenumbering{arabic}
 \input{delta}
 \input{category}
 \input{functional_programming}
 \input{agda}
-\input{proof_delta}
+\input{delta_with_monad.tex}
 
-\chapter{任意の Monad と Delta の組み合せ}
-\section{Monad と組み合せた Delta である DeltaM の定義}
-\section{DeltaM が Monad 則を満たす証明}
 
 % 今後の課題
 \input{future.tex}