まだまだ機能が足りないが match を書いている。パターンマッチも（最適化と汎用性を気にしなければ）難しくはない。 (def-secd-machine secd-1 "secd machine" ;; initial state -> transformed state ( s e (:NIL . c) d -> (nil . s) e c d ) ( s e (:LDC…