07/10/20 07:02:19
例えば
m_3 m_2 m_1
=(λfgx.xfgx)(λhy.yhy)(λz.zz)
=(λgx.x(λhy.yhy)gx)(λz.zz)
=(λx.x(λy.yhy)(λz.zz)x)
=(λx.x(λy.y(λz.zz)y)x)
>>630では文字を変えてなかったが、
上では混乱を避けるため文字を変えた。
07/10/20 07:02:19
例えば
m_3 m_2 m_1
=(λfgx.xfgx)(λhy.yhy)(λz.zz)
=(λgx.x(λhy.yhy)gx)(λz.zz)
=(λx.x(λy.yhy)(λz.zz)x)
=(λx.x(λy.y(λz.zz)y)x)
>>630では文字を変えてなかったが、
上では混乱を避けるため文字を変えた。