タグ付けされた質問 「terminology」

特定の概念をどのように理解する必要があるか、および表記法の規則についての質問。

1
「分散ハッシュテーブル」という用語の由来
私は現在、コンピューターサイエンスの学位論文のために、分散ハッシュテーブルの領域に関するトピックを研究しています。当然のことながら、私は質問に来ました。分散ハッシュテーブルという用語の由来です。(私はそれをハッシュテーブルの配布から単に導出することはロケット科学ではないことを知っていますが、誰かがどこかでそれを考え出したに違いありません)。 私が読んだほとんどの論文は、一貫したハッシュとそれを利用した最初のアルゴリズムの1つ(Chordなど)に関するオリジナルの論文を参照していました。私は80年代に分散データベースに関する多くの研究があったことを知っているので、この用語、またはおそらくその背後にある考えは、15年以上古いものである必要があると思います。 この質問の背後にある動機は、以前の日付と、おそらく同様のアイデアの別の用語を知っていると、私の研究のために収集できる有用な情報の範囲が広がる可能性があるということです。たとえば、他の人が私がしたいことと同じように何をしたか、どこで失敗したか。など 構造化オーバーレイネットワークを検索キーワードとして使用して、このトピックについてさらに詳しく調べようとしましたが、結果の定義/論文も非常に若いため、結局、研究トピックはそれほど古くないかもしれません。 分散ハッシュテーブルや構造化オーバーレイネットワークのトピックに関する以前の研究(90年代以前かもしれません)を知っている人はいますか?私がもっと歴史的な論文につながるようなキーワードを聞いてよかったです。

6
すべての言語に意味的および論理的なエラーがある可能性はありますか?
私はPHPについて読んでおり、多くの著者がセマンティックエラーと論理エラーを別々に言及しています。セマンティックエラーの例として、不正な数のパラメーターで呼び出される関数が提供されます。これはパーサーによってキャッチされませんが、実行時にエラーをスローします。 しかし、C ++などの言語では、これはコンパイラーによってキャッチされます。その時それは構文エラーだと思います。意味的エラーと論理的エラーの違いは何ですか? たとえば、「コンピュータサイエンティストのように考える方法」では、著者は「論理エラー」と「意味エラー」を同じ意味で使用しています。一方、Visual Basic .NETでは。Primer Plusでは、「論理エラー」は「セマンティックエラー」から分離されています。

2
このグラフ操作に正式な名前はありますか?
ある方法でグラフを変更する小さな関数を書いていて、その操作に正式な名前があるかどうか疑問に思っていました。この操作は2つの異なるエッジを取り、各エッジの既存のノード間に新しいノードを挿入してから、2つの新しいノード間にエッジを追加します。例えば: add new nodes a and b to the graph let edge1 = (x,y), let edge2 = (u,v) delete edge (x,y) create edges (x,a), (a,y) delete edge(u,v) create edges(u,b), (b,v) create edge (a,b)


2
行列乗算プログラムの入れ子ループの不変式
Hoareロジックを使用して2つの行列を乗算するためのプログラムの正確性を証明することについて、卒業論文を作成しています。これを行うには、このプログラムの入れ子ループの不変式を生成する必要があります。 for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end end 私は最初に内部ループの不変式を見つけようとしましたが、今までは本当のものを見つけることができません。上記のプログラムの不変式を見つけるのを手伝ってくれる人はいますか?
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

2
2つの要素は常に部分的に順序付けられたセット内の関係にありますか?
部分的に順序付けられたセットでは、セットから任意の2つの要素を常に順序付けできますか?または、セット内の2つの要素が互いに順序関係を持たない可能性はありますか? たとえば、3つの要素ととがある場合、またはどちらを保持する必要がありますか?{a,b,c}{a,b,c}\{a, b, c\}a≤ba≤ba \leq ba≤ca≤ca \leq cb≤cb≤cb \leq cc≤bc≤bc \leq b これは、プログラミング言語のセマンティクス(whileループの表記)の固定小数点理論を理解するために必要です。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.