不動点

Y = ^f.(^x.f(xx))(^x.f(xx))

• vallog: Scheme 紙面プログラミング
• vallog: ラムダ計算 λ...

読みやすそうでおもしろそうな本はないかなー。これは名前聞いたことあるなー。

• To Mock a Mockingbird - 西尾泰和のはてなダイアリー

訳本か。

• 数学パズル ものまね鳥をまねる POD版 ―愉快なパズルと結合子論理の夢の鳥物語
• 数学パズル ものまね鳥をまねる―愉快なパズルと結合子論理の夢の鳥物語

• λ-calculus.λ計算.(lambda calculus)

128 ：名無しさん＠お腹いっぱい。[sage]：2008/01/18(金) 20:49:28 ID:c/ULHqOA0 このスレのほとんどのことはスマリヤンの "To Mock a Mockingbird" に書いてあります。Ｙについては "Little Schemer" を読んだら簡単に導出できます。