oto-oto-oto日記 RSSフィード Twitter

2006-04-17 (Mon.)

[][]Church 数のメモ

404 Blog Not Found:TuringとChurchの狭間で で少しすっきりしたので、分かったところまでメモ。

0 := λ f x . x

1 := λ f x . f x

2 := λ f x . f f x

自然数 ¥huge n の場合を自分用に噛み砕いて。

後は未消化。特に Y combinator のところ。

でも、Church 数の解説は大変ありがたかったです。

スパム対策のためのダミーです。もし見えても何も入力しないでください
ゲスト


画像認証

トラックバック - http://d.hatena.ne.jp/oto-oto-oto/20060417/1145289478
Connection: close