「(λx.M(xx))(λx.M(xx))→ M(λx.M(xx)(λx.M(xx)))」 - @katzchang.contexts

おとうさん、ぼくにもYコンビネータがわかりましたよ！ - 2009-04-09 - きしだのはてなの記事について。 ブコメで 「(λx.M(xx))(λx.M(xx))→ M(λx.M(xx)(λx.M(xx)))」で詰まった。 と書いたけど、普通に書いたら問題なかった件を書いておく。 左辺の(λx.M(xx))(λx.M(xx))について、判りやすさのために、Nを以下のように定義する。 N = Mで、左側の(λx.M(xx))を書きかえる。ラムダの文字xはyと書き変えても問題がない。*1 (λx.M(xx)) = (λy.N(yy))で、元の左辺を書き変えてみる。 (λx.M(xx))(λx.M(xx)) = (λy.N(yy))(λx.M(xx))これはつまり、(λy.N(yy))という関数に対して、パラメータ(λx.M(xx))を与えているという式になる。で、λyについて解くと、y

[ledsun]

中身読んでないけど、タイトル可愛いｗ