オードリー・ベイツ（プログラマー）
オードリー・ベイツ | |
|---|---|
| 生まれる | マージェリー・オードリー・ベイツ 1928 |
| 死亡 | 2014年（85～86歳） |
| 母校 | マンチェスター大学 |
マージェリー・オードリー・ベイツ（クレイトン・ウォリス）（1928年 - 2014年）は、イギリス系アメリカ人のコンピュータプログラマーで、1948年にマンチェスター・マークIコンピュータ上でラムダ計算を実行するための最初のプログラムを書いた。[ 1 ]
キャリア
ベイツは1949年の夏、マンチェスター大学で数学の首席学位を取得して卒業した。[ 2 ]彼女はアラン・チューリングの研究生として受け入れられ、チューリングとシセリー・ポプルウェルと研究室を共有した。[ 3 ] 1950年にベイツは「チャーチのラムダ計算における問題の機械的解法」と題する修士論文を提出した。[ 4 ]この論文は、極めて原始的なマンチェスター・マークI電子計算機で高階論理推論を実行する試みが成功したことを記録している。[ 3 ] [ 2 ]
マンチェスター・マークIが地元の電子機器メーカーであるフェランティ社によって商品化された際、ベイツはプログラマーとして同社に入社した。フェランティ社在籍中、彼女はヴィヴィアン・ボウドン著『Faster Than Thought 』 （電子計算入門書として人気を博した）のいくつかのセクション（一部はクレジットされていない）を執筆した。[ 2 ] [ 5 ]
1952年、ベイツはトロント大学に設置されたFERUT（フェランティ・マークI）の開発に着手した。[ 2 ] 1955年、ベイツはFERUTが初めてコンピュータへの自動リモートアクセスを実行した際に、それを監督している写真が撮られた。[ 6 ] [ 7 ]
1979年、ベイツはアメリカの軍事シンクタンクで「未来学者」として働いていた。[ 8 ]
私生活
ベイツは2度結婚し、4人の子供に恵まれた。[ 1 ]最初の夫ケン・ウォリスはフェランティのプログラマー仲間だった。[ 9 ] 2番目の夫はリー・クレイトン（1927-2024）で、ベイツは後にクレイトンの名で作品を出版した。[ 7 ]
参考文献
- ^ a b「Marjorie Audrey Bates/Wallisの生年月日と死亡日」ancestry.co.uk。
- ^ a b c dスウィントン、ジョナサン (2019).アラン・チューリングのマンチェスター. マンチェスター: インファング出版. pp. p119. ISBN 978-0-9931789-2-4。
- ^ a bアンドリュー・ホッジス (2014). 『アラン・チューリング：謎』 ロンドン. ISBN 9781784700089. OCLC 890394618 .
{{cite book}}: CS1 メンテナンス: 場所の発行元が見つかりません (リンク) - ^ベイツ、オードリー (1950).チャーチのラムダ計算における問題の機械的解法（学位論文）. マンチェスター大学.
- ^ Bowdon (1953). Faster Than Thought . Pitman.
- ^ペドウェル、スーザン（2013年）「情報ハイウェイへの道を開く」
- ^ a b「コンソールの前の女たち」。アラン・チューリングのマンチェスター。2021年1月18日閲覧。
- ^ 「DTIC ADA083756: 新たな社会的・経済的動向が沿岸警備隊の人員と運営に及ぼす影響の評価。第2巻」 1979年12月。
- ^ラヴィントン、サイモン、「スターダスト：コンピューティング黎明期の物語」。コンピュータ保存協会での講演、マンチェスター、2019年2月19日。
