08/03/09 11:29:48
Concurrentは、con(同時)+current(時間)だから、
時間を伴わない対象には絶対に使わない。
Parallelってのは、「お互いに」って意味のギリシャ語が元で、
もっと広く使う。空間的な関係とか。
ではconcurrentと書かれた場合だけ並行とするべきか、
それとも時間を伴う場合は常に並行と訳するべきか、
例えば"in parallel"はどうするか、ってのは結論でないね。
日本語とは言葉の分担範囲が違うとしか言いようがない。
昔ゼミでもよくこういう文献を読みましたが、
訳語がどっちなんかって事はみんな無視して、
内容の把握に勉めましたよ。
ただ>>155にあるように常に逆になっているんだと、
役者の能力に問題があるね。その指摘の第一段の
「表示的意味論」も少し調べれば分かると思うし。
160:デフォルトの名無しさん
08/03/09 11:56:22
原文は見てないが、訳書のp.429の到達可能性の定義も逆になってる。
この訳者は逆が好きなのか。
161:デフォルトの名無しさん
08/03/10 11:06:23
ループアンローリングを「ループを展開しない」と訳してた本が昔あった。
よくあることなんじゃないか？
162:デフォルトの名無しさん
08/03/10 22:10:21
そんな訳者は名前さらした方がいいな
二度と本を出さないで欲しいから
163:デフォルトの名無しさん
08/03/14 11:41:12
>>159
世間一般で「パラレルワールド」を、並行宇宙と訳す場合もあったりするから、混乱しているんじゃ？
164:デフォルトの名無しさん
08/03/14 11:50:04
その推測に何の意味があるのかわからん
165:デフォルトの名無しさん
08/03/14 17:46:19
>>163
こんなところで言い訳してないで改訂してください
166:デフォルトの名無しさん
08/03/14 21:30:59
オレ様くらいのラベルだと
並行だの並列だの、ぜんぜん使い分けられないけどな。
日常会話つったら「電車が並行して走っている」くらいしか使わないぜ。
167:デフォルトの名無しさん
08/03/14 22:06:37
複線のことをパラレルとは言う
168:デフォルトの名無しさん
08/03/14 22:10:31
URLﾘﾝｸ(okwave.jp)
169:デフォルトの名無しさん
08/03/14 22:25:21
>168の質問をかつて基板屋にしたら、「そりゃおめぇ、8本分ノイズ対策するより1本の方が
楽に決まってるじゃねぇか」と言う答えが返ってきた。「じゃぁ、PCIexpressのx16なんかは
結局16本分ノイズ対策することになって大変だね」と振ってみたら、「だから先ず最初にx1で
ボードを設計して、チューニングが巧くいったらそのノウハウを使って順次シフトしてくのよ。
だから、x16のボードだからって初期ロットはx16出ないなんてことが……」だと。
170:デフォルトの名無しさん
08/03/14 22:35:39
脱線しすぎw
171:デフォルトの名無しさん
08/03/14 22:37:45
シリアルが頭打ちになるとパラレルが台頭し、
パラレルが頭打ちになるとシリアルが台頭してくるとどっかで読んだ覚えがある。
172:デフォルトの名無しさん
08/03/15 09:57:45
専用ハードと汎用ハードのスパイラルみたいなもの。
173:デフォルトの名無しさん
08/03/16 21:43:08
>>168
なるほど。同期が面倒なのはハード側も同じなのか。
同様に、今みたいにスレッドだのプロセスだのを
バンバン生成するプログラミングスタイルは
いずれ廃れてくれないかな。
174:デフォルトの名無しさん
08/03/17 01:44:43
とりあえずErlangスレへいけ
175:デフォルトの名無しさん
08/03/20 15:03:25
>>173
10年もしたらSTM(もしかしたらHTM)が一般化する。
タイミングがシビアな一部の組み込み以外では、同期問題など消え去る。
と信じたい。
176:デフォルトの名無しさん
08/03/21 11:55:03
同期の問題は永遠に無くならないだろ，常考．
177:デフォルトの名無しさん
08/03/21 17:25:07
古いものが死に絶えても新しい世代の同期が存在する品。
178:デフォルトの名無しさん
08/03/21 17:43:41
高級言語で直に共有メモリとか（ｒｙ
まあパフォーマンスのレベルでは永久に残る。
179:デフォルトの名無しさん
08/03/21 19:28:58
抽象化が進むことは間違いない。
180:デフォルトの名無しさん
08/05/04 18:25:35
>>155
なるほど、そういうものかも知れないな。表示的意味論からの
もう少し詳しい解説をききたいものだ。このparallelと日本語化した
パラレルがまたちがうからややこしい。日本語化したパラレルには
並列の意味はなく、平行。
181:デフォルトの名無しさん
08/05/04 18:54:59
> 表示的意味論からのもう少し詳しい解説をききたいものだ。
？
つ URLﾘﾝｸ(iiyu.asablo.jp)
182:デフォルトの名無しさん
08/05/04 19:11:48
>>181
私が、ブログを読み違えているのか。スコットの表示的意味論なんて、
何がなんだかさっぱり分からないことの、代表格だったので、
この際やさしい解説をききたいとおもったのだけれどw
183:デフォルトの名無しさん
08/05/04 19:18:33
全然話は違いますが、過去にこの本でOzが使われている
役割をALGOLが勤めていて、しかも、この本に匹敵する
ような読み応えのある本はありましたか。
ここ数十年、膨大な概念が発明されたから、過去のものは
大分シンプルだろうとおもいますが。そういう部分を相対的に
差し引いた評価で。
184:デフォルトの名無しさん
08/05/04 19:36:44
LispならWintonのArtificial Intelligenceがあったが。
あとSCIP以前と以後は全然違う。
185:デフォルトの名無しさん
08/05/04 19:38:30
>>182 こういうものを希望しているのか？
URLﾘﾝｸ(ja.wikipedia.org)
186:デフォルトの名無しさん
08/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:デフォルトの名無しさん
08/05/04 20:26:17
平行は幾何のそれとその関連概念の場合だな
188:デフォルトの名無しさん
08/05/09 09:31:25
>>187
日本語化したパラレルは並行か。私はパラレルクリスチャニア。
後にパラレルターンとなった。これくらいしか使わないな。
189:デフォルトの名無しさん
08/05/10 06:13:20
>>159
ちょっと質問です。
日本でConcurrentという言葉が強く意識されたのは、1980年代前半に
ConcurrentPrologが紹介された時ではないかと思います。極めて初期に
並行という言葉が使われたような気もするのですが、以後ほとんどこの
言語は並列論理型言語の枠組みのなかで語られ、この言語の周辺に
並行という言葉を見出すことができません。もしかするとこのスレタイ本の
訳語の混乱の一因も、ここら辺りにあるのかもしれません。それではなぜ、
この言語の作者であるShapioはParallelではなくて、Concurrentという
言葉を使ったのでしょうか。
190:デフォルトの名無しさん
08/05/10 22:58:16
OS方面では昔から使われてたと思うが＜Concurrent
Parallelってのはそれに対してハードウェア方面で使われてた気がする
191:デフォルトの名無しさん
08/05/11 06:34:33
Concurrentはなんか資源を奪い合う話の中で出てきていた気がする。
ホーアか誰かの論文になかったっけ。
192:デフォルトの名無しさん
08/05/11 06:41:23
>>191
食事する哲学者問題? これはダイクストラ
193:デフォルトの名無しさん
08/05/11 06:50:34
ConcurrentPrologもプロセス協調のためのガード機構を強調しての命名のような気がする。
194:デフォルトの名無しさん
08/05/12 06:33:56
P411に並列論理型プログラミング批判が出てくる。結構難解。
195:デフォルトの名無しさん
08/05/12 11:49:54
ドラフト版しかないから分からない…
196:デフォルトの名無しさん
08/05/12 13:06:48
Concurrent Pascalを忘れるな。
197:デフォルトの名無しさん
08/05/12 15:25:13
>>196
Brinch Hnsen "THE ARCHITECTURE OF CONCURRENT PROGRAMS" 1977年
の翻訳が1980年に日本コンピュータ協会から出ています。「並行動作プログラムの原理}。
この中に、Concurrent Pascal の詳しい紹介があります。
まえがきの4ページに
「コンカレントなプログラムとは同時に実行される幾つかのシーケンシャル・プロセスから成る。
それらのプロセスは共有する変数を介してデータを交換し、共通の仕事を共同して行なう。」
とあります。
198:デフォルトの名無しさん
08/05/12 15:26:01
すみません。 Hnsen -> Hansen です。
199:デフォルトの名無しさん
08/05/12 15:39:47
ConcurrentPrologにはシーケンシャルな部分は全くないので、ますます微妙です。
それから、これは私は知らないので質問のような形となりますが、
Concurrent Pascal は Ada の成立に強い影響を与えたのでしょうか。
200:デフォルトの名無しさん
08/05/12 18:41:16
Concurrent Pascalはmonitor系でしょ。
AdaはCSP系だよね。
あとConcurrent Prologは、
ガード節と残りの節は逐時的であることが保証されてる。
ガード節が充足しないと残りは実行されないので。
201:デフォルトの名無しさん
08/06/02 11:04:08
並列や並行に関してこんなのがありました。
URLﾘﾝｸ(www.cspjapan.org)
ここは、CSPが中心ですね。
202:デフォルトの名無しさん
08/07/01 16:47:15
保守
203:デフォルトの名無しさん
08/08/29 10:58:24
IA64でmozartのコンパイルができないよよよ