セミナー終わって、みんなでご飯食べて、太田君の補習をしていたら、︵僕にしては︶だいぶ遅くなってしまったのですが、なにしろ事前にテンションあげていたので、すぐに眠れない。んでまー、本日の﹁Eの、いろいろな定式化﹂について補足します。︵ほぼ参加者にしか通用しない話で申し訳ないのですが。︶fが2引数関数で、f^ は、fの関数コード、ただしパラメータは残ってないとする。 E(f^, a, b) = f(a, b) -- Eは3引数 E(f^, [a, b]) = f(a, b) -- Eは2引数、第2引数はタプル E([f^, a, b]) = f(a, b) -- Eはタプル1引数、タプルは3項 E([f^, [a, b]]) = f(a, b) -- Eはタプル1引数、タプルは2項だが入れ子 関数コードf^とは、関数の計算手順を刷り込んだデータです。Eは、Exec, Eval, Engine