あまり厳密ではないけど、ざっくり書いてみる。 計算理論 「計算」を数学的に厳密に定義することで、「計算」に何ができて何ができないのかを解き明かす理論。 ラムダ計算 計算理論で使われる1つのモデル。 ラムダ式（≒1引数無名高階関数の定義）と簡約（≒関…

16ヶ月もかけてしまったが、ついに全章の写経と練習問題を終えた！ この先も本で学ぶとすれば、「すごいH」本か、もしくは「Real World Haskell」だろうか？ でも、まずはrst76が紹介していた確率プログラミングかな。 例題だと、「雨が降る確率が0.3、その…

13.9 練習問題 以下の定義が与えられているとする。 map f [] = [] map f (x:xs) = f x : map f xs (f.g) x = f (g x) map f (map g xs) = map (f.g) xsであることを、xsに対する数学的帰納法で証明せよ。 xs = []の場合 左辺 = map f (map g []) = map f []…

とりあえず残りの問題だけ 13.9 練習問題 以下の定義が与えられているとする。 map f [] = [] map f (x:xs) = f x : map f xs (f.g) x = f (g x) map f (map g xs) = map (f.g) xsであることを、xsに対する数学的帰納法で証明せよ。 以下の定義が与えられて…