# HG changeset patch # User Yasutaka Higa # Date 1414553455 -32400 # Node ID 331d9984930f728921a54402231929408daf74b6 # Parent 514bb884084ccad223797670a29b5dd59d36679f Fixes from hiyoko-san check diff -r 514bb884084c -r 331d9984930f bachelor_middle_draft.tex --- a/bachelor_middle_draft.tex Wed Oct 29 09:11:46 2014 +0900 +++ b/bachelor_middle_draft.tex Wed Oct 29 12:30:55 2014 +0900 @@ -33,7 +33,7 @@ プログラムを変更するとプログラムの実行結果も変化する。 しかし、変更後のプログラムが正しい実行結果でない場合も存在する。 そこで、プログラムに対する変更をMonadとして記述する。 -Monadとして記述した変更により、プログラムの変更時にこのプログラムの変更が正しく完成に近づくような変更なのか評価する。 +Monadとして変更を記述することで、プログラムの変更時にこのプログラムの変更が正しく完成に近づくような変更なのか評価する。 ひいては、プログラムを変更することの意味や性質などを解析する。 % }}} @@ -41,10 +41,9 @@ % {{{ 限定されたプログラムの変更を表す Delta Monad \section{限定されたプログラムの変更を表す Delta Monad} -Monad を用いてプログラムの変更の例として、プログラミング言語HaskellにおけるMonadを利用する。 +Monad を用いたプログラムの変更の例として、プログラミング言語HaskellにおけるMonadを利用する。 Haskell におけるMonadとはメタ計算と対応されたデータ型である。 -Monadは任意の型を内包することができるデータ型である。 -内包した型に対する演算を行なった際、Monadに対して定義されたメタ計算も行なう。 +Monadであるデータ型は任意の型を内包することができ、内包した型に対する計算を行なった際にメタ計算も同時に行なう。 Haskell において限定されたプログラムの変更を表すことができる Delta Monad を定義した。 Delta Monad におけるプログラムの変更は、変更前と変更後の実行結果を両方持つことによって表現する。