- 1 名前：デフォルトの名無しさん mailto:sage [05/02/02 21:02:18 ]
- 「計算機プログラムの構造と解釈」に関する議論とQ&Aの為のスレです。
SICP(英語)
mitpress.mit.edu/sicp/full-text/book/book.html
「計算機プログラムの構造と解釈」の原書です。
全てオンラインで読めます。
計算機プログラムの構造と解釈 第二版 (snip) に関連するホームページ
www.ipl.t.u-tokyo.ac.jp/sicp/
書籍情報(Amazon)
www.amazon.co.jp/exec/obidos/ASIN/489471163X/250-3648248-8159430
Lisp一般に関する話題は
CommonLisp Scheme Part12
pc5.2ch.net/test/read.cgi/tech/1100229366/l50
- 844 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:45:53 ]
- とにかく、プログラミングってね。こういうハードウェアの命令レベルに近
いところと、LispやProlog、最近の流行りでいえば、HaskellやCleanなどの関
数型言語のように抽象度の高いところを学べば、あとはなんとでもなるのよ。
ほかの、CやC++やJavaやJavaScriptやPerlやRubyやPythonなんて、全部、そ
の中間だからね。
慶応大学教授かつLispハッカーの故中西正和先生の持論は、「プログラミン
グの最初にアセンブラとLispを教えるべし」でした。BASICとかそんなのでプ
ログラミング入門をして、変な癖がつく前に、アセンブラとLispだけやれば、
あとはなんとでもなるということ。
抽象度の高いプログラミングマジック、たとえば、高階関数とか無限リスト
とかユニフィケーションとか各種の効率的なソートや探索アルゴリズムやAI的
アルゴリズムがホワイトマジックだとすれば、「ハッカーのたのしみ」にある
バイナリ・ハックは、ブラックマジック。
ホワイトマジックとブラックマジック、双方に精通してこそ、真のマジシャ
ンですからね。
iiyu.asablo.jp/blog/2006/12/22/1041912
＼(^O^)／
- 845 名前：デフォルトの名無しさん [2008/02/11(月) 16:47:39 ]
- 人生を切り刻め!!
- 846 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:48:58 ]
- 私の言語遅延学習法 dankogai
必要を感じるまで学ばない（略
本当の問題に出会った時に、それを全力で解く（略
学ぶ時には「原典」に当たる（略
ただし、以上がきちんと機能するためには、一つ重要な前提条件があります。
基礎をしっかり抑えておく
あるコンピューター言語を学ぶ、というのは、ある意味この応用編に過ぎない
という見方も出来ます。
私が scheme → C/Assembly Language という、Computer Science の
古典的カリキュラムを支持する理由がそれなのです。
世界は Church と Turing の間にある。この両極端を最初にしっかり学んでおけば、
たいていのコンピューター言語はこの間のどこかに収まっているのですから怖くないのです。
blog.livedoor.jp/dankogai/archives/50999338.html
- 847 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:50:16 ]
- >>844
両端だけ教えとけって感じか。
- 848 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:50:28 ]
- danさんは、Lisperだったのか・・
- 849 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:51:02 ]
- >>844
マジシャンズレッドですが何か？
白黒以外の魔術もあります。
- 850 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:51:46 ]
- ブロガーどもはarcスレに隔離してあるはずだがな
- 851 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:55:14 ]
- >>850
おまえの「はず」で世界は動いていないってことさ。
- 852 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:57:41 ]
- 貼ったの俺（ブロガーではない人）で〜す。
モチベーション上げるのにいいかな、と思いました。
貼っても勉強進んでねーじゃん＼（＾O＾）／
さあ、お勉強お勉強（^O^）/~
- 853 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 16:58:59 ]
- (define Y
(lambda (le)
((lambda (f) (f f))
(lambda (f)
(le (lambda (x) ((f f) x)))))))
- 854 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 17:03:03 ]
- (define Y
(lambda (F)
((lambda (my-make-f)
(F (lambda (x) ((my-make-f my-make-f) x))))
(lambda (my-make-f)
(F (lambda (x) ((my-make-f my-make-f) x)))))))
- 855 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 17:08:15 ]
- (define (Fact my-fact)
(lambda (n)
(if (= n 0)
1
(* n (my-fact (- n 1))))))
(define fact (Y Fact))
(fact 10)
3628800
- 856 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 17:08:53 ]
- (define (Fib my-fib)
(lambda (n)
(if (<= n 1)
1
(+ (my-fib (- n 1))
(my-fib (- n 2))))))
(define fib (Y Fib))
(fib 10)
89
- 857 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 17:23:05 ]
- 自分のブログかチラシの裏でやれ
- 858 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 18:02:47 ]
- ↑
ｗ
- 859 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 18:34:57 ]
- チラシの裏に書けには同意だけど、
再帰的に定義される関数の意味（自己適用、極限、不動点）を理解したばかりで
感動してるんだとしたら、それにはかなり共感できる。
>>750の言葉を借りるなら、
これこそが Y Combinator。
我らの誇り、我らの希望、常に我らを導き、我らの上に燦然と輝く光！
- 860 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 19:13:41 ]
- mitpress.mit.edu/sicp/full-text/book/book.html
が見れないんですが、自分だけですか？
せっかく勉強はじめようと思ったのに…
- 861 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 19:42:53 ]
- わたしはみれます
- 862 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 19:43:30 ]
- >>855
mitpress.mit.edu/sicp/full-text/book/book-Z-H-26.html#%_sec_4.1.6
Exercise 4.21.にSICPでのＹコンビネータの考え方が出ている。日本語版のp.233と同じ問題。
((lambda (n)
((lambda (fact)
(fact fact n))
(lambda (ft k)
(if (= k 1)
1
(* k (ft ft (- k 1)))))))
10)
- 863 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 19:45:08 ]
- >>859
さすがの俺もこれは引くわ
どうせ>>750=>853->856=>>859だろ
- 864 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 20:28:47 ]
- ↑
病気？
- 865 名前：860 mailto:sage [2008/02/11(月) 20:36:12 ]
- >861
レスどうも。うちからだとmitpress.mit.edu/自体に
つながらないです（なぜかfaviconのみ表示）。
こちらの環境の問題みたいですね（nifty, Bフレッツ）。
WebArchiveで見られたので、ひとまずそれで読んでみます。
- 866 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 22:57:21 ]
- 次繋がったら一括ダウンロードしちゃうといいかもね。（できるんだっけ？）
- 867 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 23:12:16 ]
- >>825
古！
- 868 名前：デフォルトの名無しさん mailto:sage [2008/02/11(月) 23:24:07 ]
- ここにダウンロードスクリプトありますね。
www.geocities.co.jp/SiliconValley-PaloAlto/7043/
- 869 名前：デフォルトの名無しさん [2008/02/12(火) 06:57:31 ]
- >>835
Ocamlも仲間に入れてください＞＜
- 870 名前：デフォルトの名無しさん mailto:sage [2008/02/12(火) 18:17:21 ]
- >>867
SICPも古いわけだけどｗ
古典と言われるものはすべからく。
- 871 名前：デフォルトの名無しさん mailto:sage [2008/02/12(火) 18:19:49 ]
- 解析概論はそういうレベルじゃなくて、
ああいうスタイルで教えている数学科はいまやないだろ。
- 872 名前：デフォルトの名無しさん [2008/02/12(火) 18:47:12 ]
- 俺は解析概論で勉強したなー
情報系なら読んでもいい気がする
あの一冊で大学1・2回レベルが網羅できるからお買い得だし
- 873 名前：デフォルトの名無しさん mailto:sage [2008/02/12(火) 21:00:36 ]
- >>871
解析概論が書かれた後で解析学に革命的な発見でもあったの？
- 874 名前：デフォルトの名無しさん mailto:sage [2008/02/12(火) 21:11:55 ]
- 構造主義的なテキストが増えたんじゃない?
- 875 名前：デフォルトの名無しさん mailto:sage [2008/02/12(火) 21:15:37 ]
- 「解析概論なんて古い」とか「ＳＩＣＰなんて古い」と言うと尊敬されると妄想する厨ｗ
- 876 名前：デフォルトの名無しさん mailto:sage [2008/02/12(火) 21:30:36 ]
- SICPは古くないんじゃないの。教科書で使ってもおかしくない。
解析概論は古典で名著だけど、現代的ではない。
- 877 名前：デフォルトの名無しさん mailto:sage [2008/02/12(火) 21:53:38 ]
- 使ってもおかしくないと言うか、有名校のほとんどのCSはSICPを使う講義があるでしょ
解析概論はそれにくらべると少ないかも知れないけど、選択肢自体が多いしね
|
 |
