Zuse Z3
Zuse Z3は、1941年にドイツでコンラート・ツーゼによって開発された計算機である。世界初の自由にプログラム可能で完全に自動化された機械である。現代の視点からすると、コンピュータの定義に適合する属性をほぼ備えているが、条件分岐命令は備えていない。Z3は2,600個のリレーから構成され、動作周波数はおおよそ5から10Hz、ワード長は22ビットである[1]。プログラムとデータはセルロイド製のフィルムに穴を開けることで記憶される。
1941年にベルリンで完成し、ドイツ航空機研究所で翼のフラッター現象の統計解析に使われた[2]。
オリジナルのZ3は、1943年12月21日のベルリン空襲で破壊された。完全動作する複製品が1961年にツーゼの会社「Zuse KG」によって作成され、ドイツ博物館に永久展示されている。
ツーゼはドイツ政府にリレーを電子スイッチに置き換えるための資金提供を要請したが、第二次世界大戦中であり、戦争遂行の観点から重要でないと判断され、資金は得られなかった[3]。
設計と開発
編集ツーゼは1935年から1936年にかけてZ1を設計し、1936年から1938年に製作した。Z1は全くの機械式であり、一度に数分間しか動作できなかった。ヘルムート・シュレイヤーは別のテクノロジーを使うことを助言した。ベルリン工科大学の大学院生だった1937年、シュレイヤーは真空管を使った論理回路や今でいうフリップフロップの実装を行った経験があった。1938年、シュレイヤーはその技術を使った実験的な計算機を作り、少数の人々に実験を公開していたが、実用化するとなると膨大な電子部品が必要となるため、事実上不可能と思われていた[4]。
ツーゼは次の計算機もリレーを使って設計することを決意する。機械式計算機を製造していた Kurt Pannke が資金を出してZuse Z2が開発され、1939年に完成した。1940年にはドイツ航空機研究所の所員の前で披露された。Z2は不安定で動かないこともあったが、同研究所で披露したときは幸運にも動き、同研究所が次の計算機開発の資金を一部提供してくれることになった[4]。
1941年、ツーゼはZ2を基本としてそれを改良することでZ3を作った。このプロジェクトはドイツ政府によって極秘とされている[5]。ドイツ航空省のイェニッセン博士が政府を代表してツーゼの会社 ZUSE Apparatebau に送り込まれている[6]。他にドイツ航空省から空気力学の専門家ヘルベルト・A・ワーグナーも送り込まれた[7]。
Z3は1941年、Z1やZ2よりも高速で高信頼なものとして完成。Z1からの改良点として、浮動小数点数の扱いについて、対象を数以外の値に拡張している。すなわち、一般的な数値以外に、正の無限大・負の無限大・未定義という値があって、そのような値が結果として生成されることがあり、演算を通して伝播できる。(これは現在の浮動小数点数を扱うシステムに同様のものがあるということから見ても、先進的だったと言える。)Z3はプログラムを外部のテープに格納しているため、プログラムを変更するのに配線を変える必要がなくなった。
1941年5月12日、Alfred Teichmann や Curt Schmieden といった科学者を集めてZ3が披露された[8]。
その後ツーゼはZ4の設計に入り、戦後になって製作を行った。
Z3 の歴史上の位置づけ
編集Zuse Z3 の成功は単純な二進数システムを採用したことによると言われることが多い。これは約3世紀前にゴットフリート・ライプニッツが発明したもので、後にジョージ・ブールがブール代数を作り上げるのに採用した。1937年、MITのクロード・シャノンはブール代数をリレーをつかったデジタル回路に再現する研究をしている[9]。結局ツーゼはこれらをまとめて、プログラム制御された Z3 を作り上げた[10]。
ツーゼの協力者だったヘルムート・シュレイヤーは1942年に真空管100本を使った実験的なデジタル電子計算機を作っているが[11]、終戦ごろに失われた。
イギリスの暗号解読機 Colossus (1943) [12]は、世界初のデジタル電子計算機とされることが多いが、他にはアタナソフ&ベリー・コンピュータ (1942) もある。それらは真空管を使い、2進数で数を表現している。プログラミングはプラグ盤の配線変更やスイッチ群の設定で行われており、プログラム可能と断言するのは難しい。
ENIACは Z3 の4年後に完成した。ENIAC は真空管を使ってスイッチを実装したが、Z3 はリレーを使用した。ENIAC は十進数だったが、Z3 は先行して二進数を使っていた。1948年まで、ENIACでのプログラミングとは配線を変更することだったが、Z3 はテープ(セルロイド製)からプログラムを読み込んだ。
Z3 はプログラムを格納するテープを外部に必要とした。ジョン・フォン・ノイマンが 1945年の論文で示したプログラム内蔵方式のコンピュータとして世界初と言えるのは1948年の Manchester Baby か 1949年のEDSACである。なお、ノイマンの論文にはアラン・チューリングへの言及があり、プログラム内蔵方式のコンセプト自体は、ツーゼが1936年に申請した特許出願書(成立せず)で既に言及している。
計算可能性
編集Z3は、条件分岐命令を持っていない(代わりに条件によって一命令をスキップする命令を持っている)。しかし、Z3によって任意のチューリングマシンをシミュレート可能であると、Raúl Rojasによって1998年に示されており[13][14]、(Z3のアドレス空間を、チューリングマシンに必要な「無制限のテープ」のために「十分に広い」とみなせば[15])チューリング完全すなわち、計算可能なものは計算できる能力がある。手法としては、他の制限の強い計算機構のいくつかで見られる多くの同様の主張のものに似ている[16]。あらましを以下に簡単に述べる。Z3にプログラムの命令を供給するテープは、チューリングマシンの「テープ」ではなく、「テープ」を読み書きする「ヘッド」を制御する有限状態機械のために使う。状態が有限個なので、テープにその全ての状態に対応するコード片を表現し、最後を最初につなげてループ状のテープにすれば、機械はそのループを大きな1個の(無限)ループ[17]として実行できる。そのループ中の各コード片について、有限状態機械の「現在の状態」に対応するコード片のみが有効に働くようにできれば良いわけであるが、Z3の持ついくつかの命令の組合せにより可能である。以上のようにして、任意のチューリングマシンが実装可能であるとした。Rojas は「したがって我々は、抽象的理論的観点から、Z3の計算モデルが今日のコンピュータの計算モデルと等しいと言うことができる。実用的観点からすれば、そしてZ3用に実際に書かれたプログラムから見れば、現代のコンピュータとは等しくない」と結論付けている。
実利的な観点で見れば、Z3 は1940年代の科学技術計算に適した「実用的な」命令セットを備えていた。ツーゼは土木技師であって、コンピュータを製作し始めたのは本業で必要だったからである。
仕様
編集脚注
編集- ^ Zuse, Konrad (1993) (German). Der Computer. Mein Lebenswerk. (3rd ed.). Berlin: Springer-Verlag. p. 55. ISBN 978-3-540-56292-4
- ^ Crash! The Story of IT: Zuse - ウェイバックマシン(2008年3月18日アーカイブ分)
- ^ Hans-Willy Hohn (1998) (German). Kognitive Strukturen und Steuerungsprobleme der Forschung. Kernphysik und Informatik im Vergleich. Schriften des Max-Planck-Instituts für Gesellschaftsforschung Köln. p. 148. ISBN 978-3-593-36102-4
- ^ a b c d Lippe, Prof. Dr. Wolfram. “Kapitel 14 - Die ersten programmierbaren Rechner (i.e. The first programmable computers)”. 2010年6月21日閲覧。
- ^ June Jamrich Parsons, Dan Oja (2007). New perspectives, computer concepts. Cengage Learning. ISBN 9781423906100 2010年3月14日閲覧。
- ^ 1977-compilation by Zuse of people in contact to his computers from 1935 to 1945
- ^ Herbert Bruderer, ETH Zurich. “Konrad Zuse und die ETH Zürich”. 2011年10月26日閲覧。
- ^ “An einem 12. Mai” (German). Deutsches Historisches Museum (German Historical Museum). 2012年4月7日閲覧。
- ^ Shannon, C. E. (1938). “A Symbolic Analysis of Relay and Switching Circuits”. Trans. AIEE 57: 713–723.
- ^ Hans-Willy Hohn (1998) (German). Kognitive Strukturen und Steuerungsprobleme der Forschung. Kernphysik und Informatik im Vergleich. Schriften des Max-Planck-Instituts für Gesellschaftsforschung Köln. p. 149. ISBN 978-3-593-36102-4
- ^ "Helmut Schreyer" at the University of Berlin
- ^ B. Jack Copeland, ed (2006). Colossus: The Secrets of Bletchley Park's Codebreaking Computers. Oxford University Press. ISBN 978-0-19-284055-4
- ^ Rojas, R. (1998). “How to make Zuse's Z3 a universal computer”. IEEE Annals of the History of Computing 20 (3): 51–54. doi:10.1109/85.707574.
- ^ Rojas, Raúl. “How to Make Zuse's Z3 a Universal Computer”. 2012年4月7日閲覧。
- ^ 絶対量としては桁違いではあるが、その後の全てのコンピュータの場合もほとんどは、無制限の、ではなく十分に大容量だが有限の記憶装置を以てチューリング完全とされているから、この仮定は必ずしも無理なものではない。
- ^ 例えば「x86はMOV命令だけでチューリング完全である」等。
- ^ 正確には「計算可能」の定義から止まる必要があるので、厳密には無限ループとは言えない。
参考文献
編集- B. Jack Copeland, ed (2006). Colossus: The Secrets of Bletchley Park's Codebreaking Computers. Oxford University Press. ISBN 978-0-19-284055-4
- R. Rojas, F. Darius, C. Göktekin, and G. Heyne (2005). The reconstruction of Konrad Zuse’s Z3. IEEE Annals of the History of Computing, 27(3). pp. 23–32.
関連項目
編集外部リンク
編集- ベルリン工科大学の Z3 に関するページ 写真あり
- Konrad Zuse’s Legacy: The Architecture of the Z1 and Z3 (PDF)
- How to Make Zuse's Z3 a Universal Computer Raúl Rojas
- Raúl Rojas, The Zuse Computers In resurrection, the bulletin of the Computer Conservation Society ISSN 0958-7403 Number 37 Spring 2006