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 が計算可能（帰納的、決定可能）であるとは、数

PCP (計算複雑性理論)

計算複雑性理論における PCP とは、確率的検査可能証明（probabilistically checkable proof）系を持つ決定問題の複雑性クラスである。計算複雑性理論において、PCP 系は対話型証明系の一種と見ることができ、証明者がメモリを持たない神託機械であり、検証者が多項式時間の乱

RP (計算複雑性理論)

場合によってはより便利と思われる RP の定式化として、少なくともある(入力長に依らない)一定の割合の計算経路群が受理する場合に限って機械全体としてその入力を受理する非決定性チューリング機械が認識できる問題の集合という定義がある。一方、NP は少なくとも一つの計算経路だけが受理すればよいのであって、その割合は指数関数的に小さい。このように定式化すると、RP

P (計算複雑性理論)

計算量理論におけるPとは、多項式時間（polynomial time）で解ける判定問題の集合である。判定問題のうち、ある決定性チューリング機械によって多項式時間で解かれるものの全体をPで表す。 Pはしばしば、「効率的に解ける」問題のクラスとして扱われる。しかしながら、RPやBPPといった乱択で解

The list of you are commenting

コネ: 指利益关系

manjuhuwanqing commented

劇物: 毒物

Lee commented

劇物: 毒物

Lee commented

話題作: 爆款

Lee commented

どうりでずっとギルドにいるわけだ。: 「どうりで」：表示“怪不得”或“难怪”，用于表达对某个现象或结果的理解或感叹，常带有恍然大悟的语气。