- 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の実行ファイルパスを設定）
- 182 名前：デフォルトの名無しさん mailto:sage [2008/05/04(日) 19:11:48 ]
- >>181
私が、ブログを読み違えているのか。スコットの表示的意味論なんて、
何がなんだかさっぱり分からないことの、代表格だったので、
この際やさしい解説をききたいとおもったのだけれどw
- 183 名前：デフォルトの名無しさん mailto:sage [2008/05/04(日) 19:18:33 ]
- 全然話は違いますが、過去にこの本でOzが使われている
役割をALGOLが勤めていて、しかも、この本に匹敵する
ような読み応えのある本はありましたか。
ここ数十年、膨大な概念が発明されたから、過去のものは
大分シンプルだろうとおもいますが。そういう部分を相対的に
差し引いた評価で。
- 184 名前：デフォルトの名無しさん mailto:sage [2008/05/04(日) 19:36:44 ]
- LispならWintonのArtificial Intelligenceがあったが。
あとSCIP以前と以後は全然違う。
- 185 名前：デフォルトの名無しさん mailto:sage [2008/05/04(日) 19:38:30 ]
- >>182 こういうものを希望しているのか？
ttp://ja.wikipedia.org/wiki/%E8%A1%A8%E7%A4%BA%E7%9A%84%E6%84%8F%E5%91%B3%E8%AB%96
- 186 名前：デフォルトの名無しさん mailto:sage [2008/05/04(日) 20:13:21 ]
- >>180
Parallel World
並行世界 の検索結果 約 3,860,000 件中 1 - 10 件目 (0.03 秒)
並列世界 の検索結果 約 2,390,000 件中 1 - 10 件目 (0.40 秒)
平行世界 の検索結果 約 1,260,000 件中 1 - 10 件目 (0.31 秒)
- 187 名前：デフォルトの名無しさん mailto:sage [2008/05/04(日) 20:26:17 ]
- 平行は幾何のそれとその関連概念の場合だな
- 188 名前：デフォルトの名無しさん mailto:sage [2008/05/09(金) 09:31:25 ]
- >>187
日本語化したパラレルは並行か。私はパラレルクリスチャニア。
後にパラレルターンとなった。これくらいしか使わないな。
- 189 名前：デフォルトの名無しさん mailto:sage [2008/05/10(土) 06:13:20 ]
- >>159
ちょっと質問です。
日本でConcurrentという言葉が強く意識されたのは、1980年代前半に
ConcurrentPrologが紹介された時ではないかと思います。極めて初期に
並行という言葉が使われたような気もするのですが、以後ほとんどこの
言語は並列論理型言語の枠組みのなかで語られ、この言語の周辺に
並行という言葉を見出すことができません。もしかするとこのスレタイ本の
訳語の混乱の一因も、ここら辺りにあるのかもしれません。それではなぜ、
この言語の作者であるShapioはParallelではなくて、Concurrentという
言葉を使ったのでしょうか。
- 190 名前：デフォルトの名無しさん mailto:sage [2008/05/10(土) 22:58:16 ]
- OS方面では昔から使われてたと思うが＜Concurrent
Parallelってのはそれに対してハードウェア方面で使われてた気がする
- 191 名前：デフォルトの名無しさん mailto:sage [2008/05/11(日) 06:34:33 ]
- Concurrentはなんか資源を奪い合う話の中で出てきていた気がする。
ホーアか誰かの論文になかったっけ。
- 192 名前：デフォルトの名無しさん mailto:sage [2008/05/11(日) 06:41:23 ]
- >>191
食事する哲学者問題? これはダイクストラ
- 193 名前：デフォルトの名無しさん mailto:sage [2008/05/11(日) 06:50:34 ]
- ConcurrentPrologもプロセス協調のためのガード機構を強調しての命名のような気がする。
- 194 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 06:33:56 ]
- P411に並列論理型プログラミング批判が出てくる。結構難解。
- 195 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 11:49:54 ]
- ドラフト版しかないから分からない…
- 196 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 13:06:48 ]
- Concurrent Pascalを忘れるな。
- 197 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 15:25:13 ]
- >>196
Brinch Hnsen "THE ARCHITECTURE OF CONCURRENT PROGRAMS" 1977年
の翻訳が1980年に日本コンピュータ協会から出ています。「並行動作プログラムの原理}。
この中に、Concurrent Pascal の詳しい紹介があります。
まえがきの4ページに
「コンカレントなプログラムとは同時に実行される幾つかのシーケンシャル・プロセスから成る。
それらのプロセスは共有する変数を介してデータを交換し、共通の仕事を共同して行なう。」
とあります。
- 198 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 15:26:01 ]
- すみません。 Hnsen -> Hansen です。
- 199 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 15:39:47 ]
- ConcurrentPrologにはシーケンシャルな部分は全くないので、ますます微妙です。
それから、これは私は知らないので質問のような形となりますが、
Concurrent Pascal は Ada の成立に強い影響を与えたのでしょうか。
- 200 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 18:41:16 ]
- Concurrent Pascalはmonitor系でしょ。
AdaはCSP系だよね。
あとConcurrent Prologは、
ガード節と残りの節は逐時的であることが保証されてる。
ガード節が充足しないと残りは実行されないので。
- 201 名前：デフォルトの名無しさん [2008/06/02(月) 11:04:08 ]
- 並列や並行に関してこんなのがありました。
www.cspjapan.org/
ここは、CSPが中心ですね。
- 202 名前：デフォルトの名無しさん mailto:sage [2008/07/01(火) 16:47:15 ]
- 保守
- 203 名前：デフォルトの名無しさん mailto:sage [2008/08/29(金) 10:58:24 ]
- IA64でmozartのコンパイルができないよよよ
|
 |
