しつこいがSECD で再帰関数を実行する例が欲しくて探していたら、COMPUT325: SECD Virtual Machine という資料を見つけた。 http://web.cs.ualberta.ca/~greiner/C-325/2004/325/2004/Slides/HandoutPDF/ 資料自体はいいのだけど、p35,p36 にある fact の例…