07/10/20 06:55:42
>>645
＞＞ (λx.x(λx.x(･･･(λx.x(λx.xx)x)･･･)x)x)
＞これはどうやって出てきたんでしょうか？
＞m_n m_{n-1} ... m_1 かと思いましたが、
＞計算しても出てきませんでした。
６スレ52にあった
m_1=λ f_0．f_0f_0
m_2=λ f_1f_0．f_0f_1f_0
・・・
m_{n+1}=λ f_n f_{n-1} ... f_0．f_0 f_n f_{n-1} ... f_1 f_0
から
m{n+1} ･･･ m_2 m_1
を計算すれば出る。やってみせよう。