コトバンクはYahoo!辞書と技術提携しています。

チューリング チューリングAlan Mathison Turing

6件 の用語解説(チューリングの意味・用語解説を検索)

デジタル大辞泉の解説

チューリング(Alan Mathison Turing)

[1912~1954]英国の数学者。現代計算機科学の父。1936年、論文「計算しうる数」でチューリングマシンの概念を提唱した。第二次大戦中に、ドイツ暗号解読に功績をあげたことでも知られている。

出典|小学館
デジタル大辞泉について | 情報 凡例

百科事典マイペディアの解説

チューリング

チューリング機械で有名な英国の数学者。数学と数理論理学のほか,計算機の基礎理論と応用の広範な分野で活躍。1935年ケンブリッジ大学キングズ・カレッジ在学中より数理論理学の研究をはじめ,1936年―1937年プリンストン大学留学中にチューリング機械の概念を発表した。
→関連項目チューリング賞

出典|株式会社日立ソリューションズ・クリエイト
百科事典マイペディアについて | 情報

世界大百科事典 第2版の解説

チューリング【Alan Mathison Turing】

1912‐54
イギリスの数学者で,計算の理論の基礎づけの研究,実用の計算機の開発に従事した。ケンブリッジ大学卒業後,プリンストン大学へ移り,そこで《計算可能な数とその決定問題への応用》を発表し,計算可能な数はチューリング機械で計算できる数と同じであることを示すとともに,ヒルベルトの決定問題は解けないことを証明した。第2次大戦中は,イギリスでドイツ軍の暗号解読の仕事に携わった。戦後,国立物理学研究所(NPL)やマンチェスター大学において,計算機の設計や数値計算法を考案した。

出典|株式会社日立ソリューションズ・クリエイト
世界大百科事典 第2版について | 情報

大辞林 第三版の解説

チューリング【Alan Mathison Turing】

1912~1954) イギリスの数学者・論理学者。数学基礎論で懸案となっていた「計算可能性」の概念に定義を与えるために、チューリング-マシーンを提案、現代のコンピューターに数学的モデルを与えた。

出典|三省堂
大辞林 第三版について | 情報

ブリタニカ国際大百科事典 小項目事典の解説

チューリング
チューリング

テューリング」のページをご覧ください。

出典|ブリタニカ国際大百科事典 小項目事典
ブリタニカ国際大百科事典 小項目事典について | 情報

日本大百科全書(ニッポニカ)の解説

チューリング
ちゅーりんぐ
Alan Mathison Turing
(1912―1954)

イギリスの数学者。ロンドンに生まれ、ケンブリッジ大学キングズ・カレッジに学ぶ。1936年、計算可能関数の数学的定式化として思考上の計算機械を創案した。これは次のようなもので、彼の名をとって「チューリング機械」とよばれている。(1)限りなく大きな紙をもっている、(2)有限個の記号を用いる、(3)おのおのの瞬間に有限個のものを読み取る、(4)記憶の状態が有限個あり、各瞬間にどれか一つの状態にある、(5)現在みているものが何であり、状態が何であるかによって、次に何を消し、何を書き加え、どこに目を移すか、さらに次の状態が何であるかが決まる。
 関数が計算可能とは、その関数を計算するチューリング機械をつくることができることであり、この機械によって計算可能な関数は帰納的な関数と同じである。[西村敏男]
1966年、計算機科学・情報技術分野において優れた功績を残した人に贈られるチューリング賞が創設された。[編集部]

出典|小学館 日本大百科全書(ニッポニカ)
日本大百科全書(ニッポニカ)について | 情報 凡例

世界大百科事典内のチューリングの言及

【形態形成】より

…形態形成の数学理論は,生物学的には,この間をつなぐ作業仮説としての性格をもつ。1952年にチューリングA.Turingは放物型偏微分方程式によって形態形成の説明を試みた。細胞の特性を決める複数種の化学物質を想定し,これらは触媒的な反応によって平衡濃度をもつものと仮定する。…

【計算可能性】より

…そのため,計算可能な関数は,メモリーがいくらでもある(理想化された)コンピューターで計算できる関数と一致する。
[歴史]
 計算可能性の概念は,計算とは何かという問いに答えようとする試みを通じて,1930年代にゲーデルチューリング,チャーチAlonzo Church(1903-95),クリーネStephen C.Kleene(1909-94)等の有力な論理学者のさまざまの提案を集大成し得られたものである。ゲーデル,クリーネは,いくつかの基礎的な自然数上の関数をもとに新しい関数を順次組織的に定義する枠組みを与えて帰納的関数の概念を定式化した。…

【形態形成】より

…形態形成の数学理論は,生物学的には,この間をつなぐ作業仮説としての性格をもつ。1952年にチューリングA.Turingは放物型偏微分方程式によって形態形成の説明を試みた。細胞の特性を決める複数種の化学物質を想定し,これらは触媒的な反応によって平衡濃度をもつものと仮定する。…

【情報科学】より

…アルゴリズムとは計算や論理演算を機械的に実行する手順のことである。1930年代にA.M.チューリングは今日チューリング機械と呼ぶ仮想的な機械を考えて,一定の手続きに従って実行可能な論理演算(数値計算を含む)はすべてこの万能チューリング機械で計算できることを示した。同時に彼は機械では原理的に計算できない関数の存在も示したのである。…

【チューリング機械】より

…イギリスの数学者A.M.チューリングは1936年に発表した論文で,数学基礎論で当時懸案となっていた〈計算可能とはどういうことか〉という問題に対する一つの解答として,ある仮想的な機械を提案した。これが今日チューリング機械と呼ばれているものである。…

※「チューリング」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
世界大百科事典 第2版について | 情報

チューリングの関連キーワード光の科学史次郎長三国志バーブ明治天皇大正バルカン戦争新日本文学愛染かつら鴨島佐原健二

今日のキーワード

百条委員会

地方自治体が議決により設置する特別委員会の一つ。名称は「地方自治法第100条」に基づく。百条委員会は、地方公共団体の事務に関する調査を行い、関係者への聞き取りや記録の提出を請求、拒否した者には罰則が科...

続きを読む

コトバンク for iPhone

チューリングの関連情報