関数型言語の勉強にSICPを読もう - (62) 4章 - 超言語的抽象(220ページ) C++でSchemeインタプリタを作ろう11 - higepon blog
引き続き Primitive Procedureの実装。今日は cons/car/cdr 。 純Lispには欠かせない要素です。 Pairというクラスを用意してあげて、 consのapply時に Pair を返す。 car/cdr は Pair を受け取り、それぞれ first/secondを返す。 という実装です。 例のごとく以下のように名前空間に追加する。 environment->defineVariable(new Variable("+"), new Plus()); environment->defineVariable(new Variable("cons"), new Cons()); environment->defineVariable(new Variable("car"), new Car()); environment->defineVariable(new Va
関数型言語の勉強にSICPを読もう - (53) 4章 - 超言語的抽象(216ページ) C++でSchemeインタプリタを作ろう1 - higepon blog
4章では Scheme の上に Schemeインタプリタを作る過程でいろいろなものを学んでいきます。 このように、被実装言語と実装言語が同じなことを metacircular というらしいのですが、読んでいるだけでドキドキしてきます。 実際4章を読み進めていくと、とても面白いのですが、所々で引っかかるところがあります。 どうも読んでいるだけでは解決しないモヤモヤがあって、それは被実装言語と実装言語の境界に関する問題のように思えてきました。 metacircularだと、どこまでが被実装言語の機能で、どこからが実装言語の機能なのか分からなくなってきてしまうのです。 こんな経緯もあり、4章で書かれているSchemeインタプリタを「ほぼそのまま」C++で実装してみようという思いに至りました。 最近SICP日記を更新できなかったのはこのあたりに悩んでいたからです。 いろいろと困難あるでしょうが、試
関数型言語の勉強にSICPを読もう - (59) 4章 - 超言語的抽象(220ページ) C++でSchemeインタプリタを作ろう7 - higepon blog
とりあえず今までの分をリファクタリング。 int main(int argc, char *argv[]) { if (argc < 2) { fprintf(stderr, "usage: %s file\n", argv[0]); return -1; } string input = load(argv[1]); if (input == "") { return -1; } Tokenizer tokenizer(input); Parser parser(&tokenizer); Node* node = parser.parse(); node->print(); Object* object = NULL; if (Translator::translate(node, &object) != Translator::SUCCESS) { return -1; } Envir
naga:5-7/5-19 - sicpstudygroup @ ウィキ
Exercise 5.7 (define expt-a (make-machine '(continue n b val) (list (list '= =) (list '- -) (list '* *)) '(machine (assign continue (label expt-done)) expt-loop (test (op =) (reg n) (const 0)) (branch (label immediate-answer)) (save continue) (assign continue (label afterexpt)) (assign n (op -) (reg n) (const 1)) (goto (label expt-loop)) afterexpt (restore continue) (assign val (op *) (reg b) (reg
はてなブログ | 無料ブログを作成しよう
日記（2024年8月31日～2024年9月4日） 2024年8月31日 土曜日 もともと週頭には来ているはずだった台風が、重役出勤の挙句ついにやってくるぞ！と脅かされて蟄居していたのに、いっこうにその様子がない。昼頃にしょぼい雨が降ったきりだ。 19時頃、月末だから近所の食堂でも行ってみるかということになって…
naga:4-55/4-79 - sicpstudygroup @ ウィキ
SICPからの変更（gaucheでSICP-schemeを動かす） SICPのeval･applyをEval･Applyとして定義し、gaucheのeval･applyと共存させる。 (define false #f) (define true #t)追加。self-evaluating? に ((boolean? exp) #t) 追加。setup-environment の中を (define-variable! 'true #t initial-env) と (define-variable! 'false #f initial-env) に変更。true/falseは入力できるが出力は#t/#fになる。 (define apply-in-underlying-scheme apply) 追加。 (Error)追加。 driver-loop の中で継続を設定して、メッセージ出力後に
はてなブログ | 無料ブログを作成しよう
うめぇヨーグルトソースでもいかがですか。個人差にもよりますが。もしよろしければ。 お久しぶりです。 最近うんめぇ〜と思ってるヨーグルトソースがあるので、書いていこうと思います。 ヨーグルトとハーブ類をもりもり使うので、そういうのが食べられない方にはうんめぇソースではないです。ごめんなさい…。もしよろしければお茶だけも…旦~ 【用意する…
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
4.3.3 amb 評価器の実装 – SICP（計算機プログラムの構造と解釈）その208 : Serendip – Webデザイン・プログラミング
問題を解いていく前に、先に4.3.3節に進み amb 評価器を実装する。 以下が4.1.7節の評価器をベースにして、4.3.3節の解説に基づき実装した amb 評価器。 (define true #t) (define false #f) ;; 基盤の apply への参照を apply-in-underlying-scheme へ退避させる（こうすることで、基盤の apply に apply-in-underlying-scheme という名前でアクセスできる）。 (define apply-in-underlying-scheme apply) ;;;; apply の定義 (define (apply procedure arguments) (cond ((primitive-procedure? procedure) (apply-primitive-procedure proc
独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Days
非決定性 McCarthy の非決定性オペレータ amb [cite{jmc:amb}, cite{wc:amb}, cite{zmc:amb}] は Lisp 自身と同じくらい古いものですが、Lisp にはありません。amb は ０個あるいはそれ以上の式を引数としてとり、それらの、非決定的な (あるいは「あいまいな」)な選択を作ります。プログラムを意味のあるものに 収束させるこれらの選択を好んでつかいます。ここで、 曖昧選択の深さ優先選択をつかい、他の選択肢を探索するための バックトラックに Scheme の制御オペレータ call/cc を使う amb の Scheme への埋め込みについて検討しましょう。 結果は、拡張言語にたよることなく、Scheme で直接書けるような 探索問題の分野で使用できるエレガントなバックトラッキング戦略が できあがります。この埋め込みは Prolog 流
Scheme 入門 18. 非決定性
1. 初めに 非決定性は問題を記述するだけで答えが得られるようにするアルゴリズムです。 プログラムは選択肢の中から条件に合うものを自動的に選び出します。 この手法を使うと論理プログラムを容易に書くことができます。 例えば、 > (let ((i (amb 4 6 7)) (j (amb 5 8 11))) (if (prime? (+ i j)) (list i j) (amb))) (6 5) のようにすると '(4 6 7) と '(5 8 11) のうちから二つの数の和が素数になる組の１つを返します。 (amb 4 6 7) は、式が値を返すように 4, 6, 7 の中から適切に値を選び、同様に、 (amb 5 8 11) は、式が値を返すように 5, 8, 11 の中から適切に値を選びます。 (amb) は選ぶべき値が無いので失敗を表します。 実際は、amb は深さ優先の探索をして
問題3.58 – SICP（計算機プログラムの構造と解釈）その152 : Serendip – Webデザイン・プログラミング
expand 手続きは割り算の手計算の手続きに似ている。 ;; stream の最初の n 個の要素を印字する手続き (define (stream-head s n) (define (iter s n) (if (<= n 0) 'done (begin (display (stream-car s)) (display ", ") (iter (stream-cdr s) (- n 1))))) (iter s n)) (define (expand num den radix) (cons-stream (quotient (* num radix) den) (expand (remainder (* num radix) den) den radix))) (expand 1 7 10) (stream-head (expand 1 7 10) 10) gosh> 1, 4,
SICP memo: stream.scm
3.5節で使う stream 関数（Gauche で動作確認済。ここでは Gauche の delay/force 実装を使わない） delay の定義を memo化しないものに入れ替えた stream-nomemo.scm を用意しておくと後々便利。 (define-macro (delay x) `(memo-proc (lambda () ,x))) ; memoizeあり ※stream-nomemo.scmではOFF ;(define-macro (delay x) `(lambda () ,x)) ; memoizeなし ※stream-nomemo.scmではON (define (force x) (x)) (define-macro (cons-stream a b) `(cons ,a (delay ,b))) (define (stream-car stream) (
SICP memo: 問題リスト
o- 1. 手続きによる抽象の構築 1.1 プログラムの要素 1.1.1 式 1.1.2 名前と環境 1.1.3 組み合わせの評価 1.1.4 合成手続き 1.1.5 手続き作用の置換えモデル 1.1.6 条件式と述語 問題1.1 問題1.2 問題1.3 問題1.4 問題1.5 1.1.7 例: Newton 法による平方根 問題1.6 問題1.7 問題1.8 1.1.8 ブラックボックス抽象としての手続き 1.2 手続きとその生成するプロセス 1.2.1 線形再帰と反復 問題1.9 問題1.10 1.2.2 木構造再帰 問題1.11 問題1.12 問題1.13 1.2.3 増加の程度 問題1.14 問題1.15 1.2.4 べき乗 問題1.16 問題1.17 問題1.18 問題1.19 1.2.5 最大公約数 問題1.20 1.2.6 例: 素数性のテスト 問題1.21 問題1.22 問
SICP memo: 問題2.77
gosh> (define z (make-complex-from-real-imag 3 4)) z gosh> z (complex rectangular 3 . 4) gosh> (magnitude z) *** ERROR: No method for these types -- APPLY-GENERIC (magnitude (complex)) Stack Trace: ___ 予期されるエラーがちゃんと出るのは何とも頼もしい。 で、エラーの原因は： (magnitude z) => (apply-generic 'magnitude z) type-tags = (map type-tag (z)) => (complex) proc = (get 'magnitude (complex)) => #f 型 (complex) に対応した演算 magnitude が
sicp はてなグループ
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Movable Type | Movable Type Pro
MIT講義動画（超循環評価器）、問題4.14 – SICP（計算機プログラムの構造と解釈）その186 : Serendip – Webデザイン・プログラミング
sicp : Serendip – Webデザイン・プログラミング
Structure and Interpretation of Computer Programs - Harold Abelson，Gerald Jay Sussman…