Loading article…
ジョン・バッカス | |
|---|---|
 1989年12月のバックス | |
| 生まれる | ジョン・ワーナー・バッカス 1924年12月3日 |
| 死亡 | 2007年3月17日（享年82歳） |
| 母校 | バージニア大学、 ピッツバーグ大学、 ハバフォード大学、 コロンビア大学（BS 1949、MS 1950） |
| 知られている | スピードコーディング FORTRAN ALGOL バッカスナウア形式 関数 レベルプログラミング |
| 配偶者たち | マージョリー・ジェイミソン
（ 1947年 - 1966年バーバラ・ウナ
（ 1968年生まれ 、2004年死去 |
| 子供たち | 2 |
| 受賞歴 | アメリカ国家科学賞 (1975) チューリング賞 (1977) チャールズ・スターク・ドレイパー賞 (1993) |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | IBM |
ジョン・ワーナー・バッカス（1924年12月3日 - 2007年3月17日）は、アメリカのコンピュータ科学者。彼は、最初に広く使われた 高級プログラミング言語であるFORTRANを発明し実装したチームを率い、形式言語の構文を定義するために広く使われている表記法であるバッカス・ナウア記法（BNF）を発明した。彼は後に関数レベルのプログラミングパラダイムを研究し、その研究結果を1977年のチューリング賞受賞講演「プログラミングはフォン・ノイマン式から解放されるか？」で発表した。[1]
IEEEは1967年にFORTRANの開発に対してバックスにWWマクドウェル賞を授与した。 [2]彼は1975年にアメリカ国家科学賞を受賞し[3]、1977年には「FORTRANに関する研究を通じて実用的な高水準プログラミングシステムの設計に多大な影響力と永続的な貢献を果たしたこと、およびプログラミング言語の仕様に関する正式な手順の出版」に対してチューリング賞を受賞した。[4]
ジョン・バッカスは1991年に引退した。彼は2007年3月17日にオレゴン州アッシュランドの自宅で亡くなった。[5]
若いころ
バックスはフィラデルフィアで生まれ、デラウェア州ウィルミントン近郊で育った。[6]ペンシルバニア州ポッツタウンのヒルスクールで学んだが、勤勉な生徒ではなかったようだ。[5]化学を学ぶためにバージニア大学に入学したが、授業についていけず、出席率が悪いという理由で1年も経たないうちに退学となった。[7]その後、第二次世界大戦中にアメリカ陸軍に徴兵され、[5]最終的に伍長に昇進し、ジョージア州フォート・スチュワートに駐屯する対空砲兵隊の指揮を任された。[7]
軍の適性検査で高得点を取った後、陸軍は彼をピッツバーグ大学で工学を学ぶために送りました。[7]その後、彼はハバフォード大学の医学部進学準備プログラムに編入しました。[8]病院での研修中に、彼は頭蓋骨腫瘍と診断され、腫瘍は無事に除去され、彼の頭にプレートが取り付けられました。 彼はその後、医学部のためにフラワー・アンド・フィフス・アベニュー医科大学に進学しましたが、面白くなく、9ヶ月後に中退しました。[7]彼はすぐに、頭の中の金属プレートを自分で設計したものと交換する2回目の手術を受け、[9] 1946年にアメリカ陸軍から名誉除隊を受けました。[7]
フォートラン
ニューヨーク市に移り住んだ後、彼は当初無線技術者として訓練を受け、数学に興味を持つようになった。彼はコロンビア大学を1949年に数学の学士号、1950年に修士号を取得して卒業し、[7] [10] 1950年にIBMに入社した。最初の3年間は選択的順序電子計算機（SSEC）の開発に取り組んだ。彼の最初の大きなプロジェクトは月の位置を計算するプログラムを書くことだった。1953年、バックスはIBMコンピュータ用に作成された最初の高級言語であるスピードコーディング言語を開発し、 IBM 701コンピュータのソフトウェア開発を支援した。[11]
当時のプログラミングは非常に難しく、1954年にバッカスはIBM 704コンピュータ用のFortranを定義し開発するためのチームを編成しました。Fortranは広く使用されるようになった最初の高水準プログラミング言語でした。この広く使用された言語により、科学者やその他の人々が機械に関する深い知識を必要とせずにコンピュータを実用的で使いやすいマシンにしました。[12]
バッカス・ナウア形式
Backus は、 ALGOL 58と非常に影響力のあったALGOL 60 を開発した国際委員会に所属し、ALGOL 60 はすぐにアルゴリズムを公開するための事実上の世界標準となりました。Backus は、 ALGOL 58 に関するUNESCO報告書で公開されたBackus-Naur 形式(BNF) を開発しました。これは、任意の文脈自由プログラミング言語を記述できる正式な表記法であり、コンパイラの開発において重要でした。このアプローチからの逸脱がいくつか試みられましたが (特にLispとAPLで)、1970 年代までには、 yaccなどの自動コンパイラ ジェネレータの開発に伴い、コンピュータ言語の Backus-Naur 文脈自由仕様がかなり標準になりました。
この貢献により、バッカスは1977 年にチューリング賞を受賞しました。
関数レベルのプログラミング
バッカスは後に、チューリング賞受賞講演「プログラミングはフォン・ノイマン・スタイルから解放されるか？」で説明された、FPと呼ばれる関数レベルのプログラミング言語に取り組んだ。 [1]この論文は、Fortranを作成したバッカスの謝罪と見なされることもあるが、FP言語への関心を集めるというよりは、関数型プログラミング全般の研究に火をつけるものだった。バッカスが関数レベルのプログラミングスタイルを公表したとき、彼のメッセージは、従来の関数型プログラミングスタイルの言語と同じであると誤解されることが多かった[13]。
FP は、非標準の文字セットを使用しているにもかかわらず、 Kenneth E. IversonのAPLに強く影響を受けています。FPインタプリタは4.2BSD Unixオペレーティング システムとともに配布されましたが、この言語の実装は比較的少なく、そのほとんどが教育目的で使用されていました。
Backus は、キャリアの後半をFP の後継であるFL (「Function Level」から来ている) の開発に費やした。FL は IBM の社内研究プロジェクトであり、プロジェクトの終了とともに言語の開発も停止された。FL について文書化した論文は数本しか残っておらず、それらで説明されているコンパイラのソース コードは公開されていない。FL は、1980 年代に開発されていた関数型プログラミング言語とは相容れないものであった。それらの言語のほとんどは、 APL のように基本操作の連結ではなく、ラムダ計算と静的型付けシステムに基づいていた。現在、この言語のアイデアの多くは、APL の後継である Iverson の J プログラミング言語のバージョンに実装されている。
受賞と栄誉
- IBMフェローに任命される（1963年）[14]
- WWマクドウェル賞（1967年）[2]
- アメリカ国家科学賞（1975年）[3]
- チューリング賞（1977年）[4]
- アメリカ芸術科学アカデミー会員（1985年）[15]
- アンリ・ポアンカレ大学名誉 博士号(1989) [16]
- ドレイパー賞（1993年）[17]
- コンピュータ歴史博物館フェロー賞「FORTRANの開発、コンピュータシステム理論とソフトウェアプロジェクト管理への貢献」 (1997) [18]
- 小惑星 6830ジョンバッカスが彼にちなんで命名された（2007年6月1日）†
参照
参考文献
- ^ ab Backus, John (1978年8月). 「プログラミングはフォン・ノイマン・スタイルから解放されるか?: 関数型スタイルとそのプログラム代数」Communications of the ACM . 21 (8). doi : 10.1145/359576.359579 . S2CID 16367522.
- ^ ab “W. Wallace McDowell Award”。2007年9月29日時点のオリジナルよりアーカイブ。2008年4月15日閲覧。
- ^ ab 「大統領国家科学賞：ジョン・バッカス」。国立科学財団。2007年9月29日時点のオリジナルよりアーカイブ。 2007年3月21日閲覧。
- ^ ab 「ACM チューリング賞受賞歴: ジョン・バッカス」。Association for Computing Machinery。2007年2月4日時点のオリジナルよりアーカイブ。 2007年3月22日閲覧。
- ^ abc Lohr, Steve (2007 年 3 月 20 日). 「Fortran 開発者の John W. Backus 氏 (82 歳) が死去」. The New York Times . 2007 年3 月 21 日閲覧。
- ^ 「ジョン・バッカス」。The History of Computing Project。2016年4月27日時点のオリジナルよりアーカイブ。2016年4月28日閲覧。
- ^ abcdef 「ジョン・バッカス - AM チューリング賞受賞者」。ACM AM チューリング賞。2018年1月19日時点のオリジナルよりアーカイブ。2018年5月4日閲覧。
- ^ 「今週の発明家アーカイブ John Backus」Lemelson-MIT プログラム2006 年 2 月。2011 年 10 月 26 日時点のオリジナルよりアーカイブ。2011年8 月 25 日閲覧。
- ^ Grady Booch (2006年9月25日). 「ジョン・バッカスの口述歴史」(PDF) . 2009年8月17日閲覧。
- ^ “John Backus”. www.columbia.edu . 2021年10月2日閲覧。
- ^ Allen, FE (1981年9 月)。「IBM における言語プロセッサ技術の歴史」。IBM Journal of Research and Development。25 (5): 535–548。doi :10.1147/rd.255.0535。
- ^ “John Backus | Lemelson”. lemelson.mit.edu . 2023年2月7日閲覧。
- ^ Hudak, Paul (1989). 「関数型プログラミング言語の概念、進化、応用」 ACM Computing Surveys、第 21 巻、第 3 号
- ^ 「John Backus」。IBMアーカイブ。2003 年 1 月 23 日。2011 年 8 月 26 日時点のオリジナルよりアーカイブ。2007 年3 月 21 日閲覧。
- ^ 「会員名簿、1780-2010: 第B章」(PDF)。アメリカ芸術科学アカデミー。2011年7月25日時点のオリジナルよりアーカイブ(PDF) 。 2011年4月28日閲覧。
- ^ “John Backus”. 2008年5月14日時点のオリジナルよりアーカイブ。2008年4月15日閲覧。
- ^ 「チャールズ・スターク・ドレイパー賞受賞者」。2010年3月2日時点のオリジナルよりアーカイブ。2007年3月26日閲覧。
- ^ 「Fellow Awards 1997 Recipient John Backus」。2010年7月9日時点のオリジナルよりアーカイブ。2008年4月15日閲覧。
外部リンク
Wikiquoteにジョン・バッカスに関する引用があります。
- スコットランド、セントアンドリュース大学数学統計学部の経歴
- コンピューティングの歴史プロジェクトにおける伝記
- FL プロジェクト (Postscript ファイル)
- 「ジョン・W・バッカスの死亡記事」ニューヨーク・タイムズ、2007年3月20日。
- IBM アーカイブ
- BNFについて
- ホール・オブ・フェローズコンピュータ歴史博物館
- Campbell -Kelly, Martin (2007年4 月)。「訃報: John Backus (1924–2007):科学で最も普及 したプログラミング言語 Fortran の発明者」。Nature。446 ( 7139): 998。doi : 10.1038/446998a。PMID 17460658。S2CID 4325337 。
- 2007年プログラミング言語設計と実装に関する会議で行われた追悼演説