関数型言語の勉強にSICPを読もう - (53) 4章 - 超言語的抽象(216ページ) C++でSchemeインタプリタを作ろう1 - higepon blog
4章では Scheme の上に Schemeインタプリタを作る過程でいろいろなものを学んでいきます。 このように、被実装言語と実装言語が同じなことを metacircular というらしいのですが、読んでいるだけでドキドキしてきます。 実際4章を読み進めていくと、とても面白いのですが、所々で引っかかるところがあります。 どうも読んでいるだけでは解決しないモヤモヤがあって、それは被実装言語と実装言語の境界に関する問題のように思えてきました。 metacircularだと、どこまでが被実装言語の機能で、どこからが実装言語の機能なのか分からなくなってきてしまうのです。 こんな経緯もあり、4章で書かれているSchemeインタプリタを「ほぼそのまま」C++で実装してみようという思いに至りました。 最近SICP日記を更新できなかったのはこのあたりに悩んでいたからです。 いろいろと困難あるでしょうが、試
関数型言語の勉強にSICPを読もう - (52) 4章 - 超言語的抽象(213-217ページ) - apply - higepon blog
apply 実装の肝は apply と env のあたりだということに気づく。 (define (apply procedure arguments) (cond ((primitive-procedure? procedure) (apply-primitive-procedure procedure arguments)) ((compound-procedure? procedure) (eval-sequence (procedure-body procedure) (extend-environment (procedure-parameters procedure) arguments (procedure-environment procedure)))) (else (error "Unknown procedure type -- APPLY" procedure))))
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
関数型言語の勉強にSICPを読もう - (47) 3章 - 標準部品化力、オブジェクトおよび状態 (191ページ) - higepon blog
4章を先読みとかしているくせに、全然3章が進んでいないので反省中。 今日は問題3.50が解けるまで寝ない！と決めたらわりとすぐに解けた。 問題3.50 cons-streamや、stream-carをまだ定義していなくて、テストができないので cons/carで実装してみた。 (define (hige-map proc . argstreams) (if (null? (car argstreams)) '() (cons (apply proc (map car argstreams)) (apply hige-map (cons proc (map cdr argstreams)))))) (display (hige-map + (list 1 2 3) (list 4 5 6)))mapに car や cdr を渡すところが思いつくのに時間のかかった部分だった。 ということで答え
関数型言語の勉強にSICPを読もう - (43) 3章 - 標準部品化力、オブジェクトおよび状態 (167-175ページ) - higepon blog
3.3.5 制約の拡散 制約の拡散のポイントは以下の通り。 登場人物は2人 コネクタと制約(constraint) コネクタは1つ以上の制約をリストとして持っている(1つ以上の制約と接続されている) 制約は自分が接続しているコネクタの値が変更したときに呼ばれる手続きを定義しておく。 その手続きを呼ぶと制約が接続しているコネクタの値が変わるかもしれない。 コネクタは自分自身の値が set-value! で変更されると接続している上で説明した制約の手続きを呼ぶ。 その手続きで他のコネクタの値が変更されれば、値の変更が伝播していくという仕組み。 問題3.33 (load "./3.3.5.scm") (define (averager a b c) (let ((s (make-connector)) (t (make-connector))) (adder a b s) (constant 0
関数型言語の勉強にSICPを読もう - (40) 3章 - 標準部品化力、オブジェクトおよび状態 (156-163ページ) - higepon blog
待ちに待っていたデジタル回路のシミュレーション。 オラ、何だかワクワクしてきたぞ！ 問題3.24-27 略。 問題3.28 and とほぼ同じ。 今の段階では add-action の実装が見えないので or-action-procedure が2回呼ばれておかしくなるんじゃないかと心配。 と思ったけどよく考えれば入力は同時に届くことはありえないのでこれで正しい。 (define (or-gate a1 a2 output) (define (or-action-procedure) (let ((new-value (logical-or (get-signal a1) (get-signal a2)))) (after-delay or-gate-delay (lambda () (set-signal! output new-value))))) (add-action! a1 or
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
関数型言語の勉強にSICPを読もう - (54) 4章 - 超言語的抽象(217ページ) C++でSchemeインタプリタを作ろう2 - higepon blog
関数型言語の勉強にSICPを読もう - (51) 4章 - 超言語的抽象(213-217ページ) - higepon blog
関数型言語の勉強にSICPを読もう - (50) 3章 - 標準部品化力、オブジェクトおよび状態 (196-197ページ) - higepon blog
SICP読書会 - FAX
関数型言語の勉強にSICPを読もう - (49) 3章 - 標準部品化力、オブジェクトおよび状態 (193-195ページ) - higepon blog
関数型言語の勉強にSICPを読もう - (48) 3章 - 標準部品化力、オブジェクトおよび状態 (192ページ) - higepon blog
SICP読書会、not - FAX
関数型言語の勉強にSICPを読もう - (46) 3章 - 標準部品化力、オブジェクトおよび状態 (186-191ページ) - higepon blog
関数型言語の勉強にSICPを読もう - (45) 3章 - 標準部品化力、オブジェクトおよび状態 (181-185ページ) - higepon blog
関数型言語の勉強にSICPを読もう - (44) 3章 - 標準部品化力、オブジェクトおよび状態 (175-180ページ) - higepon blog
http://oss.timedia.co.jp/index.fcgi/kahua-web/show/SICP
関数型言語の勉強にSICPを読もう - (42) 3章 - 標準部品化力、オブジェクトおよび状態 (163-166ページ) - higepon blog
関数型言語の勉強にSICPを読もう - (41) 3章 - 小休止 はじめての実用(?)スクリプト - higepon blog