Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
チャーチ=チューリングのテーゼ (英: Church-Turing thesis) もしくはチャーチのテーゼ (英: Church's thesis) とは、「計算できる関数」という直観的な概念を、帰納的関数と呼ばれる数論的関数のクラスと同一視しようという主張である。テーゼの代わりに提唱(ていしょう
ACM A・M・チューリング賞(ACM A.M. Turing Award)、通称チューリング賞(Turing Award)は、計算機科学分野の国際的な学会であるACMが、計算機科学分野における「永続的な重要性を持つ主要な業績」に対して毎年授与している賞である。
ィクス・電子工学研究者による非公式の研究者グループであり、チューリングテストの名前の由来であるアラン・チューリングもメンバーの一人だった。 特にチューリングは、少なくとも1941年から機械の知性の概念に取り組んでおり、1947年に「コンピュータの知性(computer
アラン・マシスン・チューリング(Alan Mathison Turing、英語発音: [tjúǝrɪŋ]〔音写の一例:テュァリング〕, OBE, FRS 1912年6月23日 - 1954年6月7日)は、イギリスの数学者、暗号研究者、計算機科学者、哲学者である。日本語において姓 Turing はテューリングとも表記される。
チューリング・パターン(Turing Pattern)とはイギリスの数学者アラン・チューリングによって1952年に理論的存在が示された自発的に生じる空間的パターンである。 2変数の連立偏微分方程式を考える。 ∂ u ∂ t = f ( u , v ) + D u ∇ 2 u , ∂ v ∂ t = g ( u , v ) + D v
110はチューリング完全であることがen:Matthew Cookによって証明された。 [脚注の使い方] ^ 「書けない」ではない。直截には書くことができなくても、可能なあらゆる手段のどれか一つによって実現できればよい。 ^ “Wolfram 2,3 Turing Machine Research Prize:
確率的チューリング機械(かくりつてきチューリングきかい、英: Probabilistic Turing machine)は、計算可能性理論において、各時点で何らかの確率分布に従って状態遷移をランダムに選択する非決定性チューリング機械の一種である。 各遷移の確率がいずれも等しければ、決定性チューリング機械にその文字セット(一般に
交替性チューリング機械(こうたいせいチューリングきかい、英: Alternating Turing Machine, ATM)は、非決定性チューリング機械 (NTM) の一種であり、複雑性クラス NP および co-NP の定義で使われる規則を一般化した計算受理規則を持つ。1976年、Chandra