2005-11-07 実装ぼけ しばらくMinCamlばかりやっていたせいか、普通のλ計算の簡約とかπ計算の双模倣についていろいろと忘れていて、かなり勘違いしまくり。また勉強せねば。どうも失礼しました。>勘違いされてしまった方