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

1 名前：デフォルトの名無しさん [2008/02/16(土) 02:23:50 ] 「計算機プログラムの構造と解釈」に関する議論とQ&Aの為のスレです。 SICP（英語） mitpress.mit.edu/sicp/full-text/book/book.html 「計算機プログラムの構造と解釈」の原書です。 全てオンラインで読めます。 訳者の計算機プログラムの構造と解釈に関するホームページ www.ipl.t.u-tokyo.ac.jp/sicp/ 問題の解答もおいてます。 書籍情報(Amazon) www.amazon.co.jp/exec/obidos/ASIN/489471163X/250-3648248-8159430 前スレ 【SICP】計算機プログラムの構造と解釈【Scheme】 pc11.2ch.net/test/read.cgi/tech/1107345738/ 【入門】Common Lisp その４【質問よろず】 pc11.2ch.net/test/read.cgi/tech/1201402366/ 2 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 02:28:42 ] Web上のSICP読書会 www29.atwiki.jp/sicpstudygroup/ 翻訳の良し悪しについて語るスレではありません。 翻訳して下さっているだけ有難いという心を持ちましょう。 3 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 02:33:15 ] >>1乙 4 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 02:34:50 ] ■関連リンク 本家MITのSICP OpenCourseWare ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-001Spring-2005/CourseHome/index.htm 東京大学：『Scheme演習』 www-ui.is.s.u-tokyo.ac.jp/~hara2001/scheme/ 京都大学：『アルゴリズムとデータ構造入門』 winnie.kuis.kyoto-u.ac.jp/~okuno/Lecture/07/IntroAlgDs/ ここに図形言語に関する詳しい説明もあります。 5 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 02:43:46 ] >>2 > 翻訳して下さっているだけ有難いという心を持ちましょう。 それはないわw 6 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 02:45:19 ] >>5 またおまえか 7 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 02:47:35 ] 前スレで紹介された関連書籍 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" W. Kluge "Abstract Computing Machines: A Lambda Calculus Perspective" Friedman, Wand, Haynes "Essentials of Programming Language" 8 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 02:48:53 ] >>1　乙 >>7 Simply Schemeは？ 9 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 03:00:05 ] >>8 わすれてた。�d。 10 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 03:21:44 ] ケント・ディヴィグ "Scheme" 11 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 03:26:29 ] Paul Graham "On Lisp" Paul Graham "ANSI Common LISP" 12 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 10:43:36 ] How to Design Programs(HtDP)ってSICPとどんな関係なのかな？ SICPを簡単にした物？ SICPを読む準備？ 関係無し？ 13 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 10:48:20 ] >>12 読んだ事ないけどJavaなんかの話も出てくる。デザイン（パターン）の話が入ってるらしい。 関係ある話もあるみたいだけど、Schemeを学ぶ目的には向いてない。 14 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 10:56:56 ] pc11.2ch.net/test/read.cgi/tech/1107345738/996 ＞Lispマシンが失敗した理由はLisperにしか使いこなせないからじゃないです。 ＞そういうものを目指していたわけでもありません。 ＞ ＞単に、ごく普通のコンピュータのほうがLispを実行しても速くなってしまったので、 ＞存在価値が無くなっただけです。 マシーンが遅いとLispマシンに何か優位性でもあるわけか？ 15 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 11:13:38 ] >>14 > ＞単に、ごく普通のコンピュータのほうがLispを実行しても速くなってしまったので、 > ＞存在価値が無くなっただけです。 > > マシーンが遅いとLispマシンに何か優位性でもあるわけか？ 普通のコンピュータでLispを実行するよりも速いなら、 Lispマシンに優位性がありますよね？ 16 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 11:22:36 ] >>前スレ987 ＞おまえらそんなに頭が良いのにどうしてSchemeのOSとか、 ＞SchemeのEmacsとか、更にもっと気の利いたプログラム作らないの？ SICP読んでSchemeのOS作ってる人はいるよ ttp://d.hatena.ne.jp/higepon/ 17 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 11:50:02 ] >>7 Essentials of Programming Languageはもうすぐ3版が出るんだな 18 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 12:42:26 ] >>15 そこがよくわからない。Lispマシンと他のマシンが同じ速さだとして、Lispマシンに優位性がないなら特定ユーザに特化しているから衰退したんじゃないの？ つまり一般ユーザ向けに出来ていなかったという主張の方が正しそうだけど。 19 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 12:52:24 ] www.oreilly.co.jp/editors/archives/000158.html 面白そうな本を発見。Lispの話はあるのかな？ 20 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 12:53:41 ] どうでもええやん 21 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 13:05:15 ] >>19 Chapter 31: Emacspeak: The Complete Audio Desktop Chapter 33: Writing Programs for "The Book" 　Warning to Parenthophobes その他ちらほら話題が。 22 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 13:17:50 ] >>14 引用元を書いた人だが、何を言いたいのかさっぱり判らない。 日本語でお願いしたい。 23 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 13:20:56 ] >>18 仮にLispだけでも普通のマシンより速かったなら失敗しなかっただろう。（仮定法過去）ｗ と書けば理解できるか？ 24 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 13:38:23 ] 前スレ>>987 > MIT Schemeのエディタ なにそれ？ 25 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 13:43:44 ] エドウィンのことじゃね？ 26 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 14:21:34 ] 速度なんかもんだいじゃないだろ。 他のマシンはユーザーフレンドリになったけどLispマシーンはそうじゃなかった。 ただそれだけ。 27 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 14:29:15 ] ドザやマカーが喜びそうなOSではないなｗ 28 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 15:12:28 ] SmalltalkマツーンのALTOも高価だったのがネックで速度とかユーザーフレンドリーとか関係ないよ。 29 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 16:12:30 ] lisp shellで十分 30 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 16:26:25 ] >>26 おいおい、Lispマシンはもっとも最初のまともな統合GUI環境の一つだぞ。 31 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 16:37:22 ] >>26 凄い無知だな 32 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 16:38:58 ] マックの原型はInterlisp-Dでそ。 33 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:27:29 ] >>30-31 論点ずれてるぞ。いま当時のLispマシーンを見て最先端の統合GUI環境なのかよｗ そうじゃないから衰退したって話だろ。 34 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:29:38 ] もしもApple][がLispマシンとして成功してたらMacもWinもLispマシンになってただろうな。 35 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:41:40 ] 「今当時のLispマシーンを見て」？ 何を言っているのだ、お前は？ 36 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:44:09 ] >33 そんな話してるのはあんただけ 特殊用途でもコストを支払う需要があれば存続できるんだよ 37 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:46:07 ] >>33 当時最先端のGUI環境だったんだよ。衰退した原因は明らかに別。 38 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:47:12 ] せいぜいWin95あたりからの歴史しか知らない人なんだろうな 39 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:49:31 ] 今見たら、 昔のものは、 非最先端 40 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:49:53 ] ＞単に、ごく普通のコンピュータのほうがLispを実行しても速くなってしまったので、 ＞存在価値が無くなっただけです。 とかいってたのに ＞特殊用途でもコストを支払う需要があれば存続できるんだよ と主張をどんどんすりかえてるねｗ 41 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:50:38 ] なんだ禿自慰かよｗｗｗ 42 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:50:52 ] おまえの敵は一人じゃないんだよｗ 43 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:52:33 ] >>40 その特殊用途（Lispの高速実行）すら叶わなくなったから存在意義が無くなったんだよ 44 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:54:19 ] 聞く耳持たない人なのかな。だったら議論やめるよ。 45 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 18:55:49 ] 聞く耳がないだけでなく 「いま見て当時の〜が最先端ではない。 だから廃れた。」 と異常な理屈の持ち主なので… 46 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 19:04:57 ] 今見たらとか全然ズレてるよな。 いや、今見てもかなりイケてるんじゃないのかな。 47 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 19:07:08 ] Lispマシーンとか解析概論を話したいならスレチなのでよそ逝ってくれ。迷惑だ。 48 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 19:13:57 ] そうだなスレチだからやめよう。 49 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 22:16:17 ] pc11.2ch.net/test/read.cgi/tech/1107345738/964 前スレで行列演算を探してたので。Gauche用みたいだけどSchemeなので読めるでしょう。 てか使ってる処理系ぐらい書けよ常考。 homepage3.nifty.com/oatu/gauche/nuage.html 50 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 22:17:17 ] 行列演算のデータ構造に処理系云々がどう関わるのか 51 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 22:30:35 ] >>50 ぐぐれかす 52 名前：デフォルトの名無しさん mailto:sage [2008/02/16(土) 23:16:48 ] >>47 ごめんなさい。もうしません。 53 名前：デフォルトの名無しさん [2008/02/17(日) 00:52:10 ] スレ違いかも知れませんがどうしても聞きたいことが・・・ ニコニコ動画などで、有料会員登録をすると特別サービスが受けられる代わりに毎月銀行からお金が引かれますよね？ あの仕組みはどうなっているのでしょうか？自分で作る事はできますか？？ 54 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:00:36 ] ニコニコはわからないが、 アクセスした奴のlP抜いて銀行システムをハックして引き落とすとか そういうスーパーハッカーがいるという話は噂で聞くね。 実際どうやってるかはググった方が良いよ。 スレ違いだから怖いおじさんに叱られるよ？ 55 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:01:34 ] スレ違いだが特別に教えてやる まずクレジットカード番号をこのスレに入力しろ 56 名前：デフォルトの名無しさん [2008/02/17(日) 01:02:04 ] 「計算機プログラムの構造と解釈」に関するQ&Aなんでスレ違いじゃないんじゃないかなぁと思って。 誰か答えてくれませんかね。ググっても出ない。 57 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:03:18 ] じゃあソース出せ。 58 名前：デフォルトの名無しさん [2008/02/17(日) 01:05:19 ] いや何のソースを 59 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:06:26 ] >>56 という名前の本のスレだ すれ違いだ 60 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:06:40 ] プログラムのソースに決まってるw 61 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:07:30 ] >>56 ひろゆきにメールしろよ 62 名前：デフォルトの名無しさん [2008/02/17(日) 01:10:42 ] >>59 関連性は大いにある >>60 プログラムのソースがわからんから構造を聞いてる 63 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:13:02 ] ソースがないのに構造を聞かれても 64 名前：デフォルトの名無しさん [2008/02/17(日) 01:16:01 ] ソースがあれば構造は分かる 65 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:19:58 ] www.amazon.co.jp/dp/489471163X/ まず↑の本と>>53の話がどう関連性があるか言ってもらおうか？ それが示せないならスレ違いで終了 66 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:22:23 ] そろそろ 頭固いですね、意地っ張りですね、低脳の集まりですか？ みたいなレスが来る 67 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:25:06 ] 結局、翻訳が悪いから解釈出来ないんですよね？ 68 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 01:37:05 ] 的外れになってまいりました 69 名前：デフォルトの名無しさん [2008/02/17(日) 01:47:59 ] 頭固いですね 意地っ張りですね 低脳の集まりですか？ 70 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 02:03:21 ] ここには頭が柔らかい奴なんかいないよ。 タマゴ当てるとタマゴが割れる位に頭が堅いはずだよ。俺にはわかる。 だからLispマシンも消えたし翻訳もこれで満足だしニコニコのシステムもわからない。 71 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 02:07:40 ] SICPをアマゾンで買ったんですけど代引きってありますよね、 配達の人にお金払ってそれがどこへ行くんですか？ 構造を教えて下さい。 72 名前：デフォルトの名無しさん [2008/02/17(日) 02:08:11 ] ﾜﾛｽｗ 面白いけどよそでやってくれｗ 73 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 02:13:30 ] Edwinてデバッグモードも付いてるし、使いこなせばなかなか楽しいのかも。 Dr.Schemeは使いやすいんだが、メモリ食うし時々暴走して落ちるw 今読んでるみんなは何使ってますか？ 74 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 02:32:14 ] アマゾンも冗談ではなくかなりLisp使っているという話をどこかで読んだ。 75 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 04:04:46 ] へえ、amazonも？ グレアムの事例と混同してないだろうな 76 名前：デフォルトの名無しさん [2008/02/17(日) 08:23:32 ] バベル案内で昔はLisp使ってたけど、今は使わなくなった。 糞ばかりだ。みたいなことはかかれて棚。 77 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 08:38:47 ] 今、4章の超循環評価器を作っている。 フレームについてなんだけど、連想リストを使わないで ((var1 var2 ... varn) val1 val2 ...valn) とするのはその方が扱いやすいからなのかい？ 78 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 08:40:59 ] >>73 ChezEdit-NTとMzSchemeを主に使っているよ。 79 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 16:14:16 ] 既存のelispの資源を活用しつつschemeが動くようなeclipseの拡張がほしい pymacsはそれっぽいけどpythonはマクロが使えないのでいま一つ 80 名前：デフォルトの名無しさん [2008/02/17(日) 16:14:54 ] >>77 言語仕様として連想リストなんてあったっけ？ 俺的にはそれで内側の環境からさかのぼっていく感じで十分分かりやすいと思うけどなぁ 81 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 16:28:28 ] >>80 別に連想リストに拘っているわけじゃないんだけど、 慣習として(((x . 1)(y . 2)) ((z . 3)))みたく やる人が多いんじゃないかって思ったんだ。 岩手大学の講義資料を見ると↑式に説明してるみたいだし。 ま、どっちでもいいのだけど。 82 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 16:34:43 ] 4章の評価器をベースにcall/ccを実装しようと 思うのだけどなかなか難しい。 誰かやった人いる？ スタックコピー方式という方法があるらしいのだけど。 83 名前：デフォルトの名無しさん [2008/02/17(日) 16:39:07 ] いや、そんな事言ったら東大京大はSICPに準拠してるけどね まぁ好みじゃない？別に連想でも悪いとは思わないし 84 名前：デフォルトの名無しさん mailto:age [2008/02/17(日) 16:55:24 ] キケロ・イン・ロンドン キケロ・イン・ロンドン 85 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 18:05:41 ] >>82 一度SECDマシンで考えて、 <S,E,C,D>(のコピー)が継続そのものであることを理解したら、 継続パッシングスタイルに評価器を書き換える。 86 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 19:32:54 ] >>85 ありがとう。考えてみるよ。 87 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 21:35:36 ] Schemeって本当にエレガントだ。一切無駄がなく、明晰だ。 88 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 23:17:25 ] >>82 call/ccを実装する前に、非再帰的にevalを定義してみ 非再帰的に書くってことは、スタックや継続の代用品を自分で作るってことだから 89 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 23:22:43 ] いきなり非再帰的にevalが難しいなら、ステップとして非再帰的なクイックソートを作る事オススメ 90 名前：デフォルトの名無しさん mailto:sage [2008/02/17(日) 23:40:54 ] >>88 「スタックや」は不要なんじゃね? 91 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 00:43:54 ] >>90 非再帰的ならいるでしょ。線形再帰じゃないし 92 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 02:12:36 ] SICPが難しいと感じるレベルの人間ですが、 ものまね鳥の本ってSICP読むのに役立つの？ 93 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 07:19:33 ] >>88 最初、Guy Steele博士の１９７５年の論文に掲載されている 処理系を参考にしようとしたんだ。これは非再帰で書かれていた。 だけどこれだとbeta式なんてのがでてこてよくわからなかった。 CPUのプログラムカウンターに相当するものをScheme処理系でも 作ることができればそのカウンターと環境とを保存しておけば call/ccをしたときの状態に復帰できるんじゃないかって考え はじめたところ。ひげぽんさんの考察も参考にしている。 生のCPU、機械語ならレジスタとプログラムカウンターと スタックを保存しておいて継続が呼ばれたらそれらを復元して プログラムカウンターを継続が作られたアドレスにすればいいの ではないかと思う。関数型の言語は抽象度が高いので簡単には いかなさそう。 94 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 11:50:05 ] CPSでevalを書き直して、 continuationを処理するところを追加するのがいいと思う。 Tail recusionだから、CPSなら当然非再帰に実行される。 コードでは再帰を使っていても。 非再帰にこだわってスタックを使い廻すのはscheme的でない。 演習としては面白いと思うけれど。 カンニングしたければ、 Essentials of Programming Languages 71. Continuation Passing Interpreterで。 95 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 12:29:43 ] >>94 ありがとう。その本、持っていたと思う。 帰ったら読んでみるよ。 96 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 15:53:56 ] ガイLスチールJrって凄いよな… どうしたらあんな風になれるんだ？ 97 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 16:11:53 ] CPSな関数は戻ってこないらしいけど、 それならdelayして戻してからforceするスタイルもありえるよね。 こんな感じ (lambda (x y ... k) (do ((p (xxcpsxx ... k) (force p))) (#f))) なら (do以外は) 完全に非再帰になる。 末尾最適化のない言語でも書ける。 98 名前：97 mailto:sage [2008/02/18(月) 20:31:07 ] 82ではないが (define-syntax cps (syntax-rules () ((_ (fn arg ...) k) (delay (k (fn arg ...)))))) (define (cps-factorial n k) (cps (= n 0) (lambda (b) (if b (k 1) (cps (- n 1) (lambda (n-1) (cps-factorial n-1 (lambda (f-n-1) (cps (* n f-n-1) k))))))))) (define (factorial n) (call/cc (lambda (k) (do ((p (cps-factorial n k) (force p))) (#f))))) 99 名前：デフォルトの名無しさん mailto:sage [2008/02/18(月) 22:30:16 ] >>94 > Essentials of Programming Languages > 71. Continuation Passing Interpreterで。 3章がenvironment passing interpreterで、 7.3がimperative interpreger。 Reflection library.readscheme.org/page11.html Continuations and Continuation Passing Style library.readscheme.org/page6.html あたりもいいんじゃね? Kenichi Asai. "Reflecting on the Metalevel Interpreter Written in Direct Style"とか。 100 名前：95 mailto:sage [2008/02/18(月) 23:22:34 ] あれ？オレの本って古いのかな。first edition？ Fifth printing,1994 となってる。 8章がContinuation-Passing Style 9章がContinuation-Passing Interpreters これ買ったのって10年以上前だった。 101 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 00:06:38 ] つ 2nd ed. books.google.com/books?id=GtPoyremy4EC&pg=PA243&dq=continuation+passing+interpreter&ei=APG4R878K4KwsgP1psWGBQ&sig=q2rXXPC1n1hkWmbCiycedFSlIW0 102 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 00:13:35 ] つ3ed ttp://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11480 103 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 01:00:52 ] April 2008 including completely new chapters on modules and continuation-passing style. か。 俺はdefine-datatypeがあまり好きじゃないけど、 CPSが大きく書き直されてるのならまた読むかな。 104 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 07:33:39 ] もうここの出版社の本は買わない。 105 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 07:53:48 ] なんで？ 106 名前：95 mailto:sage [2008/02/19(火) 09:01:44 ] CPSももかなり興味深いのだけどcall/ccってCPSに よらずともスタックでなんとかならないだろうか？ 評価するＳ式をスタックにどんどん積み上げていく。 そうするとそれはどのように評価が連続してきたのか の履歴になっている。call/ccが呼ばれたときに スタックの最初の部分を取り出してきてこれと現状の環境とを クロージャにしたらだめだろうか？ 思いついだけなので実際に書いてみるとあれこれと 問題が見つかるんだろうけど。 107 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 09:19:38 ] >>105 ・やっぱ日本語ヘンだよ。 訳語が、とか、語調が、というレベルじゃない。 和田さんのせいと言うよりきちんとチェックしなかった編集者の責任だろう。 Readableであることは書物の最も重要な要素だ。 そして原版はそういう書物だ。 ・組版、製本、装丁がチャチ過ぎ。 詳しく言わないが、店に並んでるのを一つ一つ見たら酷いのがあった。 ・原文フリーなのになんで5000円近い価格は高すぎ。 On Lispはネットで両方読めるし、出版の仕事も遙かに丁寧。 108 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 09:23:54 ] 訂正 > なんで5000円近い 「なんで」トル 109 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 10:01:15 ] >>106 いや普通に書けるよ。 >>99の最後のURLにたくさん実装論文あるでしょ。 ただ超循環評価器の場合、CPSの方がscheme的だけど。 >>107 ちゃんと出版者にクレーム送った方がいいよ。 110 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 10:54:35 ] >>106 Olivier Danvy "A Rational Deconstruction of Landin's SECD Machine" www.brics.dk/RS/03/33/BRICS-RS-03-33.pdf 111 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 12:37:10 ] うぉ SECDを現代的にリファインしたのか？ 面白そうだ 112 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 13:59:31 ] 状態遷移機械はまた流行ってるよ。 SECDとかKrivineとか。 State-transition machines, revisited (2007/9) www.springerlink.com/content/r26001h223g2/?p=24c6fdd7d19c44feb9b02a1d256d1f69&pi=0 状態遷移機械は直感的に分かりやすいから、 SICP読んでいる人もおもしろいはず。>>110はすごく面白かった。 >>82がやろうとしていることを、SECD+かなり高度なレベルでやってる。 113 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 14:04:27 ] >>93 プログラムカウンター=S式へのポインタ SECDの'C'だよね。(↓LispMeのドキュメント要約) www.yuasa.kuis.kyoto-u.ac.jp/~nobu/study/palm/chap6.html 114 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 17:56:22 ] SICP読もうと思ってるんですが、Lispとか全く初心者です。 JavaやMSの統合環境などのようなものって、Schemeには無いと思ったほうがいいでしょうか。 (DrSchemeぐらいですか？) Lisperの方って、仕事する際にはどういった環境で行われているのか教えてください。自分は Vi派なんですけど、やはりEmacsを使った環境がいいんでしょうか？ 115 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 18:00:05 ] >>114 自分はEmacsだけだな。他と比べていいかどうかは慣れの問題とかあるから判らん。 116 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 20:52:13 ] >>114 つ schemeway.sourceforge.net/ 俺はEmacs使いだからこれは使った事ないけどw 117 名前：デフォルトの名無しさん mailto:sage [2008/02/19(火) 21:30:13 ] >>114 男ならEdwin 118 名前：デフォルトの名無しさん mailto:sage [2008/02/20(水) 00:01:30 ] 　　　　　　　　＼　　　∩─ｰ､ 　　　==== 　　　　　　　　　　 ＼／　●　､_ ｀ヽ 　　====== 　　　　　　　　　　　/ ＼(　●　 ● |つ 　　　　　　　　　　　|　　 X_入__ノ 　 ミ　　　そんな餌で俺様が釣られクマ―― 　　　　　　　　　　　 ､　(＿／　　　ノ　/⌒l 　　　　　　　　　　　 /＼＿＿＿ノﾞ＿/　 /　　===== 　　　　　　　　　 　 〈　　　　　　　　 ＿_ノ　　==== 　　　　　　　　　　　 ＼　＼＿　　　　＼ 　　　　　　　　　　　　　＼＿__）　　　　　＼　　　======　　　(´⌒ 　　　　　　　　　　　　　　　　＼　　 ＿＿_ ＼＿＿　　(´⌒;;(´⌒;; 　　　　　　　　　　　　　　　　　 ＼＿＿＿）＿＿＿）(´;;⌒　 (´⌒;;　　ズザザザ 119 名前：114 mailto:sage [2008/02/20(水) 10:23:59 ] 皆さん、ありがとうございます。 やっぱLisp系は伝統的にEmacsがFAなんですかね。自分、Viは使えるのですが Emacsさっぱりです。この機会にチャレンジしてみようと思います。 ちなみに、Emacs使った場合、 １．連動して使うとよいScheme処理系は何でしょうか？(Gaucheでしょうか？) ２．おすすめの.emacs設定はありますでしょうか？ ３．Emacs上でのデバッグツール、方法はどんなものがあるのでしょうか？ 教えて君ですみません。 120 名前：デフォルトの名無しさん mailto:sage [2008/02/20(水) 14:28:43 ] >>119 １．連動しないLispのほうが珍しいと思う ２．各処理系のページへどうぞ ３．俺はバグ出さないからデバッグツールは使わないなあ（嘘） 121 名前：デフォルトの名無しさん mailto:sage [2008/02/21(木) 02:29:09 ] >>119 ttp://www29.atwiki.jp/sicpstudygroup/pages/45.html 122 名前：デフォルトの名無しさん [2008/03/13(木) 06:07:46 ] ほ 123 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 20:52:47 ] 問題演習は飛ばしてとりあえず通読した。今は第五章から問題すこし ずつ解いてるんだけど、やっぱ読み直しても面白いなぁ。個人的には Streamの部分が刺激的だった。 何だろう。全体小説って外国文学にはあるでしょ。SICPはそういうものだと 感じた。SICP読んだ後は、自分の実装を客観視できるというか、位置づけ、 意味を理解できる。 124 名前：デフォルトの名無しさん mailto:sage [2008/03/13(木) 22:22:00 ] そうなんだよ。まさにそういう本だ。 そして、いろんな深い話題に発展する枝道も 至るところに散りばめられている。 125 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 16:09:51 ] 講義ビデオに字幕付けようという人達がいるようだ。 comp.lang.scheme 126 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 16:22:08 ] それは素晴らしい。ぜひともモノにしてほしい 127 名前：デフォルトの名無しさん mailto:sage [2008/03/30(日) 17:51:29 ] >>125 higeponさんのblogにあったやつだよね？ 英語がネイティブ以外に聞き取れないから、英語字幕つけようっていう 128 名前：デフォルトの名無しさん mailto:sage [2008/04/01(火) 01:16:07 ] そうです。 129 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 12:22:04 ] 英語でも字幕は確かにありがたい 130 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 21:04:06 ] うぉおおお！読破したぞ！w 3ヶ月半ぐらいかなぁ。仕事と家事の合間をぬってやった 割には我ながら頑張ったと思ってる。 問題は自力で解けたの半分も無かったよw。 131 名前：デフォルトの名無しさん mailto:sage [2008/04/10(木) 21:45:23 ] 何度も挫折したあげくカンニング用に買った日本語訳が目の前に積ん読されてる俺涙目 132 名前：デフォルトの名無しさん mailto:sage [2008/04/17(木) 18:21:14 ] な？サイエンスじゃないってしつこく言ってるだろ？ 133 名前：デフォルトの名無しさん mailto:sage [2008/04/20(日) 00:51:39 ] >>103 This new edition has an increased emphasis on types as contracts for defining procedure interfaces, which is quite important for many students. 134 名前：デフォルトの名無しさん mailto:sage [2008/04/22(火) 14:41:10 ] 最近, あちこち SICP だらけなのは SICP の邦訳だ出たせい? こんなん有り難がって読むくらいだったら, ファイン万物理学読めよorz 135 名前：デフォルトの名無しさん mailto:sage [2008/04/22(火) 16:15:14 ] ↑コピペ乙 136 名前：デフォルトの名無しさん mailto:sage [2008/04/22(火) 21:31:31 ] 最近本屋で平積みされてるらしいね 137 名前：デフォルトの名無しさん mailto:sage [2008/04/23(水) 01:23:10 ] >134 両方読めばおk 138 名前：デフォルトの名無しさん mailto:sage [2008/04/23(水) 01:29:59 ] なぜにファインマン物理学？ 139 名前：デフォルトの名無しさん mailto:sage [2008/04/23(水) 01:45:51 ] ファインマンじゃなくてファイン万だから。 140 名前：デフォルトの名無しさん mailto:sage [2008/04/23(水) 09:32:10 ] fine 万物　理学って区切るとなんか変 141 名前：デフォルトの名無しさん mailto:sage [2008/04/23(水) 12:16:28 ] ども〜ワタチ、中国系アメリカ人のファイン・万アルね ワタチの書いた物理学の教科書、みんなもっといっぱい買うヨロシ そうすればワタチ、ガッポガッポ儲かるアルね 142 名前：デフォルトの名無しさん mailto:sage [2008/04/23(水) 23:06:14 ] ゼンジー北京くらいインチキ臭いな 143 名前：デフォルトの名無しさん mailto:sage [2008/04/23(水) 23:30:36 ] SICPスレなのだからファインマン物理学でなく SICMで古典力学を学ぶのはどうかな、と思ったのですが、 wrong, rogue and logのSICM紹介を読むと 物理学を学ぶなら素直にファインマン物理学にするのが正しいみたいですね。 SICM (英語) mitpress.mit.edu/SICM/ 書籍情報 (Amazon) www.amazon.co.jp/dp/0262194554/ SICM紹介 (wrong, rogue and log) kashino.exblog.jp/7032345/ SICMの数式の表記に関するメモ www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/p/sicm_memo/sicm_notation.html SICM 読書会 (ひとり勉強会) d.hatena.ne.jp/hzkr/19000102 144 名前：デフォルトの名無しさん mailto:sage [2008/04/24(木) 15:44:03 ] 馬鹿野郎 学部生じゃあるまいし、大人が読む物理学の教科書はランダウ＝リフシッツと 相場が決まってる。それが終わったら電話帳な。 145 名前：デフォルトの名無しさん mailto:sage [2008/04/24(木) 15:55:54 ] 俺も昔、数学や物理学で、 暗黙のパラメータを明示化して定式化したことあるよ。 結構、数学や物理学側の訓練にもなるよ。 気づいてない「暗黙のパラメータ」にたくさん気づいた。 けどSICM全体にまで到達しなかった。 >>143のblogに書いてあるように、 他のテキストの標準的な表記との脳内変換が大変すぎるから。 ちなみに自分は紙の上でやったから、 コンピュータ上なら、暗黙のパラメータを許容した表記をエイリアスに使って、 脳内変換が少ない定式化をできるんじゃないか。 解析の道具を使う物理学のパラメータ暗黙化はとにかくすごい。 あらゆる省略があちこちにちりばめられている。 146 名前：デフォルトの名無しさん mailto:sage [2008/04/24(木) 19:22:26 ] ファインマンサンさんを呼び捨てにするなよ 147 名前：デフォルトの名無しさん mailto:sage [2008/04/25(金) 04:55:01 ] ランダウの統計物理だけ廃盤で手に入らないぞ 148 名前：デフォルトの名無しさん mailto:sage [2008/04/25(金) 08:12:47 ] >>147 何年か待っていたら出るかもしれぬ。この１０年でも２回は出てた筈。

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef