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

入力データをプログラムで表すことは問題にしてません。エミュレータだって
そういう部分は結局外側の環境に全部丸投げしてますし。

問題はある言語で記述されたプログラムの入出力の関係をλ式で表せるか、と
いうことです。んで、λ計算には状態とか状態の更新という概念がないから無
理じゃないの、というのに対する答えが、状態の更新は状態から状態への関数
とみなせるから、λ計算の中でそれらの概念をモデル化できる、というもので
す。

とはいうものの、エミュレータと言ってますが、457の意味ぐらいで使ってた
ので、現実のIOに関するツッコミは予想外だった...