2013-04-22 計算機プログラムの構造と解釈と闘う : 第2幕 四天王編(後) sicp 型との出逢い、型思いから両思いになるまでのお話。今年の1月過ぎから孤独にSICPを読み始めてはや4ヶ月目。 出社前や帰宅後にコツコツ解いて進み、明日から3章へ突入します。 業務でhtmlを書いているだけなので、プログラム言語はまだ書けません。業務で書いたことがありません。 このSICP1章2章にかけた時間があれば、アプリやサービスを作ってみたり、何か見せられるものを作ってスキルを上げる道もあったしその方が仕事に直結するでしょう。なのにノロノロと計算機科学を学んでいます。「まだその程度? 習得速度が遅すぎる」 「まだエンジニアとしてまだ門にも入れていない」 「いついなくなってもらっても、うちとしては構わないから」 「やったことない人にやらせるより、できる人を使った方が早いでしょ」 「
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
最初の文章のまま載せていますので、コメント欄のshiroさんの添削と合わせてどうぞ： 一概には言えないが、2点だけ。 僕は、SICPはプログラミング言語の本じゃなくて、あれはプログラミングの本なんだと思ってる。本の中でSchemeを使っているのは、アトミックなプログラミング言語だからなんだ。ラムダ計算、末尾再帰、継続を使った抽象制御、抽象構文（マクロ）、可変状態など。軽量で、かつ十分だ。 SICPでは、プログラミングをする上での課題を扱っている。モジュラリティ、抽象、状態、データ構造、並列処理など。generic dispatchやオブジェクト、並列処理、遅延リスト、（可変な）データ構造、「タギング」なんかの、明確な課題設定に対する実装例と解説が書いてある。 Clojureはアトミックなプログラミング言語じゃない。僕はもう、アトミックにプログラミングするのは古くて遅くて飽きた。Clojur
これまで扱ってきたデータは数値だった。これを任意の記号に拡張することで、記号微分（）なんかも可能にしようぜ！という話。 ;2.53 gosh> (list 'a 'b 'c) (a b c) gosh> (list (list 'george)) ((george)) gosh> (cdr '((x1 x2) (y1 y2))) ((y1 y2)) gosh> (car '((x1 x2) (y1 y2))) (x1 x2) gosh> (pair? (car '( a short list))) #f ;リストxにitemが含まれているかどうかチェックする関数 gosh> (define (memq item x) (cond ((null? x) #f) ((eq? item (car x)) x) (else (memq item (cdr x))))) memq gosh> (me
最終更新日: 2000-12-02 (公開日: 2000-12-02) ちょっと感傷的。「今年」は 2000年のこと。 目次 ことはじめ 2.2.4節の図形言語 書評 関連リンク集 ことはじめ 今年の4月に『 計算機プログラムの構造と解釈 』(SICP)を知った。これはす ごい本である。MITの入門コース用の教科書らしいのだが、僕にとっ ては難しい (一応は情報科学が専門の大学院生なんだが)。が、難 しい以上に楽しい。本物の計算機科学を感じる。perl だとか CGI だとか、くだらんことをやっていないで、もっと早く読むべきだっ た。 この本では、プログラミング言語として Lisp の 1つの方言である Scheme を採用している。僕は Lisp を長い間、敬遠してきた。あ んな括弧の多い言語、 IQの高い人間じゃないと理解できないに違 いない、そもそも実用性がないんじゃないか、と思って
Wizard Book n. Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs (MIT Press, 1984; ISBN 0-262-01077-1), an excellent computer science text used in introductory courses at MIT. So called because of the wizard on the jacket. One of the bibles of the LISP/Scheme world. Also, less commonly, known as the Purple Book. from The New Hacker's Dictionary, 2
■問題 2.40 与えられた整数nに対し、1≦j まずunique-pairsを定義しましょう。いきなり取り掛かるのは難しいので、とりあえずi≦nまでの並びを生成する手続き、enumerate-intervalを定義します。enumerate-intervalは例えばn = 5, i = 3だとしたら、(3 4 5)という並びを生成する手続きです。Schemeで関数を定義するには(define (関数名 引数) 処理部)として定義します。二つの変数を引数として取る関数を作るため、enumerate-intervalは(define (enumerate-interval i n) 処理部)という形になります。処理部を埋めていきましょう。iがn以下なら、iに+1したものを再帰します。iがnより大きければそこで再帰ストップです。 (define (enumerate-interval low
This domain may be for sale!
約半年をかけて計算機プログラムの構造と解釈(SICP)を読み終わりました。 （途中で、練習問題をスキップしたりしましたが・・・） 半年もかけたのでちょっとだけ振り返って見ます。 SICPを読む過程で得たもの まずはSICPを読む過程で得たものからざっと列挙してみよう。 構文解析を理解し自前で実装できるようになった 字句解析を理解し自前で実装できるようになった ストリームを理解した 遅延評価を理解した 手続きが first class objectである言語での考え方を学んだ 型変換の導入の動機とその意味を理解した 手続きの抽象化の導入の動機と過程を学んだ 高階関数を使ったり書けるようになったりした クロージャを理解した Schemeを書けるようになった 再帰処理を自然に書けるようになった フルスクラッチでインタプリタを書けるようになった コンパイラを自前で書くことが出来そうだとの感触を得た
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
