Y

あーそうか。λの世界は関数に名前がない世界なのか！
f(x) = x + 2 を λx. x + 2 と書くのは名前を消してるのか！今ごろそこに気づいた。
なので、YM = M(YM) と書くのが反則で λy.(λx.y(xx))(λx.y(xx)) ならOKなのかー。やっと疑問が解けた。

参考: http://blog.livedoor.jp/dankogai/archives/50458503.html

やっと少しずつわかってきたような気がする。