開発環境
- 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))の第2章(データによる抽象の構築)、2.1(データ抽象入門)、2.1.3(データとは何か)、問題2.6.を取り組んでみる。
その他参考書籍
問題2.6.
コード(Emacs)
(begin (load "procedures.scm") (newline) (define (p x) (display x) (newline)) (define zero (lambda (f) (lambda (x) x))) (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x))))) (define one-0 (add-1 zero)) (define two-0 (add-1 one-0)) (define (inc n) (+ n 1)) (define (proc->number proc) ((proc inc) 0)) (define one (lambda (f) (lambda (x) (f x)))) (define two (lambda (f) (lambda (x) (f (f x))))) (define (proc-+ m n) (lambda (f) (lambda (x) ((m f) ((n f) x))))) (p (proc->number zero)) (p (proc->number one-0)) (p (proc->number two-0)) (p (proc->number one)) (p (proc->number two)) (p (proc->number (proc-+ one one))) (p (proc->number (proc-+ one two))) 'done)
入出力結果(Terminal(kscheme), REPL(Read, Eval, Print, Loop))
a$ ksi < sample6.scm ksi> 0 1 2 1 2 2 3 => done ksi> $
0 コメント:
コメントを投稿