2006-04-20から1日間の記事一覧
掃除とか、あとむにゃむにゃ。
なんだか見ていて心が洗われたので。ちなみに Haskell 全然知りません。 -- church numerals ch_0 = \f x -> x ch_1 = \f x -> f x ch_2 = ch_succ ch_1 ch_3 = ch_succ ch_2 ch_4 = ch_succ ch_3 ch_5 = ch_succ ch_4 ch_6 = ch_succ ch_5 ch_7 = ch_succ c…
掃除とか、あとむにゃむにゃ。
なんだか見ていて心が洗われたので。ちなみに Haskell 全然知りません。 -- church numerals ch_0 = \f x -> x ch_1 = \f x -> f x ch_2 = ch_succ ch_1 ch_3 = ch_succ ch_2 ch_4 = ch_succ ch_3 ch_5 = ch_succ ch_4 ch_6 = ch_succ ch_5 ch_7 = ch_succ c…