Series Expedition
Turing Machine
歴史的Preludeから出発し、計算の最小構造、部品への翻訳、将来の機械式デモ、万能機械と計算限界までをたどります。
推奨ルート
選んだ順路で、同じ対象の見方を段階的につなぎます。
Prelude · Available
Turing-Welchman Bombe
Bletchley ParkでEnigma暗号解読を支えた電気機械式Bombeを、抽象モデルへ入る前の歴史的Preludeとして見ます。
- 到達目標
- Turing Machineそのものではない実機から、計算を機械化する時代背景をつかむ
- Asset
- Public-source visual reconstruction target
Concept Machine
テープ、ヘッド、状態、ルールだけで計算が進む最小構造を、5フェーズの1命令として観察します。
- 到達目標
- Read -> Rule -> Write -> Move -> State を1命令の分解として説明できる
- Asset
- Procedural primary scene
Mechanism Bridge
Concept Machineの5フェーズを、紙テープ、読み取りヘッド、ルール選択、書き込みパンチ、送り車、状態ランプへ翻訳します。
- 到達目標
- 抽象操作をpaper tape / read head / rule selector / write punch / drive wheel / state lampsへ対応づけられる
- Asset
- Procedural primary bridge
Mechanical Demonstrator
タイミング軸、状態ドラム、ルールレジスタ、パンチ、ギアが連動する機械式GLBデモを追います。
- 到達目標
- 1命令を5拍に分け、部品の連動として追える
- Asset
- External GLB with runtime timing highlights
Universal Machine
プログラムをテープに載せる考え方から、万能機械と停止性問題への入口へ進みます。
- 到達目標
- 機械そのものをデータ化する考え方を説明できる
- Asset
- Procedural program-as-data scene