土曜日が忙しかったので中途半端な状態だけど、まとめておこう。Gauche の VM は、ほとんど SECD マシンとして扱えそうだ。 SECD マシンは単なる状態遷移で、マクロで書ける。 プログラムをベクトルで持ち、プログラムカウンタを持たせた変形の SECD マシン…