- 1 名前：デフォルトの名無しさん mailto:sage [2007/11/28(水) 22:48:12 ]
- ＳＩＣＰの後継とささやかれている「コンピュータプログラミングの概念・技法・モデル」のお勉強スレです。
略称はCTM、CTMCP、もしくはガウディ本です。
原著『Concepts, Techniques, and Models of Computer Programming』
www.amazon.co.jp/dp/0262220695
和書
www.amazon.co.jp/dp/4798113468
公式ページ（英語）
www.info.ucl.ac.be/~pvr/book.html
CTM Wiki（英語）
www.codepoetics.com/wiki/index.php?title=Main_Page
Mozart(Ozの処理系)
www.mozart-oz.org/
※emacsが必要です（環境変数OZEMACSにemacsの実行ファイルパスを設定）
- 2 名前：デフォルトの名無しさん [2007/11/28(水) 23:33:04 ]
- Dr. Chandlar's "No programing artificial children: HAL 9000", 2001
あれ、もう出版されて6年以上経つはずだが...ないね。
- 3 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 00:03:10 ]
- {System.show 'hello, world'}
- 4 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 00:49:09 ]
- www.amazon.com/dp/0262220695
外国では大絶賛ですな
- 5 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 02:12:01 ]
- Rubyの実装本読んだ方が為になるんじゃないの。
- 6 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 02:23:11 ]
- 君がそう思うならそれを読んでいればいいよ
- 7 名前：デフォルトの名無しさん [2007/11/29(木) 03:23:05 ]
- ozが日の目を見る日が来たのか？
- 8 名前： mailto:sage [2007/11/29(木) 07:36:41 ]
- アマゾンで英語版衝動買いしたけど読んでねー｡翻訳されたのか｡
- 9 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 22:18:11 ]
- ozなんてショボイ田舎言語以下の練習言語だろｗ
logo以下ｗｗｗｗｗ
- 10 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 22:22:51 ]
- orz
- 11 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 22:41:49 ]
- 買ってみた
自然言語解析とかプログラム意味論とかも扱ってるんだな
後半は情報数理のプログラミング本みたいな感じ
- 12 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 23:01:14 ]
- これと比べてどっちが良書？
Amazon.co.jp： 計算機プログラムの構造と解釈: 本: ジェラルド・ジェイ サスマン,ジュリー サスマン,ハロルド エイブルソン,Gerald Jay Sussman,Julie Sussman,Harold Abelson,和田 英一
www.amazon.co.jp/exec/obidos/ASIN/489471163X/250-3648248-8159430
- 13 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 23:21:22 ]
- >>12 相補的な関係。どっちじゃなくてどちらも読もう！
- 14 名前：デフォルトの名無しさん mailto:sage [2007/11/29(木) 23:22:52 ]
- 読みやすさは断然CTM
- 15 名前：デフォルトの名無しさん mailto:sage [2007/11/30(金) 00:05:01 ]
- 題名でぐぐって２番目に出てくるpdfファイルはいったい？
- 16 名前：デフォルトの名無しさん mailto:sage [2007/11/30(金) 01:29:50 ]
- >>15
ドラフト版です
- 17 名前：デフォルトの名無しさん [2007/12/02(日) 02:48:18 ]
- ドラフト版で十分そうじゃないか
- 18 名前：デフォルトの名無しさん mailto:sage [2007/12/02(日) 19:23:33 ]
- そのpdfでいいや
- 19 名前：デフォルトの名無しさん mailto:sage [2007/12/12(水) 11:26:09 ]
- このスレの、社会人と学生の割合はどんなもんだろう
- 20 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 18:29:50 ]
- 社会人ですが何か
- 21 名前：デフォルトの名無しさん mailto:sage [2007/12/19(水) 15:49:18 ]
- へーこんな刷れあるんだ。
立ち読みして面白そうだったから買ってみた。
F#に手を出そうとしてるのでいろいろ参考になりそう。
早く今やってるの終わらした後参加するﾉｼ
- 22 名前：デフォルトの名無しさん mailto:age [2007/12/20(木) 16:19:15 ]
- 宣伝age
- 23 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 16:57:46 ]
- よくわからないけどOZって(cons 'erlang '(haskell))なのかな？
- 24 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 23:51:38 ]
- いまさらですが、関連スレです。
【SICP】計算機プログラムの構造と解釈【Scheme】
pc11.2ch.net/test/read.cgi/tech/1107345738/
- 25 名前：デフォルトの名無しさん [2008/01/07(月) 03:55:44 ]
- ＼(^o^)／
- 26 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 21:15:04 ]
- >>25
正三郎乙
- 27 名前：デフォルトの名無しさん [2008/01/20(日) 18:08:37 ]
- 「無茶苦茶」基本的なお話で申し訳ないが…
Mozart(Ozの処理系)って日本語はOKなんでしょうか?
- 28 名前：デフォルトの名無しさん mailto:sage [2008/01/20(日) 18:28:35 ]
- >>27 アフォ
- 29 名前：デフォルトの名無しさん mailto:sage [2008/01/20(日) 18:33:14 ]
- >>27
自分で試してみればわかること。
- 30 名前：デフォルトの名無しさん [2008/01/21(月) 11:50:20 ]
- どうも最近のプログラム板は素っ気無い回答が
多いねぇ。昔はもっと親切だった。(^_^;
例えば"表示"や"暴力"と入力すると文字化けするとか
教えてくれれば、それで充分なのに…
- 31 名前：デフォルトの名無しさん mailto:sage [2008/01/21(月) 12:54:59 ]
- Ozはこの本を読み終われば二度と見たくない言語だなｗ
- 32 名前：デフォルトの名無しさん [2008/01/21(月) 19:09:18 ]
- Ozが厭ならAliceもあるけど…^m^
- 33 名前：デフォルトの名無しさん [2008/01/21(月) 19:56:01 ]
- Cプログラマの為に、ポイントをまとめたドキュメントを販売しています。
プロのプログラマでもあまりにレベルが低い人が多すぎます。
そんな人に限って、自分のレベルの低さを自覚していない、、、
本人は構わないかもしれませんが、その下についた新人プログラマは
たまったものではありません。（私が経験しました。）
今になって分かりました。
彼らもまた、理解できていなかったのです。
プログラミング言語の一番の習得の近道はきちんと理解している人にアドバイスをもらうこと。です。
（何といったって、参考にしようとする市販の本さえ、 きちんと説明してくれていないのですから、
その証拠にC言語の学習で悩む人がどんなに多いことか）
私のC言語に取り組んだ7年間をすべてぶつけたつもりでテキストを作りました。
私の会社の後輩からは、どんなテキストよりもわかりやすかった！や、
今まで教えてくれていた先輩や、テキストたちが、ちゃんと理解できていないことがわかりました。
と、嬉しいコメントをたくさんもらいました。
そしてなにより、彼らの社内での評価がとても高いということが、私の誇りです。
宣伝と言ってしまえば、そうなってしまうかもしれませんが、ひとりでも多くのプログラマを救いたい。
プログラムの世界そのものの実力を底あげに貢献し、
無意味なバグに、残業したり、悩んだりして欲しくないのです。
興味がある方はどうか、下のサイトをみてみてください。
mori.eco.to/
- 34 名前：デフォルトの名無しさん mailto:sage [2008/01/21(月) 20:57:55 ]
- >>33
＞テキストたちが、〜理解できていない
- 35 名前：デフォルトの名無しさん mailto:sage [2008/01/21(月) 21:34:00 ]
- 通報しました
- 36 名前：デフォルトの名無しさん mailto:sage [2008/01/21(月) 22:58:40 ]
- コードのみてくれが気持ち悪い。
- 37 名前：デフォルトの名無しさん mailto:sage [2008/01/21(月) 23:05:55 ]
- 禿同
けど言語作るバイタリティあるやつって、
こういう妙なところにこだわりがある奴結構多いんだよな。
その辺のこだわりがバイタリティの源になっているというか。
こっちとしては、みてくれは既存の言語と同じで、
機能面だけ新しければそれでいいんだが。
- 38 名前：デフォルトの名無しさん mailto:sage [2008/01/22(火) 00:01:35 ]
- ozの機能を生かした上で、おまえの納得する見てくれってどういうんだよ？
- 39 名前：デフォルトの名無しさん [2008/01/22(火) 14:47:27 ]
- まずendを}に代えるところからだな。
- 40 名前：デフォルトの名無しさん mailto:sage [2008/01/22(火) 14:53:23 ]
- Pascalライクな書き方ではなくてCライクな書き方でおｋ
- 41 名前：デフォルトの名無しさん [2008/01/23(水) 11:57:30 ]
- >37
>けど言語作るバイタリティあるやつって、
>こういう妙なところにこだわりがある奴結構多いんだよな。
>その辺のこだわりがバイタリティの源になっているというか。
>こっちとしては、みてくれは既存の言語と同じで、
>機能面だけ新しければそれでいいんだが。
名言だよね！
ＳＩＣＰでも理解を妨げている半分はまずSchemeの仕組みを
覚えないといけないってところだ。
カッコだらけの例文を見るだけで、半分の人は脱落…orz
でも見方を変えればLispなんかを普段いじってる
極少数のオタクっぽい人にとっては、涎が出るような
内容だとは思うが。
つまりは大多数のプログラマーが使用している
言語、例えばJava,C,とか（PHPやVBじゃ、ちときついが）
で、大部分を説明し平行プログラミングとか本書の肝の
部分だけ、Javaのスレッド操作と比較しながらOzで
説明してくれれば、この本の売れ行きは必ずアップする
と思うけどねぇ。(*^^)v
個人的には何故変数が定数じゃないといけないのか？
非破壊という意味ならリストやレコードは破壊的に
操作しても何故良いのか？とか、
無茶苦茶基本的な部分が理解出来てないから
あまり大きなことは言えないけど…(^_^;)
- 42 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 12:13:27 ]
- >ＳＩＣＰでも理解を妨げている半分はまずSchemeの仕組みを
>覚えないといけないってところだ。
…。
- 43 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 12:19:26 ]
- >>42むしろSchemeの仕組みがわかる本なのだが……
Lispの書き方なんて、先頭に関数名を書いてカッコでくくれば終わり、という
数あるプログラミング言語のうちでもトップの単純さなのに。
;;; やっぱ 1 + 1 が (+ 1 1) になるところで拒絶されちゃうのかな
- 44 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 16:38:51 ]
- Lisp/Schemeは確かにとっつきにくい構文だけど、
プログラムが、言語が一番得意なデータ型で表現されている。
そのメリットがでかいから問題ない。
- 45 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 16:45:10 ]
- >>43
アセンブラみたい。
まあ、英語圏の人は命令対象おまけの語順に慣れてるからいいのかもね。
- 46 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 20:11:42 ]
- >>41
まず計算モデルありきの本だから
Javaでは説明にならない。
そもそも計算モデルが違う。
- 47 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 21:49:13 ]
- OzとSchemeを比べてはいかんだろ
Ozを見たらC++も逃げ出すよｗ
- 48 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 23:48:44 ]
- >>47
お前C++なめすぎ。
- 49 名前：デフォルトの名無しさん mailto:sage [2008/01/24(木) 02:07:02 ]
- SICPもこっちも今読んでる最中だけど、
こっちの方が読みやすい気がする。
- 50 名前：デフォルトの名無しさん mailto:sage [2008/01/24(木) 10:21:56 ]
- いま４章の途中だけどここで書いてるようなデータフロー的な並列性をＣ＃とかで実装しようとしたらどうなる？
クリティカルセクションとかイベント使えば動くようにはできそうだけど重そう
- 51 名前：デフォルトの名無しさん mailto:sage [2008/01/24(木) 10:26:03 ]
- スレッド起こしたらだめなん？
別スレッドにすればそのまま順番に実行するだけ。
- 52 名前：デフォルトの名無しさん mailto:sage [2008/01/24(木) 10:51:43 ]
- スレッドおこすのはいいんだけど、データを追加したり
束縛するときの別のスレッドがそれを消費する仕組みをどう実装しようかと。
イベントとか使うと重くなりそうで・・・・
- 53 名前：デフォルトの名無しさん [2008/01/24(木) 12:32:16 ]
- >27,30,32,39,41です。
Ozの言語仕様,計算モデルに遠い順から「なでしこ」HSP、
VB,PHP,JavaScript,C,Java,C++,Ruby,Python,
Perl,C#3.0と来て…
Ocaml,Haskell,Clean,Erlang！
特にErlangなんかやってるエリクソンの連中に
とっては、Schemeに対するLisp同様、ほとんど
抵抗がないのではなかろうか？
- 54 名前：デフォルトの名無しさん [2008/01/24(木) 12:40:11 ]
- 悪い。Scalaを忘れていました。
これも結構近いんじゃ？
- 55 名前：デフォルトの名無しさん [2008/01/24(木) 19:20:14 ]
- Ozはなでしこからかなり遠いのか・・・
厳しいな・・・Orz
- 56 名前：デフォルトの名無しさん mailto:sage [2008/01/25(金) 01:44:15 ]
- >>52
データフロー並列は言語の計算モデル。
C#でどう実装もクソもない。
それと、性能を当て推量で予想するのはやめろ。
スレッドまわりのパフォーマンスなんて誰にも
予想がつかない。実装と最適化あるのみ。
- 57 名前：デフォルトの名無しさん mailto:sage [2008/01/25(金) 04:55:20 ]
- >>56
おまいがいってる言語の計算モデルってのは何のことだ?
原語特有の機能だからC#には無理といってるのか、言語にかかわらず普遍的な計算モデルといってるのか。
いずれにしてもここでの質問はC#で同じような動きを効率的に動作させるためにはどうしたらいいのかということで、ただの否定なら小学生にも出来るんだよ僕。
実装して動作させることも大事だけど、コストのかからないものを頭の中で作り上げることも大事だよ?それない奴は無駄にデバッガー使って時間を浪費する。
- 58 名前：デフォルトの名無しさん [2008/01/25(金) 11:26:10 ]
- >55
いや、なでしこが遠いのは単にコードが日本語だから…
Ozなんかを扱ってるアングロサクソン民族の言語から
すれば、まず日本語を覚えることが障害になる。(^_^;)
つまらん話だが、これって結構重要。
例えば
>43
>むしろSchemeの仕組みがわかる本なのだが……
SICPをそう考えるところから、もうかなりズレてる。
このCTMCPもOzなりMozartの入門書と考えると
やはり本質を外している。
重要なのはまず概念だと思う。
それをサンプル言語でどう表現するか？
ところが、その言語の習熟度により概念の理解に
格差が生まれ、なかには躓いたまま立ち上がれない
人もいる。Orz
入り口でずっころんで、中にも入れない。
だから、もっと親しみのある言語で初歩的なところは
説明したらどうか？と。
Ozの言語説明ならラクダ本じゃないが、魔法本？かなんか
書けばよいと思うわけ。
- 59 名前：デフォルトの名無しさん mailto:sage [2008/01/25(金) 14:51:22 ]
- >>58
> 重要なのはまず概念だと思う。
> それをサンプル言語でどう表現するか？
概念と言語の結びつきを誤解してる。
概念を理解すればすなわちOzを理解したことになる。
てか、そんなに強烈に複雑難解な機能は入ってないじゃん、
Oz。
予約語だってほんの少数。昔の人はN88-BASICを（ｒｙ
他の言語はそれぞれ別の概念にもとづいているから、
他の言語を使って説明するのは、同時に2つの言語を
説明するに等しい。
まわりくどくなるし、たぶんバグが出る。
もしJavaを理解してるつもりなら、Javaのメモリモデルとか
調べてみ。
「Ozちょーかんたん」と思うようになると思うぞ。
- 60 名前：デフォルトの名無しさん mailto:sage [2008/01/25(金) 15:27:00 ]
- 多分、セルフフィードバックで説明を完結させるやりかたに、納得がいかない
人なんじゃないかな？
そういう人は、どんな本を読むよりも、インタプリタを機械語かCで作るしか、
ダメなんじゃないかと。超循環評価器にたどりつくのは自分には向いてないと
すっぱりあきらめて。
- 61 名前：デフォルトの名無しさん [2008/01/26(土) 15:35:58 ]
- >59,60
昨日ようやくCTMCPがある本屋に置いてあったので、序章と
第一章と個人的に興味のある制約プログラミングの章及び
付録Dを立ち読みし、後は斜めにパラパラと…
それでも一時間かかった。
重いよぉ。この本。今日も肩と腰が痛い…^m^
確かにOzの言語仕様は簡単で分かりやすい。
Schemeでプログラムの最後が))))))とかなって
どのカッコがどれに対応しているのかさっぱり
分からん言語よりはるかにまし。
実用的かどうかは分からんが…
でも命令型、関数型、論理型、オブジェクト指向、並列型と
ほぼ全てのパラダイムを一つの言語でカバーしている。
C#なんかが関数型言語の書き方を3.0で取り込んだり
Ruby1.9でラムダ表記が仕様に入ったりで世の中の
流れは確かにマルチパラダイム言語の方向に進んでいる。
CTMCPが面白い試みであることは間違いない。(*^^)v
- 62 名前：デフォルトの名無しさん mailto:sage [2008/01/26(土) 17:59:54 ]
- リフレクション系のAPIはたくさんあるけど、
S式ベースの言語のプログラム表現が一番分かりやすいだろ。
それを無視して()を批判しても意味がない。
逆に考えると、初歩の初歩で終わるなら、S式の意味はない。
マクロやDSLは扱わないような。
- 63 名前：デフォルトの名無しさん [2008/01/26(土) 22:00:09 ]
- Ozで書かれたプログラムで有名なものって何があります？
- 64 名前：デフォルトの名無しさん mailto:sage [2008/01/26(土) 22:47:38 ]
- Orz
- 65 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 00:35:50 ]
- >>63
Mozart
- 66 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 00:43:22 ]
- それはOzの実装
- 67 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 01:21:21 ]
- 自分自身で実装されていない言語はウンコ
で、MozartはまさかCで書いてあったりしないよな？
- 68 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 01:23:14 ]
- 頭大丈夫かしら
- 69 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 01:26:21 ]
- gccはC言語で書いてある。
あとはわかるよな？
- 70 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 01:31:54 ]
- PythonはCで書いてある実装がある
Javaもそう
あとはわかるよな？
- 71 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 01:35:55 ]
- 自分自身以外での実装があるのは普通だろ。
よほど小規模でもハンドアセンブルするより楽なことが多い。
が、自分自身での実装がないってのは
言語としてＢ級。
ちなみにJavaはJava自身での実装がある。
- 72 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 01:36:53 ]
- >>63
× Ozで書かれたプログラムで有名なものって何があります？
○ Mozartで書かれたプログラムで有名なものって何があります？
- 73 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 02:20:23 ]
- >>71
＞ちなみにJavaはJava自身での実装がある。
な、なんだってーーー！！ｋｗｓｋ！！
APIセットじゃないよね？コンパイラだよね！？
- 74 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 02:37:14 ]
- >>73
バイトコードへのコンパイラは当然Javaだろ昔から。
Javaで書かれたJava VMがあるんだよ。
ttp://jikesrvm.org/
- 75 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 02:54:53 ]
- >>74
やべー面白そうｗｗｗ
- 76 名前：デフォルトの名無しさん [2008/01/27(日) 08:42:56 ]
- 失礼しました
Mozartで書かれたプログラムで有名なものって何があります？
- 77 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 09:21:46 ]
- Orz
- 78 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 09:54:47 ]
- >>76
Oz
- 79 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 09:56:01 ]
- それはMozartの対象言語
- 80 名前：デフォルトの名無しさん [2008/01/27(日) 12:26:52 ]
- >76
Ozはカーネル言語だから、つまり実用性はなく
プログラミング概念を簡潔に言語化し
それがユーザーの前で「実験的」に
動き、概念を理解するのを補助するために
開発された言語だと思う。
そう言った意味ではこの本が書かれた時点で
既にその目的の大半は達成している。
今後は教室や研究室でほそぼそと使用される
言語じゃないだろうか…(・・?
従って重要なのはプログラミングパラダイムの
理解であって、実用性は考慮の範囲外。
- 81 名前：デフォルトの名無しさん [2008/01/27(日) 12:34:52 ]
- >>Ozはカーネル言語だから
そこ、まちがい
ほんとにスイーツが増えたなあ
- 82 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 13:39:49 ]
- アセンブラをアセンブラで書くこともあればLLで書くこともある。
自分自身の処理系の記述能力には、チューリング完全性と同程度の意味しかない。
- 83 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 13:47:25 ]
- > チューリング完全性と同程度の意味
それ重要じゃねーか。
- 84 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 13:52:43 ]
- >>80
なんでOzがカーネル言語だって知ってるんだ？
日本でカーネル言語なんて単語あんまり使わんだろ。
研究者？
Oz/K: a kernel language for component-based open programming
portal.acm.org/citation.cfm?id=1289980
- 85 名前：デフォルトの名無しさん [2008/01/27(日) 14:03:37 ]
- カーネル記述言語とは別にカーネル言語ってのがあるんだ？
- 86 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 14:26:41 ]
- カーネルを記述する言語がカーネル言語じゃない？
カーネルって別にLinuxのとかWindowsでいってるkernelだけじゃないし
- 87 名前：デフォルトの名無しさん [2008/01/27(日) 14:35:55 ]
- >>84
この本に書いてあるだろうよ。。
- 88 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 14:36:53 ]
- >>84
おまい、読者じゃないだろｗ
- 89 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 14:44:19 ]
- Schemeよりとっつきやすいな、Ozて
学習用としてはたしかにいいかもしれん
まぁ言語うんぬんより、計算モデルの本質を学ばなきゃこの本を買った意味ないんだけど
- 90 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 15:58:31 ]
- >>83
> それ重要じゃねーか。
逆だろ？ たとえば、
sendmail.cfがチューリング完全だからといって、それがどれくらい重要かというと
・記法が配送の記述に向いてるかどうかは関係ない
・プログラミングに向いてるかどうかとは関係ない
つまり、向き不向き(優劣)の議論と、チューリング完全かどうか、は、
全く関係ない。
と昨日までは思っていたのだが、どこぞでPyPyはpartial evaluationだ二村射影だ
という記事を読んで少々意見が変わった。そのへんの理論を実用のシステムに
応用するのがあたりまえになってくると重要になってくるかも。
- 91 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 20:50:04 ]
- Futamura projectionが出てくるとはアカデミック。感心した。
- 92 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 20:51:16 ]
- あとはわかるよな。
- 93 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 21:11:46 ]
- 現在の実用上でも、もしHTMLがPostscriptみたいに
チューリング完全だったら、今のWebはなかっただろうな。
- 94 名前：デフォルトの名無しさん mailto:sage [2008/01/27(日) 23:17:27 ]
- HTMLもJavaScript込みで考えればチューリング完全だった希ガス
- 95 名前：デフォルトの名無しさん [2008/01/28(月) 13:11:48 ]
- >81 ほんとにスイーツが増えたなあ
そこ、まちがい
スイーツ(笑) だから
- 96 名前：デフォルトの名無しさん mailto:sage [2008/01/28(月) 15:34:14 ]
- 考える脳はスイーツを欲しています。
何も考えてないような奴がスイーツを食うとピザるだけだけどねｗ
- 97 名前：デフォルトの名無しさん [2008/01/28(月) 15:34:49 ]
- >89
>まぁ言語うんぬんより、計算モデルの本質を学ばなきゃ
>この本を買った意味ないんだけど
この本は確かに計算モデルの本質＝概念を理解させる
ことが目的なんだが、概念って本質じゃないよね？
つまり人間側がどう計算モデルを理解しているかという
認知モデルだ。
例えば関数型のA.再帰計算モデルとB.末尾再帰計算モデルが
あって、Ozで実行すると確かにスピードは圧倒的にBが速い。
しかし、実装レベルでは…
字句解析で再帰モデルは全てfor文に書き換えられており、
Aでは同じfor文を余計に回すように組まれてるって
可能性も否定出来ない。「C言語」で…
あとはわかるよな。
- 98 名前：デフォルトの名無しさん mailto:sage [2008/01/28(月) 15:49:26 ]
- >>97
お前C言語脳になってるぞ。
この世にはな、ハードウェアを無視して数学から発生する
言語があるんだよ。
- 99 名前：デフォルトの名無しさん mailto:sage [2008/01/28(月) 16:32:57 ]
- そうだね。
どうも「あとはわかるよな。」は自分の認知モデルこそ本質と
思ってるようだが、以下「本質」を禁止ワードにして説明してみる。
認知モデルとして脳内に操作的意味論しか存在しないと苦労するよ。
（俺もそうなので苦労している）。
何かの学習で重要なのは、自分の既存の認知モデルを足がかりに、
新しい何かの認知モデルを頭の中に構築すること、それがすなわち、
新しい概念を理解する、ということなわけだ。
古式ゆかしいBASICには、まともなサブルーチンの概念もないし、
（フォールスルー的に前の行から侵入できちゃうから）
グローバル変数しかない。
もし、その状態の脳のまま、C(でもPascalでもAlgolでも)の
ローカル変数を「BASICでそれに相当するもの」に置き換えて
考えようとしている限り、進歩はないよね。
> しかし、実装レベルでは…
と、実装の話で強弁してるけど、全ては機械語に落ちているという
ことに異論がある奴はいないだろうが、それは、世界には一種類の
万能チューリング機械さえ存在していれば何もいらない、と言って
いるようなものだ。
- 100 名前：84 mailto:sage [2008/01/28(月) 16:36:29 ]
- 数学的観点からプログラムを見る形式主義を批判してる、コペンハーゲン大学の計算機科学教授を知ってる？
|
 |
