Scheme - レジスタ計算機での計算(レジスタ計算機の設計(再帰を実装するためのスタックの使用(二重再帰(階乗とFibonacci計算機を机上でシミュレート))))

計算機プログラムの構造と解釈[第2版]
(翔泳社)
ハロルド エイブルソン (著)ジュリー サスマン (著)
ジェラルド・ジェイ サスマン (著)
Harold Abelson (原著)Julie Sussman (原著)
Gerald Jay Sussman (原著)和田 英一 (翻訳)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs (CUI)、BBEdit - Bare Bones Software, Inc. (GUI) (Text Editor)
• Scheme (プログラミング言語)
• Gauche (処理系)

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の5(レジスタ計算機での計算)、5.1(レジスタ計算機の設計)、5.1.4(再帰を実装するためのスタックの使用)、二重再帰、問題 5.5.を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs
• プログラミングGauche (Kahuaプロジェクト (著), 川合 史朗 (監修), オライリージャパン)
• Scheme手習い

問題 5.5.

レジスタ計算機の言語(BBEdit, Emacs)

;; 階乗 2!
n: 2
continue fact-done
fact-loop
2 = 1: 偽
stack: (fact-done)
stack: (fact-done 2)
n: 1
continue: after-fact
fact-loop
1 = 1: 真
base-case
val: 1
after-fact
stack: (fact-done)
n: 2
stack: ()
continue: fact-done
val: 2 * 1 = 2
fact-done

;; Fibonacci計算機
n: 2
continue: fib-done
fib-loop
2 < 2: 偽
stack: (fib-done)
continue: afterfib-n-1
stack: (fib-done 2)
n: 2 - 1 = 1
fb-loop
1 < 2: 真
immediate-answer
val: 1
after-fib-n-1
stack: (fib-done)
n: 2
stack: ()
continue: fib-done
n: 2 - 2 = 0
stack: (fib-done)
continue: afterfib-n-2
stack: (fib-done 1)
fib-loop
0 < 2: 真
immediate-answer
val: 0
afterfib-n-2
n: 0
stack: (fib-done)
val: 1
stack: ()
continue: fib-done
val: 1 + 0 = 1
fib-done