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

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

4
なぜ計算可能な関数は再帰関数とも呼ばれますか？
計算可能性理論では、計算可能関数は再帰関数とも呼ばれます。少なくとも一見、日常のプログラミングで「再帰的」と呼ばれるもの（つまり、自分自身を呼び出す関数）と共通点はありません。 計算可能性の文脈における再帰の実際の意味は何ですか？これらの関数が「再帰的」と呼ばれるのはなぜですか？ 言い換えると、「再帰性」の2つの意味の関係は何ですか？
2
ベータ等価とは何ですか？
この質問は、コンピューターサイエンススタック交換で回答できるため、理論的なコンピューターサイエンススタック交換から移行されました。 7年前に移行され ました。 私が現在ラムダ計算で読んでいるスクリプトでは、ベータ等価は次のように定義されています。 -equivalence含まれている最小の等価である。≡ β → βββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta それが何を意味するのか分かりません。誰かがそれをより簡単な言葉で説明できますか？たぶん例を挙げて？ チャーチ・ラッサーの定理から続く補題のためにそれが必要です M Nの場合、M LおよびN \ twoheadrightarrow_ \ beta LのLがあります。≡β≡β\equiv_\beta↠β↠β\twoheadrightarrow_\beta↠β↠β\twoheadrightarrow_\beta
7
逆ポーランド記法の意義は何ですか？
私は18歳の生徒にコンピューティングを教えています。逆ポーランド記法を説明した後、なぜ公開試験に参加するのに十分な意味があるのか​​と尋ねられました。70年代の電卓の歴史的重要性について説明しましたが、実際にはこの問題に対処できませんでした。そのため、RPNの実用的または理論的な同時適用もあります。
5
計算とは正確には何ですか？
あいまいな意味での計算（コンピューターが行うこと）は知っていますが、より厳密な定義が必要です。 Dictionary.comの計算、計算、計算、計算の定義は循環的であるため、役に立ちません。 Wikipedia計算を「明確に定義されたモデルに従う任意のタイプの計算」と定義します。これは、計算を「変数を変更して、1つ以上の入力を1つ以上の結果に変換する意図的なプロセス」と定義しています。しかし、この定義には、通常は計算とは考えられていませんが、多くのアクションが計算として含まれているようです。 たとえば、これは、たとえば爆弾の爆発は計算であり、入力は点灯し、出力は爆発であるということを意味しませんか？ では、計算とは正確には何ですか？
1
「機械学習」という用語を生み出したのは誰ですか？
「機械学習」という用語を生み出したのは誰かを把握しようとしています。補助的な質問は、アーサー・サミュエルが1959年の「機械学習」の分野を次のように定義しているとして引用されている場所からです。 コンピューターが明示的にプログラムされなくても学習できるようにする研究分野 ？ この定義への多くの参照はインターネットで見つけることができますが、ソースを追跡することができませんでした。チェッカーに関する1959年の論文としてそれを挙げている人もいますが、そのような定義はありません。
6
「一方のコンピューターは他方のコンピューターよりも遅い」と学術的に言うにはどうすればよいですか？
私は研究論文を書いていますが、基本的に、あるマイクロコントローラーは他のマイクロプロセッサーよりも遅いと言わざるを得ません。しかし、単に「遅い」と言うだけでは、研究論文では適切ではないのではないかと心配しています。 私は正しいですか？1つのプロセッサが「遅い」とだけ言っても大丈夫ですか、それとも別のことを言う必要がありますか？他に何が言えますか？私が思いついたのは、一方が他方よりも「計算能力が低い」こと、またはマイクロコントローラーが「低計算能力」であることです。残念ながら、これらの表現はオンライン検索であまり人気がないようです。 だから、これを言うより良い、学術的に正しい方法は何でしょうか？
6
動的プログラミングとブルートフォースの違い
次の引用に出会ったとき、私はダイナミックプログラミングを読んでいました 動的プログラミングアルゴリズムは、問題を解決するために考えられるすべての方法を調べ、最適なソリューションを選択します。したがって、ダイナミックプログラミングは、インテリジェントなブルートフォースの方法であるとおおまかに考えることができます。これにより、考えられるすべてのソリューションを選択して、最良のソリューションを選択できます。問題の範囲がすべての可能なソリューションを通過することが可能であり、十分に高速である場合、動的プログラミングは最適なソリューションを見つけることを保証します 次の例を示しました たとえば、ラッシュアワー中に特定の都市で、できるだけ早くポイントAからポイントBに移動しなければならないとしましょう。ダイナミックプログラミングアルゴリズムは、トラフィックレポート全体を調べて、考えられるすべての道路の組み合わせを調べて、どちらの方法が最も速いかを示します。もちろん、アルゴリズムが終了するまでしばらく待たなければならない場合があり、そうして初めて運転を開始できます。あなたが進む道は最速のものになります（外部環境で何も変わらないと仮定すると） ブルートフォースは、最善の解決策を決定する前に、考えられるあらゆる解決策を試みています。 それがまたあればどのように動的ブルートフォースは異なるプログラミングされて最適なものを選ぶ前に、すべての可能な解決策を通過し、私が見る唯一の違いは、動的プログラミングは、アカウントに追加の要因（この場合は交通状況を）取ることです。 動的計画法はブルートフォース法のサブセットであると言ってもいいですか？
5
不動点、コンピューターサイエンスの世界で何を意味するのか
stackexchangeの質問と回答で不動点への参照に出くわし続け、Wikipediaなどのサイトで参照を見つけていることをWebで明らかに調べています。しかし、参考文献のどれも、固定小数点とは何であり、コンピューターサイエンスの世界では何を意味するのかという私の質問に実際に答えているものはありません。
3
例外階層の理論はありますか？
私は、何らかの方法で例外を持っている多数のプログラミング言語に精通していますが、2つの「病的な」傾向を目の当たりにしました。 例外の一般的なパターンや階層はないようです。基本的にすべての言語は独自のバージョンをロールし、例外が標準になった場合、標準で見つかる例外の種類はかなりarbitrary意的です（ほとんどの場合、ソースコードの読み取りなど、言語ツールの作成中に実装された例外デバッガーを起動するための文字列または例外、またはファイルが見つからない場合に発生する例外など） 言語で定義された例外がユーザープログラムで再利用されることはほとんどありません。通常、1つまたは2つの一般的な例外があります（たとえば、「実装しない」）。ほとんどの場合、プログラマは独自の例外を作成します。（たとえば、これを新しい数値型または新しいコレクション型の作成と比較してください）。 これは私にとってひどい省略のようです。ユーザープログラムでどのような種類のエラーが必要になるのか、誰も知りません。私は、数値型、コレクション、オブジェクトシステムなどに似た一種の素晴らしい階層が存在することを望んでいました。 さらに悪いことに、GoolgeとWikipediaはこの問題に関してほとんど助けを提供していません。これまでのところ、機能の例外に関する論文を見つけただけです。 このペーパーでは、遅延関数型プログラミングは組み込みの例外処理メカニズムを不要にするだけでなく、例外を使用するプログラムを開発および変換するための強力なツールを提供すると主張します。 （例外の機能理論、Mike Spivey、1988） しかし、例外は良いと思います。例外を使用するプログラムを変換したくはありません。逆に、例外の使用を無秩序にしたいのです。 質問： 例外の理論はありますか？もしそうなら、それは何と呼ばれていますか？基礎となるものは、もしあれば、その基礎となるものは何ですか？
3
タイピングルールの読み方
私は言語研究論文をどんどん読み始めました。私はそれが非常に興味深く、プログラミング全般についてもっと学ぶ良い方法だと思います。しかし、コンピューターサイエンスの理論的背景に欠けているため、通常は常に苦労するセクションがあります（たとえば、このパート3を取り上げます）：タイプルール。 この分野で始めるのに役立つ良い本やオンラインリソースはありますか？ウィキペディアは信じられないほど曖昧であり、初心者を本当に助けません。
3
nullノードを表すためにNILを使用する目的は何ですか？
私のAlgorithms and Data Structuresコースでは、教授、スライド、および本（Introduction to Algorithms、第3版）NILは、たとえば存在しないノード（ツリー内）の子を示すためにこの単語を使用しています。 かつて、講義中NILに、クラスメートが言ったのではなく、と言ったのですが、null教授は彼を修正しましたが、教授がこの言葉を強調する理由がわかりません。 人々NILがnull、またはnone、または他の単語の代わりに単語を使用する理由はありますか？ないNIL他の人が持っていないことをいくつかの特定の意味がありますか？歴史的な理由はありますか？ また、ウェブのいくつかの場所で、たとえばのnull代わりに単語が使用されているのを見たことがあることに注意してくださいNIL。通常、この最後の単語が使用されます。
3
「ソフト」リアルタイムオペレーティングシステムが実際に提供する保証
「ハード」リアルタイムオペレーティングシステムとは何かを知っていると思います。これは、アプリケーションプログラマとの契約を提供するスケジューラを備えたオペレーティングシステムです。アプリケーションは、各リソース割り当て要求に期限を提供します。 場合は期限の要求がある実行可能な、スケジューラは、各リソースが締め切り前に要求しているアプリケーションに割り当てられることを保証します。この保証は、アプリケーションプログラマが特定のリクエストの最大レイテンシと最小スループットについて推論できるようにするのに十分です。 「ソフト」リアルタイムシステムについて私が見つけたすべての定義は、私には無意味に思えます。 ウィキペディアによると 結果の有用性は期限後に低下し、システムのサービス品質が低下します。 うーん。はい。その基準では、Windows 95はソフトリアルタイムシステムであり、3BSDもLinuxもそうでした。ウィキペディアは素晴らしい情報源ではありませんが、Googleの次のヒット数はそれほど良くありません。例えばhttp://users.ece.cmu.edu/~koopman/des_s99/real_time/は言います ソフトリアルタイムシステムでは、まれにしか発生しないピーク負荷での動作の低下は許容されます。 それは契約ではありません、それは何も言うことのない派手な方法です。 実際のオペレーティングシステムによって提供される実際のソフトリアルタイムの保証/契約の例は何ですか？ 私はフォームの答えを探しています： （OS名）でプログラマーが（プログラマーが何をする必要があるか）を行うと、オペレーティングシステムは（システム保証を）保証します。
2
スコット連続関数：代替定義
私はこのプロパティに本当に苦労しています： ましょであり、コヒーレンススペースと単調関数です。は、が有向集合であるようなすべての場合にのみ連続です。X,YX,YX,Yf:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y)ffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X)DDD したがって、有向集合は次のように定義されます POSET は、などの有向集合でやです。はクリークを表します：コヒーレント。D⊆D⊆D \subseteq ∀x,x′∈D∀x,x′∈D \forall x, x' \in D ∃z∈D∃z∈D \exists z \in D x⊆zx⊆z x \subseteq zx′⊆zx′⊆zx' \subseteq z Cl(X)Cl(X)Cl(X) {x⊆|X|∣a,b∈x⇒a{x⊆|X|∣a,b∈x⇒a\{x \subseteq |X| \mid a,b \in x \Rightarrow ab}b}b \} 多くの本は、スコット連続関数の定義としてそれを与えていますが、残念ながら私の先生ではありません。彼はこの連続的な定義を与えました： f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f : Cl(X) \rightarrow Cl(Y)は、単調かつ場合、連続です。。 ここで、モノトーンは次のように定義されます …
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.