参加者の皆様お疲れさまでした。準備会にも関わらず、12人の方に集まってもらえるとは思いませんでした。 ぼくの準備不足もあって、行き当たりばったりになってしまった感がありますが、何とか話が収束してよかったです。 皆さんに感謝！！感謝！！ と言うこ…

Erlang Super Lite(仮)を企画したにも関わらず、処理系すらインストールしていなかったので、慌ててインストール。 インストールに手間取ってしまったので、正確ではないが(記録を取ってなかったので)、憶えている範囲でメモ。1. MacPortsで楽勝だろう、と思…

きっかけは、9月のXP祭り2009 http://d.hatena.ne.jp/yukichanko/20090921/1253510995 このときに、幸運なことに飛行機本を頂くことができた。しかし、身銭を切らないとどうしても読書の優先順位が下がってしまうのは、弱い人間の弱いところ。 読もうと思っ…

この辺り苦手なとこ。 問題2.24 実行例 (list 1 (list 2 (list 3 4))) => (1 (2 (3 4))) ポインタ絵 ツリー絵 問題2.25 (1 3 (5 7) 9) (cadr (car (cddr x))) ((7)) (car (car x)) (1 (2 (3 (4 (5 (6 7)))))) (cadr (cadr (cadr (cadr (cadr (cadr x)))))) …

http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-15.html#%_sec_2.2.1 ようやく、リストが出てくる。リストは、ポインタであり、最後のデータのcdrには、nullポインタがセットされている。リストの操作には主に3つある。 リストを順に"cdrダウン"する…

http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-15.html#%_sec_2.2 ここでいうClosure Propertyとは、LISPの世界のClosureとは違うよ、と言っている。 この本では、Closureとは、ある性質で作ったものは、親と同等の性質を有する、と言うこと。 すな…

帰国してから、ずいぶん経つけど、写真の整理も兼ねて。10/1(木)がサンフランシスコ最終日でした。ぼくは、JAL001便だったので、13時のフライト。ダウンタウンから空港までBARTで約40分程度なので、最後の1時間程度散歩することに。コースは下の地図のような…

豆蔵さん主催の勉強会Step by Step Scala [vol.01]@scala-beに行ってきました。 台風のさなかだったけど、20名強集まってましたね。今回はイントロダクションと言う感じだったけど、一部Deepな話題にも入っていったようです*1。 さて、Scala。僕はJavaは教養…

% rsync -avz -e 'ssh -l userName' --delete sourceDir destHost:destDir

お笑いでも最後はダウンタウンに行き着くように、やっぱサンフランシスコでも一度はDownTownに行かないと、ってことで、はるばるEmbercadero St.からPowell St.まで歩きました。BARTの駅で2駅分。楽勝だと思いきや、結構疲れるもんですね。 より大きな地図で…

山の街と書くと、神戸市北区にある神戸電鉄の駅を思い出してしまうが、サンフランシスコはそんなの目じゃないくらい勾配がキツい。地図を見るとわかるが、DownTownからFisherman's Warfまで山が一個存在する感じ。なぜ、こんなところに街を切り開いたのか、…

ひょんなことから学会で発表することになってしまったため、本日、サンフランシスコにイン。もっと写真を撮っておけば良かったのだが、なにぶん、時差ぼけで疲れてたので、十分に撮れなかった。サンフランシスコ空港(SFO)からは、BARTで移動。このBARTは1974…

問題2.7 (define (make-interval a b) (cons a b)) (define (lower-bound z) (car z)) (define (upper-bound z) (cdr z)) 問題2.8 (define (sub-interval x y) (make-interval (- (lower-bound x) (upper-bound y)) (- (upper-bound x) (lower-bound y)))) …

λ計算のところ。データは全て手続きで記述できますよっと。 いや、正直、問題はわかるんだ。ただ、コレが何なのか人に説明できるところまでいってない。とりあえず、問題を解くと、zero, one, twoは、それぞれ、 zero = λs.(λx.x) one = λs.(λx.sx) two = λs…

なんか、現実逃避のためにSICPをやってる気がしてきた。これが終わったら、仕事に復帰します。 ; Constructor (define (cons-exp a b) (* (expt 2 a) (expt 3 b))) ; Selector (car) (define (car-exp z) (if (not (= (remainder z 2) 0)) 0 (+ 1 (car-exp (…

て言うことで行ってきたよ。 ただ、寝坊+自宅の無線LANがつながらない、と言うトラブルに見舞われた上、高田馬場で反射的にバスに乗ったら、理工学部には行かず、本部の方に行ってしまった、と言うダメダメぶりを発揮してしまい、1時間ほど遅刻してしまった…

手続きの抽象がメインテーマと言うことで、Square Rootの定義を振り返ってみましょう。 定義(p.12) (define (sqrt x) (the y (and (>= y 0) (= (square y) x)))) yが０以上でかつ2乗するとxになるもの と言う定義をそのままS式にしてみました、って感じ。 で…

死に体の党の総裁選びなんてどうでもいいと思ってたけど、今日のサンデープロジェクトを見て変わった。河野太郎いいじゃん。面白いと思ったエピソード 挙党態勢、全員野球と言う言葉は、悪しき習慣を隠してしまう。 老兵はベンチではなく、スタンドから見て…

http://d.hatena.ne.jp/yukichanko/20090827/1251358163 Rubyの場合、引数を指定しなかった場合でも、即関数実行になってしまうため、既存の関数をCallback関数に設定する場合にどうするんだろう？と悩んでしまった。何かいい方法がないかなぁ、と思ってネッ…

今回で4回目。ようやく1章の終わりが見えてきた感じですが、何となく大事なことが置いてけぼりの感じもしています。とりあえず、SICPを読む上で、最も難関と言われる数学の話。第1章の主題は、単純な手続きを抽象化する方法を身につけて、汎用な関数を作り上…

これも驚き問題。 (define (cons x y) (lambda (m) (m x y))) (define (car z) (z (lambda (p q) p))) (car (cons x y)) => (car (lambda (m) (m x y))) => ((lambda (m) (m x y)) (lambda (p q) p)) => ((lambda (p q) p) x y) => x ; cdrの定義 (define (c…

http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-14.html#%_sec_2.1.3この節を始めて読んだときは、かる〜く、ていうか、思いっきりカルチャーショックを受けた。 だって、cons, car, cdrがこんなんで定義できんだぜ。 (define (cons x y) (define (d…

長方形のデータ構造。複数のやり方があるんだろうけど、とりあえず一番簡単な幅と高さを表す二つのベクタで定義。 ; 線分の長さを求めるお助け関数 (define (length line) (let ((start (start-segment line)) (end (end-segment line))) (let ((x1 (x-point…

線分のデータ構造。特に考える必要なし。 (define (make-segment start end) (cons start end)) (define (start-segment line) (car line)) (define (end-segment line) (cdr line)) (define (make-point x y) (cons x y)) (define (x-point point) (car poi…

ふと、会社に行って、Twitterにアクセスしたらどうなるんだろう？とやってみたら、予想通りの結果。んでも、『iPhoneでやるから意味ないし、キータッチの速度を考えたらキーボードの方が早いんだから、開けてくれればいいのに』と思ったけど、いちおう、会社…

恥ずかしながら、両者の違いをほとんど知らずに生きてきた。 今、仕事で数値解析的な電磁界に関わっているのだけど、その中でも適当に流してた。 一応、今回理解したつもりになったので、残しておく。まず、電磁波は3次元座標系で考えるものだけど、ここで、…

(define (make-rat2 n d) (let ((g (gcd (abs n) (abs d)))) (cond ((or (and (< n 0) (< d 0)) (and (>= n 0) (< d 0))) (cons (/ (* -1 n) g) (/ (* -1 d) g))) (else (cons (/ n g) (/ d g)))))) ま、何も考えずに言われたことをそのままインプリしたって…

第1章は手続きによる抽象化法を習った(らしい)。今度は、単純なデータを組み合わせて、複雑なデータ構造を構築して、現実の問題に対処しましょう、と言うところを学ぶようだ(知ってるくせに)。 しかし、Schemeの場合、手続きもファーストクラスであるため、…

(define (smooth f) (lambda (x) (average3 (f (- x dx)) (f x) (f (+ x dx))))) (define (n-fold-smooth f n) (repeated (smooth f) n)) ここらで飽きちゃいました。問題1.45, 46はスキップします。

(define (repeated f n) (define (iter func count) (if (= count n) func (iter (compose func func) (+ count 1)))) (iter f 1))