07/10/20 07:31:56
>>654
ああ、なるほど。>>645のいうとおりだ。ならんわ。
＞=(λx.x(λy.yhy)(λz.zz)x)
↑ここまではいいとして
＞=(λx.x(λy.y(λz.zz)y)x)
↑ここは誤り。カッコのかかり方を勘違いした。
うわぁ、だからおかしくなったのか・・・ＯＴＬ
07/10/20 07:31:56
>>654
ああ、なるほど。>>645のいうとおりだ。ならんわ。
＞=(λx.x(λy.yhy)(λz.zz)x)
↑ここまではいいとして
＞=(λx.x(λy.y(λz.zz)y)x)
↑ここは誤り。カッコのかかり方を勘違いした。
うわぁ、だからおかしくなったのか・・・ＯＴＬ