window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

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に対する数学的帰納法で証明せよ。 以下の定義が与えられて…