# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1414562915 -32400
# Node ID 156ae5d5750b9ea642a8c0bfe7fb5575e21f8435
# Parent  0805d4984b1f37c0e3af970e42914ce8d3758b6d
Update to v2.2

diff -r 0805d4984b1f -r 156ae5d5750b bachelor_middle_draft.pdf
Binary file bachelor_middle_draft.pdf has changed
diff -r 0805d4984b1f -r 156ae5d5750b bachelor_middle_draft.tex
--- a/bachelor_middle_draft.tex	Wed Oct 29 15:05:38 2014 +0900
+++ b/bachelor_middle_draft.tex	Wed Oct 29 15:08:35 2014 +0900
@@ -106,7 +106,7 @@
 % }}}
 
 return においては実行履歴が存在しない空の文字列を含んだMonadを返す。
-型a の値xは2つに分解され、異なる実行結果を得るために利用する。
+型a の値xは2つに複製され、異なる実行結果を得るために利用する。
 \verb/(>>=)/においては、異なる実行結果に対して対応する実行履歴を保存しながら関数を適用する。
 
 これらの関数returnと\verb/>>=/は満たすべきMonad則が存在する。
@@ -114,7 +114,6 @@
 
 % }}}
 
-
 % {{{ Delta Monad におけるプログラムの変更例
 
 \section{Delta Monad におけるプログラムの変更例}
@@ -256,7 +255,7 @@
 
 今回定義したDelta Monad はプログラムの変更を保持できるのは1つのMonadにつき2つまでという制約がある。
 Delta Monad を拡張し、無限個の変更を扱えるようにすることでプログラムの変更をMonadのみで記述する。
-Monad のみでプログラムの変更を記述することにより、Monadの理論的背景である圏論の視点からプログラムを変更することの意味論を探る。
+さらに、Monad によってプログラムの変更を記述することで、Monadの理論的背景である圏論の視点からプログラムを変更することの意味論を探る。
 
 % }}}