Manchester Mark I

Manchester Mark I（マンチェスター・マークワン）は、黎明期のコンピュータのひとつで、1949年にイギリスのマンチェスター・ビクトリア大学で製作された。Manchester Automatic Digital Machine（MADM）とも呼ばれる。1948年6月に稼働開始した Small-Scale Experimental Machine（SSEM、またの名を "Baby"）をベースとして開発された。1948年8月に開発が始まり、1949年4月に稼働開始した。メルセンヌ数を探すプログラムがエラーとなることなく9時間動作したのは、1949年6月16日から17日にかけてのことである。（なお、このマシンの稼働成功についてイギリスの報道機関の多くが "electronic brain"（電子頭脳）という呼称を使って取り上げたが、そういった扱いにはマンチェスター大学の神経外科部門のトップが反応を示し、電子計算機は真の創造性を獲得することができるのか、という長い議論が始まることになった。） 当初 Mark 1 は大学内の計算資源を提供するために開発され、研究者らにコンピュータの利用を体験させる役に立ったが、まもなくフェランティ社が商用版を設計する際のプロトタイプとして利用されることになった。開発は1949年末に終り、1950年末にはマシンが廃棄され、1951年2月には世界初の商用汎用電子計算機 Ferranti Mark 1 に置き換えられた。 計算機史上重要なこととしては、初めて一種のインデックスレジスタを採用したことでメモリ上のワードの配列を順次アクセスするプログラムを容易に書けるようになったことがある。このマシンを開発したことで34件の特許が成立し、設計上のアイデアはその後の商用機である IBM 701/702 や Ferranti Mark 1 に取り入れられた。設計主任はフレデリック・C・ウィリアムスとトム・キルバーンで、Mark 1 を開発し使ってみた経験から彼らはコンピュータが純粋数学よりも科学技術計算でよく使われるだろうと確信した。1951年、彼らは Mark 1 の後継機としてFPUを搭載した Meg の開発を開始する。 1936年、数学者アラン・チューリングは、その中で「チューリングマシン」を提示した論文を発表した。チューリングマシンは後に「チャーチ＝チューリングのテーゼ」と呼ばれるテーゼ（それ自体は何かを証明するものではないことの意）により「計算可能」という概念と結び付けられた。1940年代には、チューリングやコンラート・ツーゼといった人々が、チューリングマシンにおける理論的なテープの具体化として計算機械のメモリにプログラムとデータの両方を格納するというアイデアを考案している。プログラム内蔵方式や「ノイマン型アーキテクチャ」でコンピュータを設計することに大きな貢献をしたのは、EDVACプロジェクトに最初から関わっていたジョン・プレスパー・エッカートとジョン・モークリーであり、それをフォン・ノイマンの功績としてしまうのは不当だとされる（にもかかわらず、しばしばそれらは（誤って）フォン・ノイマンの功績とされている。詳細はノイマン型の記事を参照）。ともあれ、Manchester Mark 1 もその方式（EDVACの方式）をベースとしている。 ノイマン型のコンピュータを実際に製作する際の最大の問題は、適当なメモリデバイスが入手できるかであった（当時のコンピュータ本体は一般的な真空管で作られていたが、プログラム内蔵方式でプログラムとデータ両方に必要な量のメモリは、同様にして真空管で作るには多過ぎた）。マンチェスター大学の Manchester Small-Scale Experimental Machine (SSEM) は世界初のプログラム内蔵方式のコンピュータであり、プログラム内蔵方式とウィリアムス管の実用性を示すことに成功した。ウィリアムス管は普通のブラウン管 (CRT) を使った初期の記憶装置であり、SSEMは1948年6月にプログラムを動作させることに成功している。プログラム内蔵方式以前の計算機械、例えばENIACは、パッチパネルやプラグボードで配線を変更することでプログラミングされており、ある問題用に構成されているものを、別の問題用に構成するには多大な手間が必要だった。具体的にはENIACの場合、数日かかっていたという。プログラム内蔵方式のコンピュータは他の研究者も開発したわけであり、例えばイギリス国立物理学研究所のパイロットACE、ケンブリッジ大学のEDSAC、アメリカ陸軍のEDVACなどがある。それらはメモリとして水銀遅延線を使っているが、SSEMと Mark 1 はウィリアムス管を採用している点が異なる。 1948年8月ごろから、当初大学に現実的な計算施設を提供することを目標とした Manchester Mark 1 を開発すべく、SSEM をベースとしたプロトタイプの開発が始まった。1948年10月、イギリス政府の主任科学者ベン・ロックスパイザー（英語版）がマンチェスター大学を訪問した際、Mark 1 のプロトタイプを実演してみせた。ロックスパイザーはこれに感銘を受け、すぐさまフェランティと政府との契約を結び、このマシンの商用版である Ferranti Mark 1 を開発させることにした。1948年10月26日付で彼が同社に出した手紙の中で、ロックスパイザーは同社に「我々が議論した線に沿って進める、すなわちF・C・ウィリアムス教授の指示に従って電子計算機を組み立てる」権限を与えると記している。それ以降、Mark 1 の開発はフェランティに対して商用機のベースとなる設計を与えるという追加の目的を負わされることになった。政府とフェランティの契約は1948年11月から5年間継続し、毎年約35,000ポンドの補助金が提供されたと見られる。 SSEMはフレデリック・C・ウィリアムスとトム・キルバーンとジェフ・トゥーティルのチームが設計した。Mark 1 開発のため、2人の学生D・B・G・エドワーズとG・E・トーマスがチームに加えられた。開発は1948年8月に始まった。間もなくプロジェクトにはフェランティが商用機 Ferranti Mark 1 のベースとして使える設計を提供するという目的も追加され、当初からの大学内の研究者らにコンピュータ利用を経験させることのできるマシンを構築するという目的と並行して達成することになった。最初のマシンは中間バージョンとして1949年4月に動作開始した。このバージョンはほとんど完成していたが、入出力命令がなく、磁気ドラムからウィリアムス管、紙テープから磁気ドラムへのデータ転送機能が完成していなかった。そのため、マシンを一時的に停止させ、手動でデータ転送を開始する必要があった。それらの機能は1949年10月に動作開始した最終版で組み込まれている。4,050本の真空管を使っており、消費電力は25kWである。信頼性向上のため、SSEMで使っていた普通のCRTの代わりとしてGECがウィリアムス管専用のCRTを開発し、それを利用した。 SSEMはワード長が32ビットだったが、それを40ビットに拡張している。1ワードには40ビットの数か20ビットの命令2個が格納される。主記憶は2本のウィリアムス管で、それぞれ32×40ビットワードの容量があり、この32ワードを1ページと称する。さらに二次記憶として磁気ドラムメモリがあり、中間版では32ページの容量で、最終版では128ページに拡張された。磁気ドラムの直径は300mmで、当初「磁気ホイール」と呼ばれていた。表面に磁気トラックが並んでいて、トラック毎に読み書き用ヘッドがある。各トラックは2,560ビットの容量で、2ページ（2×32×40ビット）に相当する。磁気ドラムメモリから主記憶の2つのCRTへの2ページのデータ転送にかかる時間は30ミリ秒だが、実際にはヘッドが当該ページの先頭の位置に来るまでのレイテンシが発生する。磁気ドラムへのページの書き込みは読み取りの約2倍の時間がかかる。ドラムの回転速度は本体のクロック周波数に同期しており、それによって磁気ドラムメモリを追加することが可能となっている。ドラムへのデータ記録は位相変調方式であり、今ではマンチェスタ符号と呼ばれている。 命令セットはSSEMでは7種類だったが、ハードウェアの変更に伴った部分も含めて26種類に増えている。さらに最終版では30命令となった。各ワードの10ビットの部分に命令コードが格納される。標準的な命令処理時間は1.8ミリ秒だが、乗算はオペランドのサイズに応じてもっと時間がかかる。 最大の改良点はインデックスレジスタの導入であり、現代のコンピュータでは一般的な機能である。SSEMには、アキュムレータ (A) とプログラムカウンタ (C) という2つのレジスタがウィリアムス管で実装されていた。AとCが既に割り当てられていたので、2つのインデックスレジスタを保持するウィリアムス管はBラインと呼ばれ、インデックスレジスタは B と呼ばれるようになった。インデックスレジスタの内容は命令を修飾するのに使われ、メモリ上の配列を順次アクセスする際に便利である。Mark 1 には4番目のウィリアムス管 (M) があり、乗算命令の被乗数と乗数を保持するのに使う。 各命令は20ビットであり、そのうち10ビットは命令コードで、最大1,024 (210) 種類の命令を表現できる。ただし実際に実装した命令は当初は26種類で、磁気ドラムと主記憶CRT間のデータ転送をプログラムから制御できるようにした時点で30種類に増えている。中間版ではプログラムをキースイッチ群で入力し、出力デバイスとして使われているCRTに結果をドットとダッシュで表示した。出力方式はSSEMと Mark 1 で共通である。しかし1949年10月に完成した最終版では、紙テープのリーダおよびパンチ機を備えたテレプリンタが入出力装置として追加されている。 数学者アラン・チューリングは1948年9月、マンチェスター大学計算機研究所の副所長職を提供され、ITA2のテレタイプ用5ビットコードを基に底を32とする符号化方式を考案し、紙テープでプログラムやデータを供給し、処理結果を紙テープに記録することができるようにした。ITA2の符号体系は、5ビット (25) の32種類の2進数それぞれに1つの文字を割り当てている。例えば "10010" は "D"、"10001" は "Z" などとなる。チューリングはこの符号化規格を若干変更して、00000 は "no effect"、01000 は "linefeed" を意味することにし、テレタイプ端末ではそれらを "/" と "@" という文字に対応させた。2進数のゼロがスラッシュで表されるので、プログラムやデータを文字で表現すると "///////////////" といった文字列が先頭に置かれることが多い。チューリングがこのような文字を割り当てた理由として、初期のユーザーの1人はマンチェスターが雨が多いことで有名であることから、無意識にそれを表現したのではないかと示唆している。 Mark 1 のワード長は40ビットであるため、テレプリンタの5ビットキャラクタ8文字で1ワードを表現できる。例えば、2進数で 10001 10010 10100 01001 10001 11001 01010 10110 となるワードは、紙テープ上では ZDSLZWRF と表現される。記憶装置内の任意のワードの内容をテレプリンタのキーボードから設定でき、処理結果はテレプリンタに出力される。マシン内部は2進数だが、十進から2進、2進から十進への変換をそれぞれ入力と出力で行うことができた。 Mark 1 にはアセンブリ言語が定義されなかった。プログラムは2進数形式で書き、転送する必要があり、各40ビットワードを8文字の5ビットキャラクタに符号化して入力する。プログラマは仕事を容易にするために、ITA2符号体系の修正版を暗記する必要があった。データはプログラムの制御下で紙テープ装置から読み書きされた。Mark 1 には割り込みが存在しない。プログラムはリードまたはライト操作を開始した後も実行を続け、別の入出力命令に遭遇すると、以前の入出力の完了を待ち合わせるようになっていた。 Mark 1 にはオペレーティングシステムがない。システムソフトウェアと呼べるものはいくつかの基本的な入出力ルーチンしかない。SSEMと同様、記憶装置上は最下位の桁が左に来るように格納されており、通常の数学での表現とは逆である。例えば1を5ビットで表すと、"00001" ではなく "10000" となる。負数は2の補数で表現されており、これは現代のコンピュータと同じである。この表現方式では最上位ビットがその数の符号を表しており、正数はそれが0となり、負数ではそれが1になる。したがって、40ビットワードで表せる数の範囲は −239 から +239 − 1（-549,755,813,888 から +549,755,813,887）となる。 最初の実用的プログラムが動作したのは1949年4月の早い時期で、メルセンヌ数を探すプログラムであった。1949年6月の16日から17日にかけてエラーを起こさずに9時間連続で動作した。アルゴリズムはマンチェスター大学の数学科学科長マックス・ニューマンが考案し、キルバーンとトゥーティルがプログラムを書いた。チューリングはさらに最適化したプログラムを書き、Mersenne Express（メルセンヌ急行）と名付けた。 1949年から1950年にかけて、他にも数学的な問題を解くのに使われており、リーマン予想の研究などにも使われた。 トゥーティルは1949年8月、マンチェスター大学からフェランティに出向して Ferranti Mark 1 の設計に従事し、同社で4カ月を過ごした。Manchester Mark 1 は1950年末までに分解され廃棄され、数カ月後には世界初の商用汎用コンピュータ Ferranti Mark 1 の1号機が納入された。 1946年から1949年まで、SSEMと Manchester Mark 1 の設計チームの人数はおおよそ4人だった。その間に34件の特許を取得しており、特許権者は軍需省かその後継であるイギリス国立研究開発公社（英語版） (NRDC) である。1949年7月、IBMは旅費を提供してウィリアムスをアメリカに招き、Mark 1 の設計について聞き出した。その後同社はウィリアムス管など Mark 1 に関連する特許のいくつかのライセンスを取得し、701 および 702 の設計に活用した。Manchester Mark 1 関連で最重要な特許はインデックスレジスタについてのもので、ウィリアムス、キルバーン、トゥーティル、ニューマンの連名になっている。 キルバーンとウィリアムスは、コンピュータは純粋数学よりも科学技術計算で使うべきだと考え、浮動小数点演算装置を備えた新しいマシンの開発を開始した。開発は1951年に始まった。1954年5月に稼働開始したマシンは Meg または "megacycle machine" と呼ばれた。Mark Iよりも小さく単純で数値演算は高速だった。フェランティは、Meg のウィリアムス管を磁気コアメモリに置換したマシンを作り、Ferranti Mercury（英語版） として販売した。 SSEMと Manchester Mark 1 が稼働に成功したことをイギリスの報道機関の多くは "electronic brain"（電子頭脳）という呼称を使って取り上げた。（なお、「電子頭脳」という言葉は1946年10月31日、ルイス・マウントバッテンがイギリス・ラジオ技師協会での講演で使ったもので、生まれたばかりのコンピュータが将来どう発展するかを推測して述べたものである。）　Mark 1という明らかに現代的なコンピュータを扱った1949年の報道は、一種の熱狂を引き起こし、MarkIの開発者たちが予想もしていなかった反応を引き起こした。マンチェスター大学神経外科の教授ジェフリー・ジェファーソン（英語版）がイングランド王立外科医師会からリスターメダル（英語版）を授与されて1949年6月9日に受賞記念講演をする際に、講演のテーマとして "The Mind of Mechanical Man"（機械人間の心）を選び、Manchester Mark 1 の実態を暴露したのである。彼は講演で次のように述べた。 記号の適当な組合わせではなく、思考や感情の発露として詩を書いたり協奏曲を作曲したりできるようになるまで、機械が人間の脳と同等だという意見に合意することはできない。すなわち、単に書くだけでなく、自分が書いているという自覚が必要だ。機械は成功を喜んだり、故障したとき悲しんだり、褒められて嬉しがったり、間違ってみじめになったり、性に魅了されたり、欲しいものを手に入れられなくて怒ったりすることはない。 このジェファーソンの講演についてタイムズ紙が翌日に報道し、「王立協会の上品な部屋がこれらの新たなフェローを収納するためにガレージに改造される日は決して来ないだろう」というジェファーソンの予測を付記した。これは、チームが開発を継続するために王立協会から資金援助を獲得したニューマンへのあからさまな軽蔑と解釈された。この報道にニューマンが反応しタイムズ紙に記事を寄せ、Mark 1 と人間の脳の構造には類似性があると主張した。その記事はチューリングとのインタビューも含んでおり、チューリングの言として以下の文章が掲載されていた。 これは単に将来の予兆であり、将来そうなるであろうものの影である。我々はこのマシンの能力を本当に知るために、何らかの経験を積む必要がある。新しい可能性に到達するには何年もかかるかもしれないが、人間の知性を必要とする分野にそれが進出して人間と対等に競うことになったとしても不思議ではないと思う。 ^ 通常エンディアンはバイト順であり、バイト内のビットの順序がどうなっているかは示さない。しかし、ウィリアムス管はCRTを使っている関係でビットがCRT上に並んでいるため、このような表現になる。しかも、バイトという考え方も採用していないので、紙テープ上のビットの並びはウィリアムス管でのビットの並びに合わせてあった。 ^ この議論については、当記事末尾 #文化的影響の節で説明する。 ^ a b c Lavington 1998, p. 20 ^ a b c d The Manchester Mark 1, University of Manchester, http://www.digital60.org/birth/manchestercomputers/mark1/manchester.html 2009年1月24日閲覧。  ^ Turing, A. M. (1936), “On Computable Numbers, with an Application to the Entscheidungsproblem”, Proceedings of the London Mathematical Society, 2 42: pp. 230–265, 1936–37, doi:10.1112/plms/s2-42.1.230, http://www.comlab.ox.ac.uk/activities/ieg/e-library/sources/tp2-ie.pdf . ^ Lee 2002, p. 67 ^ IT用語辞典e-words【ノイマン型コンピュータ、プログラム内蔵方式】 ^ モーリス・ウィルクス著『ウィルクス自伝』 p. 141 ^ Lavington 1998, p. 7 ^ Enticknap, Nicholas (Summer 1998), “Computing's Golden Jubilee”, Resurrection (The Bulletin of the Computer Conservation Society) (20), ISSN 0958-7403, http://www.cs.man.ac.uk/CCS/res/res20.htm#d 2008年4月19日閲覧。  ^ Early Electronic Computers (1946–51), University of Manchester, http://www.computer50.org/mark1/contemporary.html 2008年11月16日閲覧。  ^ Lavington 1998, p. 9 ^ Lavington 1998, p. 8 ^ a b c d Lavington 1998, p. 17 ^ Lavington 1998, p. 21 ^ Newman's Contribution to the Mark 1 Machines, University of Manchester, http://www.computer50.org/mark1/newman.html 2009年1月23日閲覧。  ^ a b c d Napper, R. B. E., The Manchester Mark 1, University of Manchester, http://www.computer50.org/mark1/MM1.html 2009年1月22日閲覧。  ^ Lavington, S. H. (July 1977), The Manchester Mark 1 and Atlas: a Historical Perspective, University of Central Florida, http://www.cs.ucf.edu/courses/cda5106/summer03/papers/mark1.atlas.1.pdf 2009年2月8日閲覧。 . (Reprint of the paper published in Communications of the ACM (January 1978) 21 (1) ^ a b Kilburn, Tom, The University of Manchester Universal High-Speed Digital Computing Machine, University of Manchester, http://www.digital60.org/birth/manchestercomputers/mark1/documents/natureart.html 2009年2月2日閲覧。 . (Reprint of Kilburn, Tom (1949). "The University of Manchester Universal High-Speed Digital Computing Machine". Nature 164). ^ a b c Lavington 1998, p. 18 ^ Lavington 1998, pp. 17–18 ^ Leavitt 2007, p. 232 ^ Leavitt 2007, p. 233 ^ a b Programmers' Handbook (2nd Edition) for the Manchester Electronic Computer Mark II, University of Manchester, http://www.computer50.org/kgill/mark1/progman.html 2009年1月23日閲覧。  ^ Napper 2000, p. 370 ^ Lavington 1998, p. 19 ^ Lavington 1998, pp. 24–25 ^ Burton, Christopher P. (DOC), Baby’s Legacy – The Early Manchester Mainframes, University of Manchester, ftp://ftp.cs.man.ac.uk/pub/CCS-Archive/misc/ICLJNL1.DOC 2009年1月24日閲覧。  ^ Lavington 1998, p. 23 ^ Lavington 1998, p. 31 ^ Fildes, Jonathan (20 June 2008), One tonne 'Baby' marks its birth, BBC News, http://news.bbc.co.uk/1/hi/technology/7465115.stm 2009年2月10日閲覧。  ^ “An Electronic Brain”, The Times: p. 2, (1 November 1946)  ^ a b Leavitt 2007, p. 236 ^ Leavitt 2007, p. 237 ^ Leavitt 2007, pp. 237–238 Lavington, Simon (1998), A History of Manchester Computers (2 ed.), The British Computer Society, ISBN 1-902505-01-8  Lavington, Simon H. (Jul–September 1993), “Manchester Computer Architectures, 1948–1975”, IEEE Annals of the History of Computing (IEEE) 15 (3): 44–54, doi:10.1109/85.222841  Leavitt, David (2007), The Man Who Knew Too Much: Alan Turing and the Invention of the Computer, Phoenix, ISBN 978-0-7538-2200-5  Lee, J. A. N. (2002), “Some Great Myths of the History of Computing”, in Brunnstein, Klaus; Berleur, Jacques, Human Choice and Computers: Issues of Choice and Quality of Life in the Information Society, Springer, ISBN 978-1-4020-7185-0  Napper, R. B. E. (2000), “The Manchester Mark 1 Computers”, in Rojas, Raúl; Hashagen, Ulf, The First Computers: History and Architectures, MIT Press, pp. 356–377, ISBN 0-262-68137-4, https://books.google.co.jp/books?id=nDWPW9uwZPAC&redir_esc=y&hl=ja  マンチェスター・コンピュータ Autocode The Manchester Mark 1 （英語） Early computers at Manchester University （英語） in Resurrection (The Bulletin of the Computer Conservation Society) 1 (4), Summer 1992, ISSN 0958-7403