2012-08-08から1日間の記事一覧

プログラミングHaskellついに完了

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

第13章 プログラムの論証 #7

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 []…