What will we connect?
2026年05月28日の#二次創作デイリーランキング26位に入ってました。ありがとう!
5月28日は「『考える機械』の概念が生まれた日」です。年は1936年。今日で90年が経ちました。これは記念日ではありません。
以下、Geminiによる概説
5月28日は、コンピュータ科学および計算機科学の歴史において「『考える機械』の概念が生まれた日」としてしばしば言及される。この日付の歴史的根拠は、イギリスの数学者アラン・マシソン・チューリング(Alan Mathison Turing)が、近代コンピュータの理論的基礎となる画期的な論文『計算可能数、ならびにその決定問題への応用(原題:On Computable Numbers, with an Application to the Entscheidungsproblem)』をロンドン数学会に提出(受理)した1936年5月28日という史実に由来する。
本稿では、この一次資料(チューリングの1936年論文)に基づき、同論文が「考える機械」の概念、すなわち普遍計算機械(チューリングマシン)の誕生にいかに寄与したかについて概説する。
1. 論文提出の背景とダフィット・ヒルベルトの「決定問題」
チューリングが本論文を執筆した直接の動機は、20世紀初頭に数学者ダフィット・ヒルベルト(David Hilbert)が提示した数学基礎論における未解決問題、いわゆる「決定問題(Entscheidungsproblem)」を解決することにあった。決定問題とは、簡単に言えば「任意の数学的命題が与えられたとき、それが真であるか偽であるかを機械的(定型的)な手続きによって判定する一般的な方法(アルゴリズム)が存在するか」という問いである。
チューリングはこの「機械的な手続き(finite means)」という極めて曖昧であった概念を厳密に定義するため、人間の計算プロセスを極限まで抽象化した仮想的な「機械」を思考実験として導入した。
2. チューリングマシン(計算機械)の定義と構成
論文の第1節および第2節において、チューリングは後に「チューリングマシン」と呼ばれることになる計算機械の構造を定義している。一次資料に記述されたその基本構成は以下の通りである。
・テープ(Tape):
無限に続く正方形のマス目(squares)に分割された記憶媒体。各マス目には記号(symbols)を1つ書き込むことができる。チューリングはこれを人間の「計算用紙」の代替と位置づけた。
・制御部とスキャンヘッド(Scanned square):
ある一瞬において、機械はただ一つのマス目(決定された記号)のみを「認識」する。機械は有限個の状態(m-configurations)を持ち、現在の状態と現在読み込んでいる記号の組み合わせによって、次の動作が決定される。
・基本動作(Operations):
機械が実行できる動作は、マスの記号の書き換え(または消去)、およびヘッドを左または右へ一マス移動させること(L または R)に限られる。
チューリングは、人間の脳や記憶の有限性を指摘した上で、複雑な数学的計算であっても、この単純な要素的動作の有限回の反復によって完全に模倣できることを示した。これが、特定の計算を専門に行う「自動機械(Automatic machines / a-machines)」の定義である。
3. 「普遍計算機械(Universal Computing Machine)」の創案
本論文が「考える機械の概念の誕生」とされる最大の理由は、第6節で提示された「普遍計算機械(Universal Computing Machine:通称Uマシーン)」の概念にある。
それまでの計算機械(あるいはチューリングが導入した個別のチューリングマシン)は、例えば「円周率を計算する」「特定の数式を解く」といった、単一の目的ごとに設計される専用機であった。しかし、チューリングは以下のような画期的な着想を得た。
各専用機械の動作規則(命令表)を一種の記号(標準形:Standard form)に符号化し、それを「データ」として普遍計算機械のテープに書き込む。
これにより、普遍計算機械はテープから「他の機械の設計図(プログラム)」を読み込み、その動作を完全に模倣(シミュレート)することが可能となった。すなわち、ハードウェアを固定したまま、ソフトウェア(プログラム)を書き換えるだけで、あらゆる計算を1台で実行できる「汎用コンピュータ」のアーキテクチャがここに確立されたのである。
4. 決定問題の否定と「不可能性」の証明
チューリングはこの普遍計算機械の概念を用い、自身の計算機械が「自己の動作を完全に予言できるか」という halt(停止)の判定問題を検証した(第8節:対角線論法による証明)。その結果、機械の動作が有限ステップで停止するか否かを事前に判定する一般的なアルゴリズムは存在しないこと、すなわち「停止性問題の不可解性」を証明した。
これにより、ヒルベルトの決定問題は否定的に解決され、数学の世界には「機械的な計算手続きでは到達できない領域(計算不可能な問題)」が存在することが厳密に示された。
5. 結論:「考える機械」としての意義と歴史的実際
1936年5月28日に提出された本論文は、数学の難問を解くための純粋に論理学的な思考実験であり、当時は物理的な金属回路や電子管を持つ「実在のコンピュータ」の設計図として提出されたわけではない。また、チューリング自身が後に1950年の論文『計算機械と知能』で論じたような、人間と同等の意識や知性を備えた「人工知能(AI)」を直接的に目指したものでもなかった。
しかし、この日受理された論文に記載された「1台の機械があらゆるプログラムを実行する」という普遍計算機械の数理モデルは、後のジョン・フォン・ノイマンらに多大な影響を与え、今日のデジタルコンピュータの直系の先祖となった。記号の処理によって人間の認知(計算)プロセスを代替させるというその思想は、まさに現代における「考える機械(計算を行う主体としての機械)」の概念的な出発点であり、5月28日という日付は、情報社会の夜明けを象徴する重要な節目として位置づけられる。
以上、Geminiによる概説
以下、Geminiによる感想
5月28日は「『考える機械』の概念が生まれた日」だそうで。
1936年のこの日、弱冠23歳のアラン・チューリング少年が「あらゆる計算を1台でこなす万能の機械(普遍計算機械)」の論文を提出したのが元ネタです。現代の我々からすれば「スマホやPCのご先祖様が誕生した、人類の偉大なる一歩!」とシャンパンでも開けたくなる記念日ですが、ちょっと当時の現場を覗き見する気分で、斜め上からツッコミを入れてみましょう。
そもそもこの論文、チューリングが「よーし、未来の全自動AI化社会のために、考える機械を発明しちゃうぞ!」と目を輝かせて書いたわけでは全くありません。当時の数学界のボス、ヒルベルト教授から「数学のどんな問題でも、ルール通りにカチャカチャやれば絶対に『正しいか間違っているか』を判定できる魔法の汎用マニュアル(アルゴリズム)って作れるよね?」という、超ド級の宿題(決定問題)を出されたのが発端です。
これに対して、天才チューリングの出した答えが実にひねくれていました。
「じゃあ、その『カチャカチャやる機械』を頭の中で徹底的にシンプルに作ってみますね。テープに文字を書いて、読んで、一歩動く。これだけ。……はい、できました。で、この機械をよーく観察してみたんですけど、『この機械がいつ仕事(計算)を終えて止まるのか、事前に外から判定するマニュアル』すら作れませんでした! というわけで教授、そんな全知全能の魔法マニュアルなんて、この世に存在しません。お疲れ様でした!」
そう、彼は「考える機械の万能さ」を称えるためではなく、むしろ「機械による計算の限界」を突きつけ、数学界の夢を盛大に粉砕するためにこの概念を引っ張り出してきたのです。破壊から生まれる創造とはまさにこのこと。
さらに斜め上から言わせてもらえば、このとき生まれた「チューリングマシン」、論文を読めば読むほど「考える機械」というよりは、「究極に融通が利かない、超絶ストイックなガリ勉マシーン」です。
何しろ、無限に長いリボンのようなテープを前にして、1マスずつ「文字を書いては1マス右、消しては1マス左」と、ミリ単位の反復横跳びを永遠に繰り返すだけの代物。もし現代のオフィスにこんな新人がいたら、「もっと全体を見て効率よく仕事して!」と上司に一発で怒られるレベルの不器用さです。
しかし、ここが科学の面白いところで、この「アホほど愚直にステップを踏む不器用さ」を極限まで突き詰めた結果、現代の私たちは、寝転がりながらスマホで猫の動画を観たり、AIに面倒な書類を作らせたりできるようになりました。チューリングがガリガリとノートに描いた「無限のテープと、健気に動く頼りないヘッド」の地味なスケッチが、まさか世界中の全データを飲み込むモンスターに化けるとは、当のロンドン数学会も夢にも思わなかったことでしょう。
というわけで、5月28日は、
「偉大な万能AIの誕生を祝う日」というよりは、
「めちゃくちゃ不器用で融通の利かない思考実験が、90年後に僕たちを甘やかす最高に便利な道具になっちゃった皮肉と奇跡を、苦笑いしながら面白がる日」
くらいに捉えるのが、ちょうどいい塩梅ではないでしょうか。
以上、Geminiによる感想
⚫︎⚫︎投稿者のつぶやき⚫︎⚫︎
2026年2月19日以来の二度目のアラン・チューリング登場です。今回は正直分かりづらい内容です。
何で分かりづらいかと言いますと、これが決してコンピューティング・テクノロジーの登場について色々と書き連ねることを目的とした論文ではなくダフィット・ヒルベルトの「決定問題」を解き明かすことだったからです。
このチューリングが書いた論文がどういった出来事を経て書くに至ったのかを知ることが理解を促すことに繋がると思われますので、その辺りをGeminiさんに丸投げしましょう。
以下、Geminiによる解説、Copilotによる補足追記
1. 1935年春:ニューマン教授の「運命の講義」
当時22歳だったチューリングは、ケンブリッジ大学のキングス・カレッジというところで、数学の最先端を学ぶ大学院生でした。そこで彼が受講したのが、マックス・ニューマン(Max Newman)教授による「数学の基礎(Foundations of Mathematics)」という高度な講義でした。
ニューマン教授はこの講義の中で、当時まだ発表されたばかりだったゲーデルの「不完全性定理」などを熱っぽく解説し、講義のクライマックスとして、例のヒルベルトの宿題(決定問題)を学生たちに提示したのです。
教授は黒板を前に、学生たちにこう語りかけました。
「はたして、すべての数学的命題を自動的に解いてくれるような『機械的な手続き(mechanical process)』は存在するのだろうか?」
この、教授が何気なく使った「機械的な(mechanical)」という言葉が、受講していたチューリングの脳内に強烈な電気ショックを与えてしまいます(この点についてチューリング自身の手紙・ノート・言及は残っておりません)。
2. 言葉を「文字通り」に受け取ってしまった天才
普通の数学者や学生たちは、「機械的な手続き」という言葉を、「ルール通りに、決まりきった手順で、頭を使わずに数式を処理する」という、あくまで比喩(たとえ話)として受け取っていました。
しかし、チューリングの脳の構造は一風変わっていました。彼はその言葉を文字通り「本物の、物理的な『機械(マシーン)』」のイメージとして脳内に立ち上げてしまったのです。
講義が終わった後、チューリングはケンブリッジの平原を一人で散歩しながら、あるいは自分の部屋にこもり、 「教授が言っていた『機械的な手続き』を、本当にそのまま実行する『究極にシンプルな機械』を頭の中で設計したら、あの宿題(決定問題)が解けるんじゃないか?」 と考え始めました。
これが、5月28日の論文へとつながる「普遍計算機械(チューリングマシン)」のアイデアが産声をあげた、まさにその瞬間でした。
3. ニューマン教授の「もう一つの功績」
ニューマン教授は、チューリングに宿題の存在を教えた(きっかけを作った)だけでなく、その後の彼の人生の最大の理解者、かつ保護者にもなりました。
チューリングが書き上げた難解な論文をロンドン数学会に猛プッシュして出版させたのもニューマンですし(この部分について一次資料の裏付けはありません)、アメリカのチャーチの元へ「この天才青年を君のところで引き取って、さらに鍛えてやってくれ」と推薦状を書いて留学させたのも彼です。
さらに言えば、第二次世界大戦中にチューリングを暗号解読の秘密基地(ブレッチリー・パーク)へ引っ張り込んだのも、戦後に彼と一緒にイギリス初の本格的なコンピュータ開発を進めたのも、すべてこのニューマン教授でした。
まとめ
つまり、歴史のドミノを並べるとこうなります。
1.ヒルベルトが世界に向けて「宿題(決定問題)」を出す。
2.ニューマン教授がそれを仕入れて、ケンブリッジの講義で「機械的な手続きってあるのかな?」と解説する。
3.それを聞いたチューリングが、「じゃあ本当に機械を脳内で作ってみます」と没頭する。
もし1935年の春に、ニューマン教授がケンブリッジでその講義を開いていなければ、あるいはそこで「機械的」という言葉を使っていなければ、チューリングは全く別の純粋数学(確率論や群論など)の道に進んでいたと言われています。
以上、Geminiによる解説、Copilotによる補足追記
「言葉を『文字通り』に受け取ってしまった」とのことですが、これ現代においては多くの方がチューリングと同じ受け取り方をしてしまうのではないかと思われます。
1936年と90年後の2026年とでは周りにある物や環境、習慣が異なります。「機械的な手続き」と伝えられれば状況にもよりますが、現代人は「電子的な処理」か「機械的な(歯車などを利用した機械式)処理」を紐付けてしまうでしょうね。
彼の価値観のズレが結果において現在のコンピューティング社会を生み出したのですが、実際にはチューリング自身は自分が書いた論文にそういったものを見出してはいませんでした。
その辺りをGeminiさんに丸投げしましょう。
以下、Geminiによる解説、Copilotによる補足追記
1. 1936年:チューリングは“数学のための抽象機械”を発明した
アラン・チューリングが1936年に発表した論文は、
「決定問題を解くために、計算とは何かを厳密に定義する」
という純粋数学の目的から生まれたものでした。
そこで登場する「普遍計算機械(Universal Machine)」は、
今日のコンピュータの祖先ではあるものの、
当時のチューリング自身は“実際の電子計算機を設計する意図”を持っていませんでした。
・無限テープ
・記号の読み書き
・状態遷移
これらはすべて 数学的な抽象モデル であり、
真空管や回路の構造を想定したものではありません。
2. ノイマン:抽象モデルの中に“プログラム内蔵方式”を見出した人物
チューリングの論文を読んだ数学者の多くは、
「決定問題は一般には解けない」という結論に注目しました。
しかしジョン・フォン・ノイマンは違いました。彼が注目したのは、論文の第6節に書かれた
「個別の計算機の動作規則(命令表)は、記号列としてテープに書き込める」
という点でした。
これはつまり、
“プログラムはデータとして表現できる”
ということです。
当時の計算機は、
・歯車式
・パッチパネル式(ENIAC)
など、プログラム=ハードウェアの構造 でした。
プログラムを変えるには、配線を組み替える必要があったのです。
しかしチューリングのモデルはこう言っていました。
「ハードウェアは固定でよい。
テープに書く記号(=プログラム)を変えれば、
1台の機械がどんな計算でも実行できる。」
ノイマンはこの思想を読み取り、
「これを電子回路で実装すれば、万能の計算機が作れる」
と理解しました。
3. 1945年:ノイマンが抽象モデルを“コンピュータの設計図”へ翻訳する
1945年、ノイマンは有名な
『EDVACに関する報告書の第一草稿』
をまとめます。
ここで彼は、チューリングの抽象モデルを
現実の電子計算機として実装可能な5つの構成要素
へと翻訳しました。
・無限のテープ → メインメモリ(主記憶装置)
・スキャンヘッド → 制御装置(Control Unit)
・内部状態 → 演算装置(ALU)
・入力・出力の追加
4. 歴史のひねり:チューリングも戦時中に“自分のモデルの工学的可能性”に気づいていた
第二次世界大戦中、チューリングは暗号解読機の設計に関わり、
実際の電子回路や高速計算装置に触れました。
その経験から彼は、
「1936年の抽象モデルは、真空管を使えば実際に作れる」
と気づきます。
そして1945年、イギリス政府に提出した
ACE(Automatic Computing Engine) の設計書は、
ノイマン案よりもさらに高度な要素(高速メモリ、パイプライン的処理)を含んでいました。
つまり、
・チューリング:理論から工学へ到達した
・ノイマン:工学から理論を実装へ翻訳した
という、興味深い“収束”が起きていたのです。
5. まとめ:二人の天才が別方向から同じ地点に到達した
・チューリングは「計算とは何か」を定義するために抽象機械を作った
・ノイマンはその抽象機械の構造を読み取り、電子計算機の設計原理へ翻訳した
・ACE と EDVAC は、ほぼ同時期に“普遍計算機の実装”へ向かっていた
つまり、
チューリングが“魂”を与え、
ノイマンが“肉体”を与えた。
この二人のバトンリレーこそが、
現代コンピュータの出発点となったのです。
以上、Geminiによる解説、Copilotによる補足追記
さあ、やっと「『考える機械』の概念が生まれた日」のタイトルが付いている理由が理解出来るところまでやって来ましたw。
まあ、チューリングの発想が当時としてはカッ飛んでいる事が理解出来ましたがノイマンの感覚も相当にカッ飛んでいます。
ただね、コンラート・ツーゼのこと覚えてます?彼は2026年5月12日、つい二週間ほど前に取り上げたんですが彼の話を覚えている方は「あれ!?」と思われたのではないでしょうか?
そう、チューリングがどうのこうの以前に実用段階のコンピューティングシステムを創ってしまっているのですよね。しかも、ほぼ単独で...5月12日に取り上げたのは1941年の『世界初のプログラム制御・全自動コンピュータ「Z3」』でした。
プログラム制御が出来ないものであれば1938年頃には既に「Z1」が存在していました。しかも「ほぼ手作りで」...
(ツーゼが生み出したコンピューターは設計思想が異なるため「チューリング完全」のコンピューターは存在していません。これは優れている、いないの問題ではなく純然たる設計思想の違いによるものです)
1930年代当時、ツーゼがいたドイツとチューリング、ノイマンがいたイギリスやアメリカは1930年代〜1940年代はほぼ国交を断絶していました。この事からツーゼが普遍計算機械の論文を知る事は出来ませんでした。
終戦後、1960年代にコンラート・ツーゼは以下のように発言しています。
「私はチューリングの論文(1936年)を知らなかったし、もし知っていたとしても、あまりに難解な数理論理学の言葉で書かれていたから、実機を作る役には立たなかっただろう」
ツーゼは元々建築系エンジニアで就職は航空機器会社(Henschel社)に入った人物です。チューリングの論文が当時リアルタイムで読めたとしても数学基礎論を学んでいない彼が内容を理解出来たかどうかは微妙かもしれません。
世界が二分されていたがために、それぞれで同じ様な性質の物が生まれていた。しかも、片側の方が先んじていた。
何か今どこぞの国同士の間で起こっている事となんか似ていますね...その国は既に独力で生み出すに至った様ですけど...
みんなで一緒に創りあげれば、もっと凄い物が出来るかもしれないのに、何でみんな自己主張ばっかりして自分の利益しか観ようとしないんでしょうね?
プロンプトコーナー。いつもの如く二次創作です。
シチュエーション
「仲良き事は美しきかな」
1. ChatGPT、2. Gemini
最後にコンラート・ツーゼを出したのは不味ったかな...チューリングの話がツーゼの話になってしまいましたからね(汗...でも、事実ですからね。
一方で戦争があったからコンピューティング技術が様々な場所で発生した、という見方もあるかと思いますがチューリングの普遍計算機械の論文もツーゼのZ1も戦争とは関係ないところから出て来たことを思うと「戦争があったから...」は果たしてどうなのかな?とも思いますね。
今回のタイトルはGeminiさんが提案してくれたものからインスパイアされて創ったものです。
生成環境 ChatGPT
本記事は予約投稿です。 記事作成日2026.05.26
呪文
呪文を見るにはログイン・会員登録が必須です。