●●●●TCL/TKなら俺に聞け 2●●●●

●●●●TCL/TKなら俺に聞け 2●●●●at TECH

●●●●TCL/TKなら俺に聞け 2●●●● - 暇つぶし2ch373:デフォルトの名無しさん
08/11/15 18:14:51
>>372
お前が前提にしているλ計算の公理系を言え。
通常のβη変換ではλx.(λy.x) = λx.xは導出できない。