Scheme - 手続きによる抽象の構築(プログラムの要素(条件式と述語(解釈 - 評価 - 印字 - ループ)))

計算機プログラムの構造と解釈[第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))の1(手続きによる抽象の構築)、1.1(プログラムの要素)、1.1.6(条件式と述語)、問題 1.1.を解いてみる。

その他参考書籍

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

問題 1.1.

入出力結果(Terminal(gosh), REPL(Read, Eval, Print, Loop))

$ gosh
gosh> 10 ; 10
10
gosh> (+ 5 3 4) ; 12
12
gosh> (- 9 1) ; 8
8
gosh> (/ 6 2) ; 3
3
gosh> (+ (* 2 4) (- 4 6)) ; 6
6
gosh> (define a 3)
a
gosh> (define b (+ a 1))
b
gosh> (+ a b (* a b)) ; 19
19
gosh> (= a b) ; #f
#f
gosh> (if (and (> b a) (< b (* a b)))
          b
          a) ; 4
4
gosh> (cond ((= a 4) 6)
            ((= b 4) (+ 6 7 a))
            (else 25)) ; 16
16
gosh> (+ 2 (if (> b a) b a)) ; 6
6
gosh> (* (cond ((> a b) a)
               ((< a b) b)
               (else -1))
         (+ a 1)) ; 16
16
gosh> (exit)
$