>>453
予測不能な外部からの入力は、λ計算でモデリングできないでしょ。