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

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

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

デジタル大辞泉の解説

チューリング(Alan Mathison Turing)

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

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

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

チューリング

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. ご提供する『百科事典マイペディア』は2010年5月に編集・制作したものです

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

チューリング【Alan Mathison Turing】

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

大辞林 第三版の解説

チューリング【Alan Mathison Turing】

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

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

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

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

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

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

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

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

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

出典|小学館 日本大百科全書(ニッポニカ) この辞書の凡例を見る
(C)Shogakukan Inc.
それぞれの解説は執筆時点のもので、常に最新の内容であることを保証するものではありません。

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

【形態形成】より

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

【計算可能性】より

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

【形態形成】より

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

【情報科学】より

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

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

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

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

チューリングの関連キーワードハミルトンラッセル基礎付ける最適制御数理一松信《相対性理論の数学理論》《ドイツ文法の基礎づけ》《富の理論の数学的原理に関する研究》《法社会学の基礎づけ》

チューリングの関連情報