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

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

4
「仮説」とはどういう意味ですか？
関数の引数が仮引数と呼ばれているのはどういう意味ですか？私はこの用語をFortran以外で使用したことはありませんが、コンピューターサイエンスの一般用語ですか？ダミーとして渡され、ダミーとして渡されない引数の例は何ですか？ 私はこの定義を見つけましたが、わかりませんが、仮引数は参照によって渡される変数のようです。この場合、Fortranではすべての変数がダミー変数ですか？（混乱） 編集：私は次のエッセイに出くわしただけで、Fortranの引数/関数呼び出しのテモノロジーをよりよく理解するのに役立ちました：Dortor Fortran：引数のためにここに来ました
1
俳優モデルのチューリングマシンのような形式
チューリングマシンには、正式なシンボルアルファベット、状態、および遷移規則に基づいて、計算の実行方法が記述されています。 アクターモデルは、チューリングマシンよりも強力な計算モデルと呼ばれることがあります（計算できるものではなく、他の側面）。 アクターモデルは、計算モデルとしての本格的なターニングマシンの代替品ですか？ アクターモデルにも、チューリングマシンに似たシンボルベースの正式な計算の説明がありますか？ アクターはチューリングマシンと同等と見なされますか？各メッセージは順次（そしてアトミックに）処理されるためですか？ チューリング機械に基づく多くの理論的な結果があります。たとえば、停止問題、決定可能性、ゲーデルの不完全性定理との関係などです。 これらの証明は、俳優モデルに正式に一般化できますか？これは行われましたか？
1
スパイクニューラルネットワークと初期世代のANNの本質的な違い
私はさまざまな論文、主にマース（1997）からスパイキングニューラルネットワークをオンラインで研究しています。レートコードと見なされている以前のANNとは対照的に、SNNのパルスコードが何であるかを完全に理解しているわけではありません。私は神経科学のバックグラウンドを持っているので、用語と比率を理解しています。実際の実装について質問しています。 各ニューロンがSNNの現在の状態を更新するとき、それはすべてのシナプス前ニューロンの履歴全体を扱い、最後のステップだけではないという事実の実際的な違いはありますか？それは、前世代のANNに欠けている時間的特性を与えるものですか？
3
プログラミングモデルとプログラミングパラダイムの違い？
プログラミングモデルとプログラミングパラダイムの関係と違いは何ですか？（特に、プログラミングモデルとプログラミング言語のプログラミングパラダイムについて話すとき。） ウィキペディア は1で私の質問に答えようとします： プログラミングパラダイムは、コンピューターシステムを抽象化したプログラミングモデルと比較することもできます。たとえば、「フォンノイマンモデル」は、従来のシーケンシャルコンピュータで使用されているプログラミングモデルです。並列計算の場合、通常、プロセッサを相互接続するさまざまな方法を反映した多くの可能なモデルがあります。最も一般的なものは、共有メモリ、メッセージパッシング付きの分散メモリ、またはこの2つのハイブリッドに基づいています。 しかし、私はそれを理解していません： フォンノイマンモデルはhttps://en.wikipedia.org/wiki/Von_Neumann_architectureの建築モデルであることを理解しているため、ウィキペディアの引用に「「フォンノイマンモデル」はプログラミングモデルである」と記載されているのは間違い ですか。 並列プログラミングモデルは「通常、プロセッサを相互接続するさまざまな方法を反映していますか」？それとも、代わりに「プロセッサを相互接続するさまざまな方法を反映した」並列アーキテクチャモデルですか？ 1の質問に答えるために、プログラミングモデルとは何かを明確にできますか？ プログラミング言語またはAPIライブラリによって提供/実装されたプログラミングモデルであり、そのような実装は一意ではないのは正しいですか。 Rauberの並列プログラミングの本、「プログラミング・モデル」、「アーキテクチャ・モデル」以上の順番である「計算モデル（すなわち計算モデル）」上記の抽象化です。プログラミングモデルは、並列コンピューティングで使用されるだけでなく、プログラミング言語またはAPIライブラリでも使用されていると思います。
1
ノードにポートがあるグラフの用語
グラフは、数学、コンピュータサイエンス、エンジニアリングの分野で明確に定義された概念であり、それらに依存しています。ただし、特定のドメインまたはアプリケーションで（有向）グラフを実際に実装するには、エッジが頂点を接続するだけでなく、これらの頂点に存在するポートを接続する必要がある場合があります。有向グラフでは、これは入力ポートと出力ポートの分離を意味します。通常、エッジは出力ポートから始まり、入力ポートに到達します。 例は簡単に見つけることができます：シェーダーデザインツール、コンパイラ理論のシグナルフローグラフ、電子スキーマ、高レベルETLスクリプト...これらのツールはすべて、頂点に名前付きまたは異なる入力と出力が必要です。 さて、私の質問です。これらの種類のグラフに理論と命名法はありますか、またはこれは工学科学の「実装問題」と見なされていますか？私の質問からお気づきのように、私はこのようなもの（「ノードポート付きのグラフ」）が何であるかを正確に特定することはできません。その答えが知りたいです。
10
コンピュータプログラムとアルゴリズム
プログラムにはアルゴリズムが含まれていると言われていますが、その定義を参照すると、アルゴリズムは特定のタスクを実行するために記述された一連の命令であり、コンピュータープログラムはコンピューターで（一部の）タスクを実行するための一連の命令でもあります。 では、プログラムとアルゴリズムの違いは何ですか？これも一種のアルゴリズムですか？ 実際、私はアルゴリズムとコンピュータープログラムの正式な定義を探しているので、それらを互いに区別したり、プログラム内でアルゴリズムを識別したりできます。 更新：私はウィキペディアで非公式な定義（少なくとも構文的には）によってプログラムがアルゴリズムであることに気付きました。 非公式の定義は、「一連の操作を正確に定義する一連のルール」とすることができます。これには、数値計算を実行しないプログラムを含むすべてのコンピュータプログラムが含まれます。一般に、プログラムは最終的に停止する場合のアルゴリズムにすぎません。
2
順列のハミング距離の代替
私は2つの文字列を持っていますが、一方は他方の順列です。必要な置換の最小数を見つける代わりに、文字列aから文字列bに移動するのに必要な最小数の転座を見つけるハミング距離の代替案があるかどうか疑問に思いました。 私の文字列は常に同じサイズで、エラーや置換がないことを知っています。 例： 1 2 3 4 5 3 2 5 4 1 これは私に2つを与えるでしょう： 3 2 5 4 1 (start) -> 3 2 1 4 5 -> -> 1 2 3 4 5 これがすでにRに実装されている場合は、さらに良いでしょう。
4
多項式時間の単純な（非数学的な）定義？
計算複雑性理論は複雑です。多項式時間についての私の理解は、非決定論的多項式時間などの他の時間複雑性クラスとの関係です。これはエンジニアや数学者には問題ありませんが、私は一般の人に適した簡単な用語の定義を探しています。 多項式時間を「（計算）演算で測定された時間」としてキャストするのは間違っているでしょうか？ 明らかに、さまざまな時間複雑度クラスの後続の資格があり、時間複雑度は問題のサイズに基づいた比率であることが適切かもしれませんが、ここでも、ここで求めているものよりも少し複雑です。
2
意味保存の健全性（または正確性）または完全性
用語をある言語から別の言語に変換する場合、直感的に望ましいプロパティは、セマンティクスの保持です（たとえば、ここではCPS変換に使用されます）。 s⇓v⟹c(s)⇓c(v)s⇓v⟹c（s）⇓c（v） s \Downarrow v \implies c(s) \Downarrow c(v) しかし、これを古典的な用語の正しさ（または健全性）と論理システムの完全性と一致させることで、少し問題があります。通常、私は上記のステートメントをの完全性プロパティと見なし（正しさの定義を逆にします）。ccc ただし、直感的には、コンパイラーは完全ではなく正しいはずです（たとえば、型チェックは正しいプログラムを除外することが多いため）。上記の文の逆は、が単射である場合にのみ当てはまります。たとえば、ソース言語にブールとその演算が含まれていて、コンパイルでChurch-encodingを使用して置き換えられた場合、ターゲット言語はブールリテラルからコンパイルされた用語のブール演算を評価できます。ソース言語が評価できないラムダ抽象化。ccc 上記のステートメントがの完全性プロパティであると仮定するのは正しいのでしょうか？ccc 私はまた、非単射コンパイラは通常正しくないという私の結論で正しいのでしょうか？
2
メンバーが他のセットの最大数に含まれている固定サイズのセットを見つける
ゲーテインスティトゥートで初心者レベルの外国語教授と出会い、できるだけ多くの学生とコミュニケーションをとるために学生が話す最も一般的な5つの言語を学んだことから、私は問題について考えていました。 有限数の人々がいて、それぞれがいくつもの言語を話しているとします。問題の目的のために、実際の言語を複雑にするいくつかのことを無視します（たとえば、人々は複数の言語を話しますが、異なるレベルでは、1つの言語を理解する人々は密接に関連する言語を理解できるかもしれません）言語など）。 したがって、たとえば： P 1が話す{English, German}。 P 2が話す{Spanish, Italian, French}。 P 3が話す{Mandarin, English}。 P 10000が話す{Afrikaans, Swahili, English}、など。 できるだけ多くの人に理解していただけるように翻訳したい文書を書いています。残念ながら、私の予算は限られているため、N言語にしか翻訳できません。 与えられたNの値に対して、意図した母集団から最大数の人々に到達するためのN言語の最適セットをどのように計算しますか？ この問題は、集合論/組み合わせ論の問題として簡単に一般化できるように聞こえるので、誰かが以前にそのような何かに取り組んだことがあると私は確信しています。既存の文献を見てみたいのですが、それを見つける方法がわかりません。 このタイプの問題に名前はありますか？そうでない場合は、別の既知の問題に削減できますか？
3
チューリングマシンの標準定義
私は「オートマトンと形式言語理論」に関する2つの有名な本に従ってきました。 Micheal Sipserの本 ジェフリー・ウルマンとジョン・ホップクロフトの本 どちらの書籍でも、チューリングマシンのタプルレベルの定義は互いに異なります。抽象レベルの動作は同じですが、詳細は異なります。なぜ標準的な定義がないのですか？他のいくつかの本でさえ、チューリング機械を異なる方法で説明しています。 これらのマシンで同じアルゴリズムの時間の複雑さを測定しようとすると、正確な時間も異なります。著者/科学者が1つの標準的な定義に同意していないのはなぜですか？
2
なぜ最小優先度キュー（ヒープベース）で、「セットキー」だけでなく「減少キー」と呼ばれるのですか？
min-priorityキューで減少キーを呼び出すとき、基本的にキーを設定しているので、誤って高いキーを置くことができますよね？では、なぜ「set-key」または「update-key」と呼ばれないのでしょうか。なぜ（ウィキペディアや他のソースによると）最小優先度キューに「減少キー」があり、最大優先度キューに「増加キー」があるのですか？「set-key」の両方がないのはなぜですか。それを減らすか増やす場合は、ヒーププロパティを不変に保つために何をすべきですか。 つまり、最小ヒープで減少キーを呼び出して、より大きな値を指定するとどうなるでしょうか。例外をスローしますか？「set-key」と呼んで、あらゆる種類の値を処理しないのはなぜですか。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.