iriyak:LispLogそうか、評価器に興味があるのかCPS 準備運動Lisp との出会いから今までこの頁についてLisp 実装のリンクAwkSmalltalkCJavaECMAScriptGauche-devel-jp mailing list 投函記事の履歴 Log そうか、評価器に興味があるのか (2004/06/03 14:57:34 JST) これまで漠然と感じていたけど、評価器 (Evaluator) のつくりにこれほどまでに執着するのは、計算とは何か? というテーマというか問いにすごくひかれるものがあるからだとようやく気がついた。だから大学の講義で松山隆司先生が黒板に書かれた「思考＝計算」(たしか第一階述語論理の講義) や山崎進先生の Computational Logic のゼミや意味論 (Semantics) や計算モデルに対して身体が反応したんだと思う。評価器をつくることは、ある計算モデ
