チャーチ=チューリングのテーゼ造句
例句与造句
- これがチャーチ=チューリングのテーゼと呼ばれている主張である。
- 現在では、これらは チャーチ=チューリングのテーゼ として1つにまとめられている。
- それら3つの特性は形式的に表現できないため、チャーチ=チューリングのテーゼは証明できない。
- なお、チャーチ=チューリングのテーゼが形式的な公理ではないため、これも形式的定義にできない。
- これらは相互に変換可能であり、等価であることから、チャーチ=チューリングのテーゼが提唱された。
- It's difficult to find チャーチ=チューリングのテーゼ in a sentence. 用チャーチ=チューリングのテーゼ造句挺难的
- R はしばしば、「効率的に計算可能な」関数のクラスと言われる(チャーチ=チューリングのテーゼ)。
- チャーチ=チューリングのテーゼでは、チューリングマシンよりも強力な計算モデルは存在しないと推測した。
- 強いAIの信奉者の多くは、精神はチャーチ=チューリングのテーゼで表される計算機械にあると信じている。
- このため計算理論では、算法あるいは算譜をチューリング機械と同一視する(チャーチ=チューリングのテーゼ)。
- チューリングマシン以外にも以下のような同等なモデル(チャーチ=チューリングのテーゼ参照)が使われている。
- チャーチ=チューリングのテーゼによれば、そのような計算を行える効率的な手続き(アルゴリズム)は存在しない。
- チャーチ=チューリングのテーゼによれば、チューリング還元は効率的に計算可能な還元の最も汎用的な形式である。
- チャーチ=チューリングのテーゼは、上述の3つの特性を持つ手続きで計算可能な関数を計算可能関数であると主張したものである。
- チャーチ=チューリングのテーゼによれば、計算可能関数は無限の時間と空間を持つ機械的計算機器を使って計算される関数である。
- 実際、チャーチ=チューリングのテーゼでは、チューリングマシンで判定できない言語を判定可能な計算モデルはないと推定されている。
更多例句: 下一页