ベアトリス・ワースリー

ベアトリス・ワースリー
生まれる
ベアトリス・ヘレン・ワースリー
（1921年10月18日）1921年10月18日[ a ]
ケレタロ市、メキシコ
死亡1972年5月8日（1972年5月8日）（50歳）
ウォータールー、オンタリオ州、カナダ
休憩所マウントプレザント墓地、トロント、カナダ
その他の名前トリクシー
母校
知られているコンピューティングの初期の博士号、 EDSACで実行された最初のプログラム
科学者としてのキャリア
フィールドコンピュータサイエンス
論文実数および理想化されたデジタル計算機のためのシリアルプログラミング （1952年提出、1954年受賞）
博士課程の指導教員

ベアトリス・ヘレン・ワースリー（1921年10月18日[ a ] - 1972年5月8日）は、通称「トリクシー」ワースリーとして知られ、カナダのコンピュータ科学者であり、同国でこの分野で活躍した最初の女性でした。彼女はケンブリッジ大学でダグラス・ハートリーを指導教官に迎え、アラン・チューリングの助言も受けながら博士号を取得しました。[ 1 ]これは、今日コンピュータサイエンスと呼ばれる分野における最初期の博士号取得者の一人です。また、ケンブリッジ大学でモーリス・ウィルクスの指導を受けていたデイビッド・ウィーラーと並行して博士号を取得していました。彼女はEDSACで動作する最初のプログラムを作成し、トロントのフェランティ・マーク1用の最初のコンパイラを共同で開発しました。また、コンピュータサイエンスに関する多数の論文を執筆し、 50歳という若さで亡くなるまで20年以上にわたり、クイーンズ大学とトロント大学でコンピュータと工学を教えました。[ 2 ]

若いころ

ベアトリスは1921年10月18日[ a ]にジョエルとベアトリス・マリー（旧姓トリンカー）の子として生まれた。ジョエルは1887年、マンチェスターのアシュトン・アンダー・ラインで労働者階級の家庭に生まれた。ベアトリス・マリーの祖父母は1850年代にメキシコのシアで繊維工場を経営しており、1908年にジョエルとベアトリス・マリーは工場で働くために移住した。工場は1917年頃に反乱軍によって破壊され、ジョエルはリオグランデ・グループのCIMSA工場に就職し、ゼネラルマネージャーにまで昇進した[ 3 ] 。

Beatrice Marie gave birth to a son in 1920, Charles Robert, and then Beatrice Helen the next year. The two were homeschooled for security reasons, having little interaction with their neighbours. In 1929, Joel moved the family to Toronto to provide better schooling for his children. Charles entered Upper Canada College, while Beatrice started at Brown Public School, but moved to Bishop Strachan School in 1935.[3]

Bishop Strachan offered two tracks, and Beatrice enrolled in the more difficult university prep courses. She excelled to the point that the headmaster stated she was one of the best students to attend the school. She graduated in 1939 with awards in maths, science, and for having the highest overall grade, earned the Governor General's Award.[4]

Undergraduate studies

Worsley won the Burnside Scholarship in Science from Trinity College, part of the University of Toronto, and began studies in September 1939. Her high marks won her the first Alexander T. Fulton Scholarship in Science.[5]

For her second year, she transferred to the Mathematics and Physics division, an applied program rather than a theoretical one. In her third year, Worsley won the James Scott Scholarship in Mathematics and Physics. Graduating in 1944 in mathematics and physics with a Bachelor of Arts, she had the distinction of earning the highest mark in every class every year.[5]

Wartime service

Immediately after graduation, Worsley enlisted in the Women's Royal Canadian Naval Service, better known as the "Wrens". After basic training at HMCS Conestoga[b] in Galt (today known as Cambridge, Ontario), she was assigned to the Naval Research Establishment (NRE) in Halifax. She was first tasked with studying harbour defences, then degaussing, and torpedo guidance.[5]

第二次世界大戦終結後、ワースリーはNREに所属するレン艦隊の中で唯一、現役にとどまることを選んだ。1945年9月、ワースリーは中尉に昇進し、船体腐食に関する新たな研究プロジェクトに着任した。翌年、ワースリーは150日間を海上で過ごし、その多くはNREのバンガー級掃海艇、HMCSクインテでの航海であり、これはレン艦隊の記録として今日まで破られていない[ 6 ] 。この航海のほとんどは、カナダ大西洋の冬の過酷な気象条件下で行われ、ワースリー自身も「男の仕事」と呼んでいたこの任務に、乗組員から敬意を払われた。ワースリーは1946年8月に正式に復員した[ 7 ] 。

MIT大学院生

レンス兄弟を去った直後、ワースリーはMITの数学と物理学の1年間の修士課程に入学した。彼女が受講した授業の中には、ラースロー・ティサが担当する固体物理学のコースや、MITが世界をリードしていたフィードバック増幅器とサーボ機構のコースなどがあった。[ 6 ]

彼女の学位論文「計算機の数学的概論と微分解析装置の誤差解析に関する付録」は、 MIT放射線研究所の著名なメンバーであるヘンリー・ウォールマンの指導の下で完成された。この論文は当時存在したほぼすべての計算機を網羅していた。議論された機械の中には、ハーバード・マークIとマークII、IBMの機械式および電気機械式計算機、ベル研究所のリレー式デジタル計算機、ENIAC、EDVAC、IASマシン、Whirlwind IとII、EDSACなどがあった。付録ではいくつかの微分解析システムを取り上げ、それらの誤差の原因を検証した。これは初期の計算機に関する最も詳細な記述の一つとして今も残っている。[ 6 ]

トロントの計算センター

論文を書き終えた後、ワースリーはカナダに戻り、未来はコンピュータにあると家族に告げた。しかし、当時のカナダにはコンピュータ産業が存在しなかったため、彼女はカナダ国立研究会議（NRC）の航空力学部門に就職した。[ 8 ]

この時期、トロント大学は、大学内の研究施設として、またサービスビューローとして、商用および政府機関のユーザーに計算機の使用時間を販売する計算機部門を開設する計画を立てていました。1947年9月、NRCから最初の資金が提供され、IBMパンチカード式機械式計算機2台と、それらを操作するアシスタント2名が購入されました。ワースリーはこの取り組みを知り、NRCに数ヶ月しか勤務していなかったにもかかわらず、このポジションに応募しました。彼女は1948年1月に新設部門に加わりました。[ 9 ]

センターでの彼女の最初の仕事の一つは、カナダ原子力庁（AECL）との契約で、スタッフアドバイザーのケリー・ゴットリーブと、ワースリーと同時に雇われたもう一人の助手であるJ・パーハム・スタンリーと共に計算支援を行うことだった。[ 9 ] 1948年の夏、彼女はメカノの部品から微分解析装置を製作した。これはハートリーとアーサー・ポーターが1935年に説明したものと類似している。この解析装置に関する情報はほとんど残っていないが、2番目のモデル、あるいはオリジナルの復元版が1951年に学生たちによって製作された。[ 10 ]

ケンブリッジ

解析装置が完成すると、ワースリーとスタンリーはイギリスに派遣され、当時ケンブリッジ大学ケンブリッジ数学研究所で建設中だったEDSACの設計について可能な限りの調査を行った。到着した二人は、装置がほぼ完成していることを確認し、1949年5月6日に最初の試験運転を開始できるよう、できる限り協力した。この装置で初めて正常に動作したプログラムは、ワースリーが開発に協力した平方数計算プログラムであった[ 9 ] [ 11 ]。彼女は後に、このプログラムと類似のプログラムを複数まとめ、このテーマに関する初期の論文の一つである『EDSACデモンストレーション』を執筆した[ 12 ]。

翌月、ケンブリッジで計算機に関する会議が開催され、ワー​​スリーは平方数を生成するプログラムと、素数表を生成する新しいプログラムに関する報告書を作成した。報告書には、サンプル出力に加え、コードの説明と計算機上での実行方法が含まれていた。[ 13 ]この報告書は会議の議事録に掲載され、数年後、ブライアン・ランデルが1973年に出版した著書『デジタルコンピュータの起源』に取り上げられた。これにより、ワースリーはその後も長きにわたり計算機分野で名を馳せることとなった。[ 14 ]

ワースリーはその後、ニューナム・カレッジで博士課程に進みました。研究所で研究している間、彼女はポール・ディラック、ジョン・レナード＝ジョーンズ、ニコラス・ケマーの量子物理学、アルバート・インガムの数論、そしておそらく最も重要なのはダグラス・ハートリーの数値解析の講義を受講しました。彼女はハートリーの指導の下、博士論文の執筆を開始しました。偶然にも、ハートリーは別のカナダ人女性、シャーロット・フィッシャーの指導も受けていました。[ 14 ]

この研究の途中で、理由は不明だが、ワースリーはトロントに戻り[ 15 ]、トロント大学の数学教授バイロン・グリフィスの指導の下で博士論文の執筆を続けた。その後まもなく、彼女は1951年7月に計算センターに再雇用された。ハートリーは博士論文を承認し、ワースリーは1952年に博士号を取得した[ 14 ]。

彼女の論文「現実および理想化されたデジタル計算機のための逐次プログラミング」は、現代コンピュータに関する最初の博士論文と考えられている。[ 14 ]この論文には、チューリングマシンによる数値計算に関する多くの議論と、EDSACに代表される現実世界の事例が含まれている。さらに、どの機械命令が必要で、どの命令が他の命令の組み合わせで実現できるかを認識する手法についても説明されている。チューリングとクロード・シャノンはともにこの概念の理想化されたバージョンを議論していたが、ワースリーの貢献は、シャノンの場合のような単一の一般化された解決策ではなく、これを最も効率的に実現する方法を示したことであった。[ 16 ]

FERUTとトランスコード

1948年の夏、コンピューティングセンターはベル研究所のリレー式デジタルコンピュータ「マーク6」のコピーを製作する計画をNRCに持ちかけました。暫定的に承認を得た彼らは、ノーザン・エレクトリック社に設計図の入手を依頼しましたが、ライセンス料として2万5000ドル（2023年の33万2839ドルに相当）がかかると告げられました。彼らは1949年3月にNRCに再度連絡し、ライセンス料と製作費としてさらに5万ドルの支払いを求めましたが、NRCは賢明にもこれらの計画を中止し、代わりに電子版を製作するよう指示しました。[ 17 ]

Together, the university and NRC planned an ambitious program to build a first-rate computer to be used by NRC, the Defense Research Board, and industry. Known as UTEC, construction began in 1951 but quickly ran into serious problems due to the unreliability of their Williams tube memory systems. It was not until late that year that the system was finally reliable enough to be used. At this point, the Centre approached the NRC for funding to complete the system with a parallel math unit.[18]

AECL had been growing increasingly frustrated with the lack of a usable machine, and when they heard NRC had been approached to continue UTEC development, they suggested the funds would be better spent buying a complete machine. Bennett Lewis of AECL was aware that Ferranti had built a complete Ferranti Mark 1 machine for AECL's counterpart in the UK, the United Kingdom Atomic Energy Authority, only to be left holding it when the incoming government cancelled its funding. This was available for only $30,000 (equivalent to $341,522 in 2023), about the same as the first round of funding required for the expanded UTEC.[19]

The machine was purchased in early 1952 and arrived in early 1952, before Worsley rejoined the centre. She was aware of the machine's arrival and christened it FERUT for "Ferranti Electronic computer at the University of Toronto". The machine was operational by the summer, providing UofT with one of the most powerful computers in the world.[19]

In the fall of 1953, Worsley and Patterson Hume began development of a new computer language for the machine, known as Transcode.[20] This was similar to Autocode being developed by Alick Glennie at the University of Manchester for the same machine, but took advantage of several design notes of the Mark I to produce a faster and somewhat easier to use language. One major advantage was the conversion from decimal to binary and back, which allowed programmers to enter numbers in decimal form.[21]

Queen's University

ケンブリッジ大学での輝かしい経歴、数々の高く評価された論文、そして業界初の業績をいくつも残していたにもかかわらず、ワースリーはトロント大学内で何度も昇進を逃した。職員から助教授に昇進したのは1960年、物理学および計算機科学の助教授に昇進したのは1964年になってからだった。計算センター設立初期の他の職員と比べると、彼女の評価ははるかに低かった。[ 22 ]

1965年、ワースリーはクイーンズ大学からIBM 1620をベースにした新しいコンピュータセンターの立ち上げの仕事を引き受けた。[ c ]クイーンズ大学では彼女の職務は教育に重点が置かれるようになり、1971年までにほとんどの時間を教育に充てるようになった。[ 24 ]その年の9月、20年間のこの分野での勤務を終え、彼女はウォータールー大学応用分析・コンピュータサイエンス学部で長期休暇を取った。1972年5月8日、ウォータールーでワースリーは心臓発作で急死した。[ 23 ]

受賞歴

2014年、ワースリーは死後、カナダコンピュータサイエンス協会からコンピュータサイエンス生涯功労賞を受賞した。[ 25 ]

注記

  1. ^ a b cワースリーの墓石には生年が 1922 年と記されているが、メキシコの公式登録簿には生年が 1921 年と記載されている。
  2. ^カナダ海軍基地には船に似た名前が付けられています。
  3. ^ 1620は1967年にIBM 360/40に置き換えられた。 [ 23 ]

参考文献

引用

  1. ^ a b Bowen, Jonathan P. (2019). 「アラン・チューリングの衝撃：形式手法とその先」。Bowen, Jonathan P.、Liu, Zhiming、Zhang, Zili（編）.信頼できるソフトウェアシステムのエンジニアリング. SETSS 2018 (PDF) .コンピュータサイエンス講義ノート. 第11430巻.シュプリンガー社. pp.  202– 235. doi : 10.1007/978-3-030-17601-3_5 . ISBN 978-3-030-17600-6. S2CID  121295850 . 2022年10月9日時点のオリジナルよりアーカイブ（PDF） 。
  2. ^キャンベル 2003 .
  3. ^ a bキャンベル 2003、51ページ。
  4. ^キャンベル 2003、51～52頁。
  5. ^ a b cキャンベル 2003、52ページ。
  6. ^ a b cキャンベル 2003、53ページ。
  7. ^Campbell 2003, pp. 52–53.
  8. ^Campbell 2003, pp. 53–54.
  9. ^ abcCampbell 2003, p. 54.
  10. ^Williams 1994, p. 6.
  11. ^Williams 1994.
  12. ^Randell 1975, pp. 395–401.
  13. ^Worsley, Beatrice (1973). "The E.D.S.A.C. Demonstration". In Randall, Brian (ed.). The Origins of Digital Computers. Selected Papers. Springer-Verlag. pp. 395–401.
  14. ^ abcdCampbell 2003, p. 55.
  15. ^Campbell 2003, p. 56.
  16. ^Campbell 2003, pp. 55–56.
  17. ^Williams 1994, p. 7.
  18. ^Williams 1994, pp. 8–9.
  19. ^ abWilliams 1994, p. 10.
  20. ^Campbell 2003, p. 57.
  21. ^Hume, J.N. Patterson; Worsley, Beatrice (1955). "Transcode: A system of automatic coding for FERUT". Journal of the Association for Computing Machinery. 2 (4): 243–252. doi:10.1145/320809.320811. S2CID 732416.
  22. ^Campbell 2003, p. 59.
  23. ^ abCampbell 2003, p. 60.
  24. ^Campbell 2003, pp. 59–60.
  25. ^"Awards for Lifetime Achievement in Computer Science – 2014". Canadian Association of Computer Science. Archived from the original on 6 November 2016. Retrieved 22 February 2016.

Bibliography

アーカイブ記録

ワースリー、ベアトリス. 「ベアトリス・ワースリー基金」(1951–1972) [テキスト記録]. Fonds F01390 – ベアトリス・ワースリー基金. カナダ、オンタリオ州キングストン：クイーンズ大学アーカイブ、クイーンズ大学.

「 https://en.wikipedia.org/w/index.php?title=Beatrice_Worsley&oldid=1319851073」より取得