Japanese Dictionary - Look up vocabulary, translate Japanese

Vocabulary

Kanji

Example

Grammar

Japanese - Japanese

Detail word “計算可能性理論”

計算可能性理論

計算可能性理論（けいさんかのうせいりろん、英: computability theory）とは、チューリングマシンなどの計算模型でいかなる計算問題が解けるか、またより抽象的に、計算可能な問題のクラスがいかなる構造をもっているかを調べる、計算理論や数学の一分野である。理論計算

Words related

計算理論

計算理論（けいさんりろん、Theory Of Computation）または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算（Computation）とは、数学的に表現できる、あらゆる種類の情報処理のこと。

計算可能数

これらの例は実際のところ、定義可能かつ計算不能な数の無限集合を定義し、各万能チューリングマシンごとに一つずつ与える。実数が計算可能であるとき、かつその時に限り、自然数の集合を特性関数として見なしたとき計算可能である。計算可能実数全体は (およびそのうち可算な稠密順序で端点の無い部分集合は)

高性能計算

高性能計算、ハイ・パフォーマンス・コンピューティング（high-performance computing、HPC）は、計算科学のために必要な数理からコンピュータシステム技術までに及ぶ総合的な学問分野である。 1980年代以前はベクトル計算機が主流であったが、1990年代以降ではスカラー計算

計算複雑性理論

計算複雑性理論は計算可能関数の計算の複雑さを扱う。計算理論のもう一つの重要な分野である計算可能性理論では問題の解法があるかどうかだけを扱い、その複雑さや必要とする計算資源量は問わない点が異なる。具体的には、計算複雑性理論

計算木論理

計算木論理（けいさんきろんり、Computational Tree Logic、CTL）は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経路のうちの1つが実際に現実の経路となる。 ϕ ::= F | T | p | ( ¬ ϕ ) | (

可能性

可能性（かのうせい）ウィクショナリーに関連の辞書項目があります。可能性 (哲学用語) 物事の現実に対する可能な確率結果がプラスイメージの時よく使われる ⚠「手を洗わないと風邪をひく“可能性“がある」など、マイナスイメージではあまり使われない。 (数学・工学) ありそうな確率。「可能性がある」あ

計算可能関数

手続きは値を返す場合には有限の空間（領域）を使って計算するが、使用する空間の量に制限はない。手続きが必要とするだけの空間（記憶領域）が与えられるものとされる。計算複雑性理論では、計算に必要な時間や空間に何らかの前提を設けて関数を研究する。自然数の集合 A が計算可能（帰納的、決定可能）であるとは、数

実現可能性 (論理学)

実現可能性は、研究対象の形式体系で証明可能なステートメントはすべて実現可能であるという定理から始まる。ただし、実現子は論理式について通常、形式的証明が直接提供するよりも多くの情報を提供する。実現可能性は、直観主義的証明可能性

PP (計算複雑性理論)

の定理（英語版）と呼ばれている。これは PP に属する問題を解くのがいかに困難であるかの証拠である。クラス #P は、P#P = PPP であり、P#P も PH を包含するため、PP と同程度に困難と考えられる。 PP は TC0 を厳密に包含

The list of you are commenting

label.error_loading_comments