2010/05/13

不動点

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

To Mock a MockingbirdThe Little Schemer, 4th Edition

0 件のコメント:

コメントを投稿