2011-07-01から1ヶ月間の記事一覧
(***) $one=&{params($f)&{params($X)f x}};とか受け付けてくれない残念なps1 と言われて、最初は何のことか分からなかったけど、なるほどチャーチ数であることに気付いた。 折角なので受けて立とう、その挑戦を。 全ては1から チャーチ数の1は以下のよう…
(***) $one=&{params($f)&{params($X)f x}};とか受け付けてくれない残念なps1 と言われて、最初は何のことか分からなかったけど、なるほどチャーチ数であることに気付いた。 折角なので受けて立とう、その挑戦を。 全ては1から チャーチ数の1は以下のよう…