アーサー・バークス

アーサー・バークス
アーサー・バークス、2001年
生まれる	( 1915-10-13 )1915年10月13日
死亡	2008年5月14日(2008-05-14)（享年92歳）
母校	ミシガン大学
注目すべき作品	ENIACの設計に貢献した

アーサー・ウォルター・バークス（1915年10月13日 - 2008年5月14日）は、 1940年代に世界初の汎用電子デジタルコンピュータであるENIACの設計に貢献したプロジェクトの主任エンジニアとして働いたアメリカの数学者。数十年後、バークスと妻のアリス・バークスは、ENIACの主題がジョン・ヴィンセント・アタナソフから派生したものであるという主張を概説した。バークスは数十年にわたり、ミシガン大学アナーバー校の教員でもあった。

バークスはミネソタ州ダルース生まれ。 1936年にインディアナ州グリーンキャッスルのデポー大学で数学と物理学の学士号を取得し、 1937年にミシガン大学アナーバー校で哲学の修士号と博士号をそれぞれ取得。 ^[要出典]

博士号を取得した夏、バークスはペンシルバニア州フィラデルフィアに移り、ペンシルバニア大学ムーア電気工学部が提供する国防電子工学コースを受講した。彼の研究室の助手はムーア電気工学部の大学院生であるJ. プレスパー エッカート、同級生はペンシルベニア州カレッジビル近郊のアーサイナス大学の物理学部長であるジョン モークリーであった。バークスとモークリーはともに翌年の秋にムーア電気工学部で教職に就き、学年を通して同室となった。^[要出典]

1943 年 6 月、モークリーとエッカートが提案した電子デジタル コンピュータのコンセプトが米国陸軍の弾道学研究所によって資金提供を受けたとき、バークスが設計チームに加わりました。バークスがプロジェクトに大きく貢献したのは、高速乗算器の設計でした。(またこの時期に、バークスはムーア スクールに勤務していた人間コンピュータのアリス ロウと出会い、結婚しました。 )

1945年4月、バークスはジョン・グリスト・ブレイナードとともに、ENIACの技術報告書の執筆を任された。また、1945年中、バークスはモークリー、エッカート、ジョン・フォン・ノイマン らが出席した会議で、EDVACの予備的な論理設計を支援した。

バークスは1945年から1946年にかけてスワースモア大学で哲学の非常勤講師も務めた。

1946 年 3 月 8 日、バークスはフォン ノイマンからニュージャージー州プリンストン高等研究所のコンピュータ プロジェクトに参加するよう依頼を受け、翌年の夏からフルタイムで参加しました。(このプロジェクトには、ENIAC チームの別のメンバーであるハーマン ゴールドスタインがすでに参加していました。ゴールドスタインとバークスは1946 年夏にムーア スクールの講義を9 回行いました。) IAS 在籍中、バークスはフォン ノイマンのオートマトン理論の拡張に取り組みました。^[要出典]

このプロジェクトに取り組んだ後、バークスは1946年にミシガン州アナーバーに移り、ミシガン大学の教員となり、最初は哲学の助教授として、1954年には教授になった。彼はアーヴィング・コピとともに、汎用コンピューティングに必要な設計を概説した。^[1]

バークスは、1956 年にコンピューターの論理グループとして同大学のコンピューター科学部門の設立に携わり、同部門のディレクターを務めた。その後、1957 年に大学院プログラムとして、そして 1967 年に新設されたコンピューターおよび通信部門内の学部プログラムとして同部門を設立し、1971 年まで同部門の学部長を務めた。彼は、コンピューター マシンの純粋に理論的な側面に主な関心があったため、別の大学のコンピューター センターの責任者の職を辞退した。1956年にルイス E. レヴィ メダルを受賞した。 ^[要出典]

バークスの博士課程の学生にはジョン・ホランドがおり、彼は1959年にミシガン大学でコンピュータサイエンスの博士号を取得した最初の学生であり、おそらく世界初の学生であった。^[2]

バークスは1954年から1955年にかけてチャールズ・S・パース協会の会長を務めた。^{[3]彼は1958年に出版された}チャールズ・サンダース・パース著作集の最後の2巻（VII-VIII）を編集し、長年にわたりパースに関する論文を執筆した。

1960 年代に、彼はメリーランド州アバディーンの倉庫で錆びついていたオリジナルの ENIAC 4 台を入手する機会に恵まれました。彼はこれらのユニットを洗車機にかけてから修復し、ミシガン大学に寄贈しました。現在、それらはコンピュータ サイエンス ビルの入り口に展示されています。^[要出典]

1964年、バークスは弁護士のサイ・ユーターから、T・カイト・シャープレスとロバート・F・ショーの訴訟に加わるよう依頼された。この訴訟は、彼らの名前をENIACの特許に発明者として追加するもので、特許のエッカート＝モークリーの権益を所有し、当時他のコンピュータ製造業者から使用料を求めていたスペリー・ランドとは別に、彼らは世界初の電子デジタルコンピュータのライセンス販売から利益を得ることができるはずだった。この試みは成功しなかった。1973年のハネウェル対スペリー・ランドの判決で、米国地方裁判所判事アール・R・ラーソンは、特許を無効としながらも、ENIACを発明したのはモークリーとエッカートだけであり、バークス、シャープレス、ショーを発明者として追加することはできないと裁定した。^[要出典]

1970年代、バークスはボブ・アクセルロッド、マイケル・コーエン、ジョン・ホランドといった複雑適応システムの研究に学際的なアプローチをすることに関心を持つ研究者と会うようになった。BACHグループ（彼らの姓の頭文字をとって）として知られるこのグループには、ピューリッツァー賞受賞者のダグラス・ホフスタッター、進化生物学者のウィリアム・ハミルトン、微生物学者の マイケル・サヴァジョー、数学者のカール・サイモン、コンピュータ科学者のレイコ・タネーゼ、メラニー・ミッチェル、リック・リオロなどが含まれるようになった。BACHグループは、ミシガン大学の複雑系研究センター（CSCS）の一環として、不定期に会合を続けている。^[要出典]

1970年代から1980年代にかけて、バークスは妻のアリスとともに、ENIACに関する数多くの論文やアタナソフ・ベリー・コンピュータに関する本を執筆した。^[4]

1990年、バークスは自身の論文の一部を大学のベントレー歴史図書館に寄贈し、研究者が閲覧できるようになった。

バークスは2008年5月14日、ミシガン州アナーバーの老人ホームでアルツハイマー病のため亡くなった。^{[5] [6] [7]}

• 2023年：アメリカコンピュータ＆ロボティクス博物館よりスティビッツ・ウィルソン賞^[8]

• Burks, Arthur W., Goldstine, Herman H.およびvon Neumann, John (1946)、「電子計算機の論理設計に関する予備的考察」、42 ページ、Institute for Advanced Study、プリンストン、ニュージャージー、1946 年 6 月、第 2 版 1947 年。Eprint。
• Burks, Arthur W. および Wright, Jesse Bowdle (1952)、論理ネットの理論。Amazon によると: Burroughs Adding Machine Co. 発行。Google Books によると: University of Michigan Engineering Research Institute 発行。52 ページ。Deep Blue Eprint。
• Burks, Arthur W. および Copi, Irving M. (1954)、「理想化された汎用コンピュータの論理設計」、Amazon によると: Burroughs Corporation Research Center 発行、Google Books によると: University of Michigan Engineering Research Institute 発行、154 ページ。Deep Blue Eprint。
• Burks, Arthur W. (1956)、「固定オートマトンと成長オートマトンの論理」、ミシガン大学工学研究所、34 ページ。
• Burks, Arthur W. および Wang, Hao (1956)、「オートマトン論理」、Amazon によれば: Air Research and Development Command 発行。Google Books によれば: University of Michigan Engineering Research Institute 発行。60 ページ。Deep Blue Eprint。
• Peirce, Charles Sandersおよび Burks, Arthur W. 編 (1958)、『Collected Papers of Charles Sanders Peirce』第 7 巻および第 8 巻、Harvard University Press、マサチューセッツ州ケンブリッジ、また Belknap Press (Harvard University Press 所属) 版、第 7 巻から第 8 巻をまとめた本、798 ページ、InteLex でオンライン、1998 Thoemmes Continuum で再版。
• Burks, Arthur W. (1971)、「セルラーオートマトンに関するエッセイ」、イリノイ大学出版局、375 ページ。
• Burks, Arthur W. (1978)、Charles S. Peirce、Carolyn Eisele 編著『The New Elements of Mathematics』の書評、アメリカ数学会誌、第 84 巻、第 5 号、1978 年 9 月、Project Euclid Eprint PDF 791KB。
• バークス、アーサー W. (1978)。偶然、原因、理由: 科学的証拠の性質についての調査。シカゴ、イリノイ州およびロンドン: シカゴ大学出版局。ISBN 9780226080871– インターネットアーカイブ経由。
• Burks, Arthur W. およびBurks, Alice R. (1981)、「ENIAC: 最初の汎用電子コンピュータ」、Annals of the History of Computing、第 3 巻、第 4 号、1981 年 10 月、310 ～ 399 ページ。
• Burks, Arthur W. (1986)、「ロボットと自由な精神」、ミシガン大学文学・科学・芸術学部、97 ページ。
• バークス、アリス・R.、アーサー・W.バークス（1988年）。『世界初の電子コンピュータ：アタナソフの物語』ミシガン州アナーバー：ミシガン大学出版局。ISBN 0-472-10090-4– インターネットアーカイブ経由。
• Burks, Arthur W. (1996)、「Peirce の進化論的実用主義的理想主義」、Synthese、第 106 巻、第 3 号、323–372 ページ。

Arthur W. Burks による多数の記事が、 Nathan Houser、Don D. Roberts、James Van Evraof 著『Studies in the Logic of Charles Sanders Peirce』の索引の 599 ページに掲載されています(Google Book Search Beta の 599 ページ)。

• 仮数
• 逆ポーランド記法

• サルモン、メリリー H. 編 (1990)。『論理メカニズムの哲学: アーサー W. バークスを讃えたエッセイ集とその応答』ドルドレヒト、オランダ: クルーワー アカデミック。

ウィキソースには、アーサー・バークスによる、またはアーサー・バークスに関する原著作品があります。

• アリス・R・バークスとアーサー・W・バークスへの口述歴史インタビュー。 ミネソタ大学チャールズ・バベッジ研究所。
• 数学系譜プロジェクトのアーサー・バークス
• インターネット アーカイブにあるアーサー バークスの著作またはアーサー バークスに関する作品