挑戦した。解いた顛末をそのまま dump するという、まさしく (そして珍しく)「日記」な内容。 ∀f, f(Yf) = Yf ←これを逆から読む。すると Y = λg.g(Yg) になることがわかる。これをさらに naïve に展開すると Y = λg.g(Yg) = λg.g(λh.h(Yh))g = λg.g(λh.h((λ…