http://d.hatena.ne.jp/sumii/20070511/p6の続き。質問の仕方からわかったかもしれませんが、教科書的解答は「（逐次言語では）実装できない」です。たとえば、名前呼び(call-by-name)や値呼び(call-by-value)のλ計算（要するに逐次関数型言語）では、簡約規…