整理しよう。わたしの手元にあるのは、 http://webdocs.cs.ualberta.ca/~you/courses/325/Mynotes/Fun/SECD-slides.html を実装した SECD マシン (A)だ。コンパイラとセットで、let,lambda,letrec くらいを実行できる。コメント込みで高々200行だ。自分で作…