報告日 ページ 修正前 修正後
2011/10/22 p.263-下から10行目 多くのデータ型と同様に 多くのデータ型と同様には
2011/10/22 p.269-実行例2行目 (tick "Richard" (RList RPerson)) (tick "Richard") (RList RPerson)
2011/10/22 p.271-l.10 まずは特殊な問い合わせ age および sizeof を定義する． 残りは，興味ある仕事だけをする問い合わせ age および sizeof の定義である．
2011/10/22 p.272-l.14 与えられているものとする． 返される．
2011/10/22 p.278-l.09 Pair1 { unPair1 :: ph (α,β) } Pair1 { unPair1 :: φ (α,β) }
2011/10/22 p.278-l.10 Pair2 { unPair2 :: ph (α,β) } Pair2 { unPair2 :: φ (α,β) }
2011/10/22 p.241-l.14 これらの関数は以下のように書くこともできる． これ以外にも，上の関数の変形版もありうる．
2011/10/22 p.241-下から6行目 生成すべく，変形版の形式化について考えよう． 生成する変形版のを構成するのは容易である．
2011/10/22 p.242-l-09以降11章中 不変性 不変条件
2011/10/22 p.247-下から10行目 <>およびnestを拡張してUnionと対話する方法を指定するところもそのままである． ただし，<>およびnestはUnionを扱えるように拡張しなければならない．
2011/10/22 p.250-下から8行目 入れ子になった演算子 入れ子演算子
2011/10/22 p.254-l.02 このfillwords関数 fillwords関数
2011/10/22 p.257-l.04 最適化されている 最適である
2011/10/22 p.257-l.06 Hughesは，最適化され有界なコンビネータに対して改行を選択するアルゴリズムはないとしている． Hughesのコンビネータでは，改行を選択する最適で有界なアルゴリズムはないと述べている．
2011/10/22 p.257-下から11行目 最適化され 最適で
2011/10/22 p.257-l.04 出版 論文発表
2011/10/04 p.213-l.07 newtype Subst = MkSubst [(Var,Term)] newtype Subst = MkSubst [(Variable,Term)]
2011/09/03 p.062-基数ソート 関数のリストについて辞書順になるような順列生成アルゴリズム 関数のリストにしたがってリストを辞書順に並び換えるアルゴリズム
2011/09/03 p009-l.11 実装では，c を a あるいは b とマージし， 実装はそのままである．join 関数は色をつかって c を a と b の どちらとマージするかを決め，
2011/09/03 p.017-練習問題1.8 FIFOキューへのスロットを追加せよ． FIFOキューへ 3 つめのスロットを追加せよ．
2011/07/22 p.056-練習問題3.29 List b List β
2011/07/22 p.058-l.03 生成するではなく， 生成するのではなく，
2011/07/22 p.059-練習問題3.37 ほかには，Hughesのリスト表現をプログラムの型から導出して
直接リスト変換子として表現する方法がある．		 別の方法として，リストをリスト変換子で表すというHughesの
表現を直接使え．これにより以下のような型のプログラムが導出できる．
2011/07/22 p.060-l.07 結合的なfに対してlzwの重要な性質が与えられれば， 結合的なfに対してlzwの以下に示す重要な性質が与えられれば，
2011/06/27 p.055-下から6行目 推論せよ． 導け．
2011/06/27 p.172-l.15 2n-1まで 2^n -1まで
2011/06/27 p.173-l.03 plus puls
2011/06/15 p.200-l.16 その全コストに応じて その全コストごとに
2011/06/15 p.200-l.17 ...引数のコストとfの結果を計算するコストである． ...引数のコストにfの結果を計算するコストを加えたものである．
2011/06/10 p.047 練習問題3.3 map g mapL g
2011/06/10 p.048-最後の行 ここでMaybe a型の具体的な型は，α型の具体的な型を
持つかもしれないし，持たないかもしれない		 ここでMaybe a型の具体的な型は，α型の具体的な値を
持っても持たなくてもよい．
2011/06/10 p.106-l.05 cを縛るということである． 新しい範囲にcを限るということである．
2011/05/20 p.098-練習問題5.16 定義を拡張して 定義を展開して
2011/05/20 p.099-下から3行目 sum，foldr，fstの定義と同様，using節は省略する． ここではusing節およびsum，foldr，fstの定義は示さない．
2011/05/20 p.101-練習問題5.23 浮動let式に対する let式を移動するための
2011/05/07 p.089-図5.2 definition mindepthp definition mindepth
2011/05/07 p.093-最後の行 xsは，付帯条件の右辺を見て必要だと考えたfastreverse xsという式として出現するわけではない． 付帯条件の右辺を見てxsはfastreverse xsという式の中で出現する必要があると考えたが，そうはなっていない．
2011/05/07 p.094-中ほど foldr (λa b zs → b (a:zs)) (λzs → zs) foldr (λa b zs → b (a:zs)) (λzs → zs) xs
2011/05/07 p.094-中ほど fastreverse = foldr (λa b zs → b (a:zs)) (λzs → zs) ys fastreverse xs ys = foldr (λa b zs → b (a:zs)) (λzs → zs) xs ys
2011/05/07 p.095-練習問題5.12 flatten (Leaf a) = a flatten (Leaf a) = [a]
2011/05/07 p.095-練習問題5.12 ここでは途中の置き換えに注意を払いながら，fastreverseに対して行った上述の導出を繰り返し用いよ． 途中の置き換えに注意しながら，fastreverseに対して行った上述の導出をここでも行え．
2011/04/15 p.086-最後の行 mid d m min d m
2011/04/15 p.087-下から4行目 ことに上ではmdの定義を ことに上ではmdの仕様を
2011/02/06 p.217 addの写像変換子への一般化では，ポイントワイズにした関数を足し合せる addの写像変換子への一般化では，関数をポイントワイズに足し合せる
2010/11/20 p.222-練習問題10.4 first f >>> (id × g) first f >>> pure (id × g)

以下は2刷で修正済み．

報告日 ページ 修正前 修正後
2010/06/18 o.004-l.04 〜についてのが理解だけが〜 〜ついての理解だけが〜
2010/06/03 p.042 prop_Exclusive :: Form -> Property prop_Exclusive :: Form -> Bool