>>332
ラムダ計算において使用不可能な概念ではないでしょう