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

いくつかのソースを読んだ後も、ユーザーレベルとカーネルレベルのスレッドについては混乱しています。 特に： スレッドは、ユーザーレベルとカーネルレベルの両方に存在できます。 ユーザーレベルとカーネルレベルの違いは何ですか？

33 operating-systems  terminology  concurrency  os-kernel 

Michael Sipserによる計算理論入門の最初の章を終えたところで、有限オートマトンの基本について説明しています。 彼は、通常の言語を、有限オートマトンで記述できるものとして定義しています。しかし、私は彼が通常言語が「通常」と呼ばれる理由を説明する場所を見つけることができませんでした。この文脈における「通常」という用語の起源は何ですか？ 注：私は初心者なので、簡単な言葉で説明してみてください！

31 formal-languages  regular-languages  terminology  finite-automata  history 

文脈自由文法とは何かについてはオンラインで多くの定義がありますが、私の主な問題を満足させるものはありません。 どんな文脈から解放されていますか？ 調査するために、「コンテキスト依存文法」をグーグル検索しましたが、「コンテキスト」が何であるかを見つけることができませんでした。 誰かcontextがこれらの名前でこの用語が何を指しているのか説明してください

30 terminology  context-free  formal-grammars 

古典的なコンピューターサイエンスと「MS-Windowsの使用に長けている」との違いを英語の主要な人に説明するのに良いメタファーまたは例は何ですか コンピュータサイエンス コンピュータープログラミング コンピューターを使用して 3つの大きく異なるもの。ほとんどの人は、コンピューターサイエンスとは何かさえ知りません。彼らは「コンピューター」という言葉を見るだけです。したがって、「彼はコンピューターサイエンス専攻です」は「彼は私のプリンターを接続できる」と解釈できます。または、彼は「コンピューターに長けている」。さらに少ない人は、コンピュータープログラミングとコンピューターサイエンスの違いを知っています。 コンピュータサイエンスは計算理論です。CSは、実際のコンピューターがなくても学習できます。CPUマイクロアーキテクチャ。数値の並べ替え方法、リストの走査方法など。ステートマシン。アルゴリズム、big（Oh）など。プログラミング言語またはコンパイラの設計方法。 プログラミングとは、コンピューター科学者が作成した言語とコンパイラーでコードを作成し、アプリケーションを作成することです。 最後に、コンピューターを使用しています（GUI、マウス、キーボードを使用します。インターネット、MS-Officeなど） しかし、これらの3つはすべて、素人でも同じ意味で使用されています。 古典的なコンピューターサイエンスと「MS-Windowsの使用に長けている」との違いを英語の主要な人に説明する良い例えです。

30 terminology  education 

ランダム化アルゴリズムと非決定的アルゴリズムの違いと関係は何ですか？ ウィキペディアから ランダム化されたアルゴリズムは、そのロジックの一部として、ランダムの程度を採用するアルゴリズムです。アルゴリズムは通常、ランダムビットのすべての可能な選択に対して「平均的なケース」で良好なパフォーマンスを達成することを期待して、その動作を導く補助入力として均一にランダムなビットを使用します。正式には、アルゴリズムのパフォーマンスは、ランダムビットによって決定されるランダム変数になります。したがって、実行時間または出力（あるいは両方）はランダム変数です。 非決定的アルゴリズムは決定論的アルゴリズムとは反対に、異なる実行に異なる動作を示すことができるアルゴリズムです。アルゴリズムが実行ごとに異なる動作をする可能性があるいくつかの方法があります。同時アルゴリズムは、競合状態のために異なる実行で異なる実行することができます。確率的アルゴリズムの振る舞いは、乱数ジェネレータによって異なります。非決定的な多項式時間の問題を解決するアルゴリズムは、実行中の選択に応じて、多項式時間または指数時間で実行できます。 ランダム化アルゴリズムと確率的アルゴリズムは同じ概念ですか？ はいの場合、ランダム化アルゴリズムは一種の非決定的アルゴリズムですか？

30 algorithms  terminology  computation-models  nondeterminism  randomness 

私はコンパイラをしばらく研究しており、文法の「コンテキスト」の意味と、文法が「コンテキストフリー」であることの意味を検索していますが、結果はありません。 だから誰でもこれを助けることができますか？

29 terminology  context-free  formal-grammars 

ウィキペディアと私が見つけた他のソースはvoid、空のタイプではなくユニットタイプとしてリストCのタイプを見つけました。void空の/下の型の定義によりよく適合するように思えるので、この混乱を見つけます。 void私が知る限り、値は存在しません。 戻り値の型がvoidの関数は、関数が何も返さないため、何らかの副作用しか実行できないことを指定します。 タイプのポインターvoid*は、他のすべてのポインタータイプのサブタイプです。また、void*C との間の変換は暗黙的です。 最後の点voidに、空の型であることの引数としてのメリットがあるかどうかはわかりvoid*ませんvoid。 一方、voidそれ自体は他のすべてのタイプのサブタイプではありません。これは、タイプがボトムタイプであるための要件であると言えます。

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

参照なしで「真の同時実行セマンティクス」や「真の同時実行等価性」などのフレーズをよく耳にします。これらの用語は何を意味し、なぜ重要なのですか？ 同時実行の真の等価性の例とその必要性は何ですか？例えば、どの場合に、それらはより多くの標準的な同等物（二刺激、微量同等物など）よりも適用可能ですか？

28 terminology  reference-request  concurrency 

チューリングマシンに関するプレゼンテーションを行っています。チューリングマシンを紹介する前に、FSMの背景を説明したかったのです。問題は、何が互いに非常に違うのか本当に分からないことです。 私が知っているのは違います： FSMは、対応する条件に応じて、チューリングマシンが読み取りと書き込みを行うヘッドを備えた無限の「テープ」で動作する状態に応じて連続した状態を持ちます。 FSMにはエラーが発生する余地があります。これは、終了しない状態に簡単に陥ることができるのに対して、チューリングマシンには戻って物事を変更できるのでそれほど問題ではないからです。 しかし、それ以外には、チューリングマシンをFSMよりも優れたものにするほど多くの違いは知りません。 手伝ってくれませんか？

27 terminology  turing-machines  finite-automata  machine-models 

英語の「含意」は論理演算子「含意」と同じことを意味していないようで、ほとんどの場合、「OR」という言葉は日常言語での「排他的OR」を意味します。 2つの例を見てみましょう。 今日が月曜日の場合、明日は火曜日です。 これは本当です。 しかし、次のように言うと： 太陽が緑の場合、草は緑です。 これも事実とみなされます。どうして？この背後にある自然英語の「論理」とは何ですか？それは私の心を吹き飛ばします。

24 terminology  logic  first-order-logic  propositional-logic 

時間の複雑さがO（mn）で、mとnが2つの入力のサイズである関数がある場合、その時間の複雑さを「線形」（mとnの両方で線形であるため）または「2次」（それは2つのサイズの製品だから）？または、他の何か？ O（m + n）も線形ですが、はるかに高速であるため、「線形」と呼ぶのは紛らわしいと感じますが、各変数で線形であるため、「二次」と呼ぶのも奇妙だと感じます。

24 terminology  asymptotics  landau-notation 

最近のCACMの記事[1]で、著者は段階的な機能の実装を提示しています。彼らはそれがよく知られているかのようにこの用語を使用し、どの参考文献も明らかな紹介のようには見えません。 彼らは簡単な説明をします（強調鉱山と参照番号が変更されました;オリジナルでは22です） プログラム生成のコンテキストでは、Taha and Sheard [2] によって確立されたマルチステージプログラミング（MSP、略してステージング）により、プログラマーはプログラム式の評価を後のステージに明示的に遅らせることができます（したがって、式のステージング）。現在のステージは、次のステージのプログラムを構成（および場合によっては実行）するコードジェネレーターとして効果的に機能します。 ただし、Taha and Sheardは次のように書いています（強調強調）： マルチステージプログラムは、コードの生成、コンパイル、実行をすべて含むプロセスであり、すべて同じプロセス内にあります。多段階言語は多段階プログラムを表現します。ステージング、したがってマルチステージプログラミングは、実行時の解釈オーバーヘッドを払わない汎用ソリューションの必要性に対処します。 彼らはさらに、ステージングが効果的であることを示す古い作品へのいくつかの参照に進み、それは概念がさらに古いことを示唆しています。彼らは用語自体の参照を与えません。 これらの記述は、矛盾していないにしても、直交しているように見えます。RompfとOderskyが書いたものは、TahaとSheardが提案したものの応用かもしれませんが、それは同じことに関する別の視点かもしれません。彼らは重要な点は、実行時にプログラムが自分自身の一部を（再）作成することであることに同意しているようですが、それが必要な能力であるか、十分な能力であるかはわかりません。 それでは、このコンテキストでのステージングの解釈は、それぞれステージングとは何ですか？この用語はどこから来たのですか？ 軽量モジュラーステージング： T. RompfおよびM. Oderskyによるランタイムコード生成およびコンパイル済みDSLへの実用的なアプローチ（2012） W. TahaおよびT. Sheardによる明示的な注釈付きのMetaMLおよびマルチステージプログラミング（2000）

24 terminology  programming-languages  meta-programming 

この質問は、Computer Science Stack Exchangeで回答できるため、Stack Overflowから移行されました。 7年前に移行され ました。 最適化の問題の複雑さに関して出くわした用語に若干混乱しています。アルゴリズムのクラスでは、NP完全として記述された大きな節約の問題がありました。しかし、最適化問題の文脈でNP完全という用語が何を意味するのか正確にはわかりません。これは、対応する決定問題がNP完全であることを意味するだけですか？そして、それは最適化の問題が実際にはもっと難しいかもしれないことを意味しますか（おそらくNPの外で）？ 特に、NP完全決定問題は多項式時間検証可能ですが、対応する最適化問題の解決策は多項式時間検証可能ではないようです。それは、問題が実際にはNPにないことを意味しますか、それとも多項式時間検証可能性はNP決定問題の特性に過ぎないのですか？

24 complexity-theory  np-complete  terminology 

これらの用語は私を混乱させます。私が理解するように SATソルバー：命題論理の充足可能性を決定します（DPLLまたはローカル検索を使用）。 決定手順は、特定の決定可能な一次理論の充足可能性を決定する手順です。 SMTソルバーは、SATソルバー+決定手順です。 定理証明者は、KeYツールなどのダイナミックロジックのようなものを示します。 制約ソルバー：わかりません。 しかし、Z3を定理証明者と呼ぶ人々がいます。したがって、これらの用語をどのように区別するかはわかりません。そして、それらすべての最も一般的な用語は何ですか？ありがとうございました。

23 algorithms  terminology  reference-request  decision-problem 

私は非常に多くの出版物でそれらの言葉を読みましたが、オブジェクト検出とセマンティックセグメンテーションとローカリゼーションの違いを明確にする用語のいくつかの素晴らしい定義が欲しいです。定義のソースを提供できると便利です。

23 terminology  computer-vision