どうもお久しぶりです。にわかに活気付いてきましたね。
もう自分の書いたλ式がどんな形だったかすら覚えていませんでしたが、
最近のやり取りを見ていたら思い出してきました。

で。質問なんですが
> (λx.x(λx.x(･･･(λx.x(λx.xx)x)･･･)x)x)
これはどうやって出てきたんでしょうか？
m_n m_{n-1} ... m_1 かと思いましたが、計算しても出てきませんでした。