Y コンビネータって何? - IT戦記

http://d.hatena.ne.jp/amachang/20080124/1201199469

Y コンビネータ. って何ってところから、自分でもいろいろ考えてみた。 ... Yコンビネータはそんな世界で生まれた再帰を表現するための塊、定型のようなもんですね。 ... 正直なところ,Yコンビネータには実用性はそれほどないと思われます. ...

2008-11-19 - Maeの(Mae向きな)日記

http://d.hatena.ne.jp/rahaema/20081119

でYコンビネータは,以下のように紹介されています。 ... 昨日は,たくさん出てくるlambdaをRubyでどう書けば良いのか分からなかったのですが,今日はなんとかYコンビネータをRubyで書くことができました。 ... あまりにもYコンビネータが不思議で ...

Y コンビネータについて調べてみた - F.Ko-Jiの「一秒後は未来」

http://blog.fkoji.com/2008/01261729.html

Y コンビネータは不動点演算子と呼ばれるものの一種 ... λ計算ではYを用いると Yg が g の不動点 となる。 Y コンビネータを利用するとλ計算で再帰的な関数を定義できる. Yg = g(Yg) の証明 (はβ簡約) Yg ...