Scheme - 手続きによる抽象の構築(高階手続きによる抽象(一般的方法としての手続き(無限の連分数(continued fraction、再帰的プロセス、反復的プロセス))))

計算機プログラムの構造と解釈[第2版]
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs(Text Editor)
• Scheme (プログラミング言語)
• kscheme (ksi)(github) (処理系)

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原著: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の第1章(手続きによる抽象の構築)、1.3(高階手続きによる抽象)、1.3.3(一般的方法としての手続き)、問題1.37-a、b.を取り組んでみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs

問題1.37-a、b.

コード(Emacs)

(begin
  (load "procedures.scm")
  (newline)
  (define (p x) (display x) (newline))

  (define nums '(1 2 3 4 5 6 7 8 9 10 11 12))
  (define PHI (/ (+ 1 (sqrt 5)) 2))
  (define (n i) 1)
  (define (d i) 1)
  ;; 再帰的プロセス
  (define (cont-frac1 n d k)
    (define (iter i)
      (if (> i k)
          0.0
          (/ (n i)
             (+ (d i)
                (iter (+ i 1))))))
    (iter 1))

  ;; 反復的プロセス
  (define (cont-frac2 n d k)
    (define (iter i result)
      (if (= i 0)
          (* 1.0 result)
          (iter (- i 1)
                (/ (n i)
                   (+ (d i) result)))))
    (iter k 0))
          
  
  (p (/ 1 PHI))

  (p "再帰的プロセス")
  (for-each p (map (lambda (k)
                     (cont-frac1 n d k))
                   nums))
  (p "反復的プロセス")
  (for-each p (map (lambda (k)
                     (cont-frac2 n d k))
                   nums))
  'done)

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

$ ksi < sample37.scm
ksi> 
0.6180339887498948
再帰的プロセス
1.0
0.5
0.6666666666666666
0.6000000000000001
0.625
0.6153846153846154
0.6190476190476191
0.6176470588235294
0.6181818181818182
0.6179775280898876
0.6180555555555556
0.6180257510729613
反復的プロセス
1.0
0.5
0.6666666666666666
0.6
0.625
0.6153846153846154
0.6190476190476191
0.6176470588235294
0.6181818181818182
0.6179775280898876
0.6180555555555556
0.6180257510729614
=> done
ksi> $