検索結果

'''チューリング・パターン'''（Turing Pattern）とはイギリスの数学者[[アラン・チューリング]]によって1952年に理論的存在が示された自発的に生じる空間的パターンである。 * [[アラン・チューリング]] …

…g-en-short|Turing reduction}}）は、[[計算複雑性理論]]における[[還元 (計算複雑性理論)|還元]]の一種である。[[アラン・チューリング]]の名がつけられた還元であり、問題 ''A'' が問題 ''B'' にチューリング還元されるとは、''B'' が容易に解けると仮定したときに ''A' [[アラン・チューリング]]（1939年）は、神託機械を用いて相対計算可能性（当時は相対還元可能性と称していた）に初めて形式的な定義を与えた。1943年と1952年、[[スティ …

Good–Turing推定は[[アラン・チューリング|アラン・チューリング (Alan Turing)]] と彼の助手I. J. グッド (I. J. Good)により、[[第二次世界大戦]]中[[ブレッチリー・パーク|ブレッ …

[[アラン・チューリング]]は「ナチュラル・{{仮リンク|バン (単位)|en|ban (unit)|label=バン}}(natural ban)」と呼んでいた<ref>Ho …

[[アラン・チューリング]]は1936年、停止性問題を解くアルゴリズムは存在しないことをある種の[[カントールの対角線論法|対角線論法]]のようにして証明した。 [[Category:アラン・チューリング]] …

…'Turing jump''' または '''Turing jump operator'''）とは[[計算可能性理論]]における操作の一つ。名称は[[アラン・チューリング]]や[[チューリングマシン]]に因む。 …

'''チューリングマシン '''({{lang-en-short|Turing machine}}) は、[[アラン・チューリング]]が「[[計算可能性理論|計算可能性]]」に関する議論のために提示した[[抽象機械]]である<ref>{{Cite Kotobank |word=チュ [[アラン・チューリング|チューリング]]の「計算可能数について──[[決定問題]]への応用」（1936年）において提示された<ref>{{Cite journal|last= …

バン(ban)とデシバン(deciban)は、1940年に[[アラン・チューリング]]と{{仮リンク|I・J・グッド|en|I. J. Good}}によって発明された。この単位は、毎日変更されるドイツ海軍の暗号機・[[エニグマ (暗号 …

…ok |last1= Copeland |first1=B Jack |last2=Turing |first2=Alan |authorlink2=アラン・チューリング |year=2005 |title=Alan Turing's Automatic Computing Engine:the master codeb …

* [[アラン・チューリング]]と[[ソロモン・フェファーマン]]による理論の超限的反復 …

…理論理学]]に出現する次数であり、[[自然数]]の集合に対して付与され、その集合の[[アルゴリズム]]的な複雑さ（非可解性）の度合いを表す。名称は[[アラン・チューリング]]に因む。チューリング次数の概念は[[再帰理論]]と[[計算可能性理論]]において基本的である。これらの分野では、自然数の集合はそのまま[[決定問題] [[Category:アラン・チューリング]] …

この概念は[[アラン・チューリング]]によって1936年に提唱された。{{r|turing}} …

…CH 限界以上の復号. 電子情報通信学会論文誌 A, 78(5), 626-638.</ref>）、計算におけるアルゴリズムの定義を定式化したのは[[アラン・チューリング]]、[[アロンゾ・チャーチ]]、[[スティーヴン・コール・クリーネ|スティーヴン・クリーネ]]で、[[1938年]]のことである。一方、[[二進法]] …

…y)を意味するため）。だが、コンピュータの専門家や科学史家であれば、技術への貢献以上に、まず第一に'''「理論への貢献」をした'''と言うだろう（[[アラン・チューリング|チューリング]]や[[ジョン・フォン・ノイマン|ノイマン]]も同様である）。</ref>。 …

対角線関数 <math>d</math> を用いて定義された基本的な創造的集合 <math>K </math> は独自の歴史的発展を持つ。[[アラン・チューリング]]の[[チューリング機械]]に関する1936年の論文は <math>\Phi</math> 関数を計算する万能チューリング計算機の存在を示した。関数 …

[[アロンゾ・チャーチ]]と[[スティーブン・コール・クリーネ]]が開発した[[ラムダ計算]]により、計算可能性理論の定式化に重要な役割を果たした。[[アラン・チューリング]]は現代計算機科学の父とされる人物であり、[[チューリングマシン]]など計算可能性理論にも数々の重要な足跡を残している（[http://web.com …

…ンク|ヴィアチェスラフ・ステパノフ|en|Vyacheslav Stepanov}}、[[ヘルマン・ワイル]]、[[ジョン・フォン・ノイマン]]、[[アラン・チューリング]]、[[サロモン・ボホナー]]やその他の研究者によって1920年代および1930年代に発展された。 …

再帰理論は、1930年代の[[クルト・ゲーデル]]、[[アロンゾ・チャーチ]]、[[アラン・チューリング]]、[[スティーヴン・コール・クリーネ]]、[[エミール・ポスト]]らの研究に端を発している。<ref>彼らの基本的な論文の多くは Martin Da [[Category:アラン・チューリング]] …

大戦中の1939年に、[[イギリス]]は[[アラン・チューリング]]らによってエニグマの解読に成功したが、その事実は徹底して極秘事項とされ、[[ドイツ]]軍は終戦までエニグマを使用し続けた。 …]]」等）を披露し、旧式とはなっていたがドイツ軍用エニグマのレプリカを送呈した。その結果[[イギリス]]の[[政府暗号学校]] (GC&CS) の[[アラン・チューリング]]が、[[1939年]]秋には電動式の暗号解読機「{{仮リンク|ボンブ (暗号解読機)|en|Bombe|label=ボンブ}}」の設計を行った。レイ …