正誤表
| 報告日 | ページ・行 | 修正内容 |
|---|---|---|
| 2020-06-28 | p.197 L.-1 | (誤) (一文抜け) (正) これはflattenの定義およびflattenlの羃等性により直ちに導かれる． |
| 2020-06-28 | p.196 練習問題Aの解答 L.1 | (誤) A<1>B<1> (正) A<1>B<1>C |
| 2020-06-28 | p.183 L.-15 | (誤) 定義で見られる (正) 定義で使われている |
| 2020-06-28 | p.179 §8.2 L.1 | (誤) 読んで (正) 呼んで |
| 2020-06-27 | p.175 L.-7 および L.-13 | (誤) (n - k) (正) (k - (n + 1)) |
| 2019-12-01 | p.133 L.-3 | (誤) 欠いている思われる (正) 欠いていると思われる |
| 2017-06-25 | p.063 L.-5 | (誤) (bot以外) (正) (⊥以外) |
| 2017-06-25 | p.059 L.18 | (誤) 定義されるている (正) 定義されている |
| 2017-06-25 | p.068 (問題G) | (誤) instance Ord Nat where Zero < Zero = False Zero < Succ n = True Succ m < Zero = False Succ m < Succ n = m < n (正) instance Ord Nat where Zero <= Zero = True Zero <= Succ n = True Succ m <= Zero = False Succ m <= Succ n = m <= n |
| 2017-06-25 | p.068 L.-7 (問題G) | (誤) (<)の定義を与えるだけでよい (正) (<=)の定義を与えるだけでよい |
| 2017-04-04 | p.053 L.15 | (誤) 4章で〜説明する． (正) (トル) |
| 2017-03-04 | p.017 L.3 | (誤) シェークスビア (正) シェークスピア |
| 2017-03-04 | p.012 L.1-2 | (誤) ほとんと (正) ほとんど |
| 2017-03-04 | p.031 L.-8 | (誤) "One man add his dog\n" (正) "One man and his dog\n" |
| 2017-03-02 | p.031 L.-7 | (誤) " men " (正) " men, " |
| 2017-03-01 | p.031 L.-6 | (誤) "One man and his dog\n" (正) "one man and his dog\n" |
| 2017-03-01 | p.031 L.-5 | (誤) "Went to mow a meadow\n\n" (正) "Went to mow a meadow\n" |