5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

【SICP】計算機プログラムの構造と解釈【Scheme】

1 :デフォルトの名無しさん:05/02/02 21:02:18
「計算機プログラムの構造と解釈」に関する議論とQ&Aの為のスレです。

SICP(英語)
http://mitpress.mit.edu/sicp/full-text/book/book.html
「計算機プログラムの構造と解釈」の原書です。
全てオンラインで読めます。

計算機プログラムの構造と解釈 第二版 (snip) に関連するホームページ
http://www.ipl.t.u-tokyo.ac.jp/sicp/

書籍情報(Amazon)
http://www.amazon.co.jp/exec/obidos/ASIN/489471163X/250-3648248-8159430

Lisp一般に関する話題は
CommonLisp Scheme Part12
http://pc5.2ch.net/test/read.cgi/tech/1100229366/l50

952 :デフォルトの名無しさん:2008/02/14(木) 13:29:16
ニュートンのプリンキピアの邦題は
「自然哲学の数学的方法」だったかな。
ちなみにその後、オイラー等、ニュートン物理学を作り上げてきた人たちは

953 :デフォルトの名無しさん:2008/02/14(木) 13:31:37
人たちは物理学者であり数学者だった。

954 :デフォルトの名無しさん:2008/02/14(木) 16:22:19
占星術師だったり錬金術師だったり博打打ちだったり軍事顧問だったり...

955 :デフォルトの名無しさん:2008/02/14(木) 16:23:43
つまり今ニート貴族の俺は人類の勝ち組と。

956 :デフォルトの名無しさん:2008/02/14(木) 18:29:52
哲崩うぜェェェェエエエ!!!!

957 :デフォルトの名無しさん:2008/02/14(木) 18:33:09
>>950
まあ普通は何かのメリットが無いとカネは出てこないからねえ。
普通のCPUが速くなりすぎたことがLispマシンの敗因だな。

958 :デフォルトの名無しさん:2008/02/14(木) 19:12:04
何で突然数学はまだしも物理の話しが出てくるんだ?

959 :デフォルトの名無しさん:2008/02/14(木) 19:12:58
ついでに哲学も

960 :デフォルトの名無しさん:2008/02/14(木) 19:15:56
とりあえず知ってることはすべて書いちゃおうという人が多いんですよ

961 :デフォルトの名無しさん:2008/02/14(木) 19:17:23
だからなんでこんな突然に。

962 :デフォルトの名無しさん:2008/02/14(木) 19:24:00
発端は「解析概論」。高木貞治先生のお導きです。

963 :デフォルトの名無しさん:2008/02/14(木) 19:27:51
スレに最近辿り着いた人が結構いた、ってことでしょうかね。
佳き哉。

964 :デフォルトの名無しさん:2008/02/14(木) 20:05:10
lispで行列演算をする定番の書き方みたいなのはSICPにのってないでしょうか?
またはSICPの練習問題で行列計算が出てくる問題はありますでしょうか?

965 :デフォルトの名無しさん:2008/02/14(木) 20:32:22
ググレカス

966 :デフォルトの名無しさん:2008/02/14(木) 20:50:33
MIT Pressでも2版のペーパバックが品切れになってます。
これってもうすぐ3版がでるてこと?

967 :デフォルトの名無しさん:2008/02/14(木) 20:52:11
>>943
GNUはUnixプログラムを実行することができるだろうが、Unixと同じにはならないでしょう。
私たちは、他のオペレーティング・システムでの私たちの経験に基づいて便利な改良をすべて盛り込むでしょう。
私たちは、より長いファイル名、ファイル・バージョン番号、システムクラッシュに耐えるファイル・システム、
たぶんファイル名補完、端末に依存しないディスプレイサポートを持つことを特に計画します。
そしてやがてはいくつかのLispプログラムおよび通常のUnixプログラムがスクリーンを共有することができる
Lispベースのウィンドウ・システムをもつようになるでしょう。
CおよびLispの両方がシステム・プログラミング言語として利用可能になります。
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
私たちは、UUCPよりはるかに優秀なMITのchaosnetプロトコルに基づくネットワーク・ソフトウェアを持つでしょう。
さらに、私たちは何か UUCPと互換なプロトコルをもつようにしておくかもしれません。

http://slashdot.jp/articles/03/09/27/1417224.shtml?topic=34

968 :デフォルトの名無しさん:2008/02/14(木) 20:55:43
あれから25年になるのか。

969 :デフォルトの名無しさん:2008/02/14(木) 21:15:18
やっぱMITあたりの一流ハッカーにとって最高にクールなのは
昔も今もLISPなんだろうな。


970 :デフォルトの名無しさん:2008/02/14(木) 22:09:44
RMS大先生にEmacsをSchemeかCommon Lispで書いて欲しい。

971 :デフォルトの名無しさん:2008/02/14(木) 22:16:45
大先生は自由をひろめるのに忙しいからな

972 :デフォルトの名無しさん:2008/02/14(木) 22:32:06
大先生は自由ですから、おまえらの言うことなんて聞きません

973 :デフォルトの名無しさん:2008/02/14(木) 22:36:16
>>970
> RMS大先生にEmacsをSchemeかCommon Lispで書いて欲しい。

GNUの標準スクリプト言語として、GuileというScheme処理系が実装された。
そして、Guile と Emacs LISP の両方が動く Guile Emacs が開発中。
...だったんだけど、後者の計画は頓挫。
なんかいろいろ困難だったらしいが、それ以上は知らない。

974 :デフォルトの名無しさん:2008/02/14(木) 22:44:25
>>972
いや、「みんなが幸せになれる」とわかったらやるんじゃないの?w

975 :デフォルトの名無しさん:2008/02/14(木) 22:50:30
schemixってのもあったね。

976 :デフォルトの名無しさん:2008/02/14(木) 22:53:10
1年前とかわらず神経の細い人だね。と独り言

977 :デフォルトの名無しさん:2008/02/14(木) 23:01:25
じゃあ数学の話に戻るか。

978 :デフォルトの名無しさん:2008/02/14(木) 23:38:55
誰も>>964に答えないのが、面白いね

>>964
Exercise2.37あたりを参照


979 :デフォルトの名無しさん:2008/02/15(金) 10:21:25
>>966
流通制度が違うので、(本屋が返品できない)
出版元で品切になるのは普通。
特に学術書の場合、版元が小さいことが多いので、
在庫を抱えて税金を掛けられることを嫌う。
だから本屋が在庫を抱える形態。

ペーパーバックは年の初めには売れちゃうし。

980 :デフォルトの名無しさん:2008/02/15(金) 10:56:37
つまり再版のタイミングで買え、ってこと?

981 :デフォルトの名無しさん:2008/02/15(金) 11:38:37
売ってる本屋で買え。例えば今ならamazon.co.jp

982 :デフォルトの名無しさん:2008/02/15(金) 12:12:14
>>978
ありがとうございます
早速みてみます
numpyとguile両方のいいとこどりしたい

983 :デフォルトの名無しさん:2008/02/15(金) 21:43:48
このスレで見かけて読んだ本

Friedman, Felleisen "Little Schemer"
Sussman, Abelson, Sussman "Structure and Interpretation of Computer Programs"
Chris Hankin "An Introduction to Lambda Calculi for Computer Scientists"
Raymond Smullyan "To Mock A Mockingbird"

4つとも勉強になった。

984 :デフォルトの名無しさん:2008/02/15(金) 21:49:27
「不思議の国のアリス」 は読んだか?

985 :デフォルトの名無しさん:2008/02/15(金) 21:51:23
これから読む予定

Daniel P. Friedman、Mitchell Wand、 Christopher T. Haynes "Essentials of Programming Language"

986 :デフォルトの名無しさん:2008/02/16(土) 00:09:04
>>900>>983
>Chris Hankin "An Introduction to Lambda Calculi for Computer Scientists"

>>890が言ってた流れがChapter6に出てきた。そのあと、型付ラムダ計算とReduction Machineが出てくる。
Fixed point theorem(theorem6.1.1)のレンマにBoehm and van der Mey(lemma6.1.1)が出てくるんだけど、
そこでチャーチ・ロッサーの定理が関係してくる説明に感心してしまった。わかり易い。

987 :デフォルトの名無しさん:2008/02/16(土) 00:58:46
おまえらそんなに頭が良いのにどうしてSchemeのOSとか、
SchemeのEmacsとか、更にもっと気の利いたプログラム作らないの?

どうせLispやSchemeが普及したって、SICP読み通したり、
おまいらほど追及する奴等は稀なんだから、
どんどん普及するようにした方が良いよ。
そしたら、おまえら「グル」って呼ばれるようになるよ。
ビットバレーで知らない人の居ないくらい有名人になって、
きっと女の子にもモテモテだぞ。

で、俺みたいな頭悪い奴等は普通にScheme-Emacsやなんか、
”お前等の研究の副作用”を使って幸せになれるw

988 :デフォルトの名無しさん:2008/02/16(土) 02:04:35
SchemeHack=SICPと勘違いした典型ですね

989 :デフォルトの名無しさん:2008/02/16(土) 02:14:25
いまさらEmacsを再発明しろと言われてもなあ

990 :デフォルトの名無しさん:2008/02/16(土) 02:29:18
誰に立てないから次スレ立てたよー

【SICP】計算機プログラムの構造と解釈 Part2
http://pc11.2ch.net/test/read.cgi/tech/1203096230/

991 :デフォルトの名無しさん:2008/02/16(土) 02:31:50
>>987
なんで作らないかといえば、たいていの言語、例えばrubyとかperlでもコンビネータは使えるからかな。
特別な環境を必要としないいつでもどの言語でも使える一般的な方法を計算論は提供してくれる。
そういう方法を知っていればjavaとかを使って仕事をするときも見通しよくコーディングできてしまう。
SICPを読んだりラムダ計算を知っていることはHackの知識とはまた違った一般的な方法論を提供してくれる。
Hackの知識は効果的な場合もあるけど環境(CPUや使用する言語)に依存するから適用出来ない場合もある。
両方を理解できて一人前なのかなと思う今日この頃。

992 :デフォルトの名無しさん:2008/02/16(土) 02:33:59
>>990乙!

993 :デフォルトの名無しさん:2008/02/16(土) 02:42:31
>>985
その本はSICPでも紹介されてたね。Schemeを作るコンパイラ理論紹介みたいな本。
ちょうどSICPの4章で扱いきれなかった続編に相当する感じだと思う。ガンガレ。

994 :デフォルトの名無しさん:2008/02/16(土) 02:47:48
>>991
そういうもんなのかね・・・ちょっとがっかりしたけどありがとう。

995 :デフォルトの名無しさん:2008/02/16(土) 02:59:03
>>994
もし特殊な方法論でしか解決できないとHackerにしか使いこなせない。
Lispに特化していたらLisperにしか使いこなせないからLisp Machineが失敗したように。
だから自分にとって使いやすい道具(アプリケーション)をみつけて自分の方法論を身につければがっかりする必要などない。
たとえプログラミングできなくてもそういう方法論を持ている人はクリエイティブな仕事をしている。
もし>>991の両方が身についていれば人には難しいことが解決できたり、適応性が高くなったりする。
新しい言語を設計できればもっと幅広くいろいろな戦略で問題を解決できる。
それは楽しいからやってるけど出来なくても悲観する必要はないと思う。

996 :デフォルトの名無しさん:2008/02/16(土) 04:07:20
>>995
Lispマシンが失敗した理由はLisperにしか使いこなせないからじゃないです。
そういうものを目指していたわけでもありません。

単に、ごく普通のコンピュータのほうがLispを実行しても速くなってしまったので、
存在価値が無くなっただけです。

997 :デフォルトの名無しさん:2008/02/16(土) 08:03:19
>>987
> SchemeのEmacsとか、更にもっと気の利いたプログラム作らないの?
ところで俺はEmacsを使わないのだけど、MIT Schemeのエディタと何か違うの?

998 :デフォルトの名無しさん:2008/02/16(土) 10:23:42
オレはDrschemeしか使ってないからわかんね

999 :デフォルトの名無しさん:2008/02/16(土) 10:40:46
999

1000 :デフォルトの名無しさん:2008/02/16(土) 10:41:22
【SICP】計算機プログラムの構造と解釈 Part2
http://pc11.2ch.net/test/read.cgi/tech/1203096230/


1001 :1001:Over 1000 Thread
このスレッドは1000を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。

218 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.02 2018/11/22 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)