SECD マシンの実行過程を分解して見る。 gosh> (run '((lambda (x) (+ x 3)) 4)) s e (NIL LDC 4 CONS LDF (LDC 3 LD (1 . 1) + RTN) AP . c) dc の先頭は NIL。 NIL は NIL をスタックs に積む。 (NIL . s) e (LDC 4 CONS LDF (LDC 3 LD (1 . 1) + RTN) AP …