ジョン＝バッカスの情報 （JohnWarnerBackus）
芸能人・有名人Wiki検索（誕生日、出身地）

ジョン＝バッカスのプロフィール Wikipedia（ウィキペディア）

ジョン・ワーナー・バッカス（John Warner Backus, 1924年12月3日 - 2007年3月17日）は、アメリカ合衆国の計算機科学者。初期の高水準プログラミング言語 (FORTRAN) の発明者、（形式言語の文法の定義に汎用的に用いられる）バッカス・ナウア記法の発明者、また関数レベルプログラミング（英語版） (Function-level Programming) の提唱者でもある。

ペンシルベニア州フィラデルフィアで生まれ、デラウェア州ウィルミントンで育った。ペンシルベニア州ポッツタウンの The Hill School で学んだが、まじめな学生だったとは言えない。化学を学ぶためにバージニア大学に進学したが挫折し、アメリカ陸軍に入隊。ハバフォード大学で医療を学びはじめ、病院でのインターン時代に頭蓋の骨腫瘍と診断されたものの、手術は成功した。手術で頭にプレートを入れられ、9カ月で医療の道をあきらめたが、後に自分が設計したプレートに入れ替える手術を行った。

ニューヨーク市に移り住み、ラジオ技術者としての訓練を受け始め、数学が向いていることに気づいた。彼は1949年にコロンビア大学で数学の修士号を取得し、1950年にIBMに入社した。IBMでの最初の3年間、彼はSSECを使った仕事に従事した。最初の大きな仕事は月の位置を計算するプログラムを作成することだった。1953年、プログラミング言語 Speedcoding を開発。IBMのコンピュータで動作する初の高水準言語だった。

プログラミングが難しいことから、1954年になるとバッカスはチームを結成して IBM 704 コンピュータのためのFORTRANの設計と開発を行った。これは世界初の高水準プログラミング言語ではないものの、広く使われた世界初の高水準言語となった。

1950年代後半、バッカスは ALGOL 58 を開発した国際委員会の一員としても働いた。ALGOLはアルゴリズムを記述する際の世界的なデファクトスタンダードとなった。また1959年、UNESCOレポートにおける ALGOL 58 の言語仕様記述のためバッカス・ナウア記法 (BNF) を考案。BNFは任意の文脈自由な形式言語の文法（形式文法）を記述でき、その後のプログラミング言語の開発に重要な役割を果たした。これらの貢献からチューリング賞を受賞した。

その後彼は「関数レベル」プログラミング言語（英語版） FP に取り組んだ。これはチューリング賞受賞の際の講演 "Can Programming be Liberated from the von Neumann Style?"（プログラミングはフォン・ノイマン的スタイルから解放されるか?）で述べられている。この論文は FORTRAN を生み出したことへのバッカスの謝罪と受け取られることもあり、彼の研究していた FP そのものよりも関数型プログラミング一般の研究を盛んにする結果となった。FPインタプリタは 4.2BSD 上に実装されている。FP はケネス・アイバーソンのAPLの影響を強く受けており、標準的でない文字も使っている。その後のバッカスは FP言語の後継の FL (Function Level) の開発に注力した。FL はIBM内部のプロジェクトであり、プロジェクト終了とともに言語の開発も終了し、論文もわずかしか発表されていない。しかし、この言語の革新的で重要なアイデアの数々はアイバーソンのJ言語に実装された。

バッカスは1963年にIBMフェローとなった。1993年にはチャールズ・スターク・ドレイパー賞を授与された。1991年から引退生活に入り、2007年3月17日、オレゴン州アシュランドで死去した。

1963年 - IBMフェロー

1967年 - W.W. McDowell Award

1975年 - アメリカ国家科学賞

1977年 - チューリング賞

1985年 - アメリカ芸術科学アカデミーのフェロー

1989年 - 名誉学位（アンリ・ポアンカレ大学（英語版））

1993年 - チャールズ・スターク・ドレイパー賞

1997年 - コンピュータ歴史博物館フェロー（コンピュータの殿堂）

2007年6月1日、小惑星 6830 にバッカスの名がつけられた（6830 Johnbackus）

チューリング賞の受賞理由は以下の通り:

特にFORTRANの研究によって行われた、実用的な高水準プログラミングシステムの設計への深く、影響力のある恒久的貢献に対して。そして、プログラミング言語の仕様記述の形式的手法についての強い影響力のある出版に対して。

(原文) For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages.

^ “ジョン・バッカス氏死去／コンピューター言語の開発者”. 四国新聞社. (2017年3月21日). https://www.shikoku-np.co.jp/national/okuyami/article.aspx?id=20070321000022 2020年1月25日閲覧。 

^ Lohr, Steve (2007年3月20日). “John W. Backus, 82, Fortran Developer, Dies”. New York Times. https://www.nytimes.com/2007/03/20/business/20backus.html 2007年3月21日閲覧。 

^ “Inventor of the Week Archive John Backus” (2006年2月). 2011年8月25日閲覧。

^ Grady Booch (interviewer) (2006年9月25日). “Oral History of John Backus” (pdf). 2009年8月17日閲覧。

^ Allen, F.E.. “The History of Language Processor Technology in IBM”. IBM Journal of Research Development 25 (5, September 1981). 

^ “John Backus”. IBM Archives. 2007年3月21日閲覧。

^ “Recipients of the Charles Stark Draper Prize”. 2007年3月26日閲覧。

^ “John Warner Backus - 1967 W. Wallace McDowell Award Recipient”. 2008年4月15日閲覧。

^ “The President's National Medal of Science: John Backus”. National Science Foundation. 2007年3月21日閲覧。

^ 1977 – John Backus See the ACM Author Profile in the Digital Library

^ “Book of Members, 1780–2010: Chapter B”. American Academy of Arts and Sciences. 2011年4月28日閲覧。

^ “John Backus”. 2008年4月15日閲覧。

^ “Fellow Awards 1997 Recipient John Backus”. 2008年4月15日閲覧。

Biography at School of Mathematics and Statistics University of St Andrews, Scotland

Biography at The History of Computing Project

Can Programming Be Liberated From the von Neumann Style? 1977年チューリング賞講演

New York Times obituary for John W. Backus

IBM Archives

About BNF

Hall of Fellows コンピュータ歴史博物館

Memorial delivered at the 2007 Conference on Programming Language Design and Implementation

表

話

編

歴

アラン・パリス (1966)

モーリス・ウィルクス (1967)

リチャード・ハミング (1968)

マービン・ミンスキー (1969)

ジェームズ・H・ウィルキンソン (1970)

ジョン・マッカーシー (1971)

エドガー・ダイクストラ (1972)

チャールズ・バックマン (1973)

ドナルド・クヌース (1974)

アレン・ニューウェル / ハーバート・サイモン (1975)

マイケル・ラビン / デイナ・スコット (1976)

ジョン・バッカス (1977)

ロバート・フロイド (1978)

ケネス・アイバーソン (1979)

アントニー・ホーア (1980)

エドガー・F・コッド (1981)

スティーブン・クック (1982)

ケン・トンプソン / デニス・リッチー (1983)

ニクラウス・ヴィルト (1984)

リチャード・カープ (1985)

ジョン・ホップクロフト / ロバート・タージャン (1986)

ジョン・コック (1987)

アイバン・サザランド (1988)

ウィリアム・カハン (1989)

フェルナンド・J・コルバト (1990)

ロビン・ミルナー (1991)

バトラー・ランプソン (1992)

ユリス・ハルトマニス / リチャード・スターンズ (1993)

エドワード・ファイゲンバウム / ラジ・レディ (1994)

マヌエル・ブラム (1995)

アミール・プヌーリ (1996)

ダグラス・エンゲルバート (1997)

ジム・グレイ (1998)

フレデリック・ブルックス (1999)

アンドリュー・チーチー・ヤオ (2000)

オーレ＝ヨハン・ダール / クリステン・ニゴール (2001)

ロナルド・リベスト / アディ・シャミア / レオナルド・エーデルマン (2002)

アラン・ケイ (2003)

ヴィントン・サーフ / ロバート・カーン (2004)

ピーター・ナウア (2005)

フランシス・E・アレン (2006)

エドムンド・クラーク / アレン・エマーソン / ジョセフ・シファキス (2007)

バーバラ・リスコフ (2008)

チャック・サッカー (2009)

レスリー・ヴァリアント (2010)

ジューディア・パール (2011)

シャフィ・ゴールドワッサー / シルビオ・ミカリ (2012)

レスリー・ランポート (2013)

マイケル・ストーンブレーカー (2014)

マーティン・ヘルマン / ホイットフィールド・ディフィー (2015)

ティム・バーナーズ＝リー (2016)

ジョン・ヘネシー / デイビッド・パターソン (2017)

ヨシュア・ベンジオ / ジェフリー・ヒントン / ヤン・ルカン (2018)

エドウィン・キャットマル / パット・ハンラハン (2019)

アルフレッド・エイホ / ジェフリー・ウルマン (2020)

ジャック・ドンガラ (2021)

ロバート・メトカーフ (2022)

アヴィ・ヴィグダーソン (2023)

コンピュータ

カテゴリ

FAST

ISNI

VIAF

イタリア

アメリカ

チェコ

ポーランド

計算機協会

DBLP

MathSciNet

Scopus

zbMATH

SNAC

IdRef

アメリカ合衆国の数学者

アメリカ合衆国のプログラミング言語研究者

アメリカ合衆国のプログラミング言語設計者

アメリカ国家科学賞受賞者

チューリング賞受賞者

ハロルド・ペンダー賞の受賞者

IRIアチーブメント賞の受賞者

チャールズ・スターク・ドレイパー賞受賞者

米国科学アカデミー会員

IBMフェロー

コンピュータ歴史博物館フェロー

デラウェア州の科学者

オレゴン州の科学者

ペンシルベニア州の数学者

コロンビア大学出身の人物

フィラデルフィア出身の人物

1924年生

2007年没

FAST識別子が指定されている記事

ISNI識別子が指定されている記事

VIAF識別子が指定されている記事

ICCU識別子が指定されている記事

LCCN識別子が指定されている記事

NKC識別子が指定されている記事

PLWABN識別子が指定されている記事

ACM-DL識別子が指定されている記事

DBLP識別子が指定されている記事

MATHSN識別子が指定されている記事

Scopus識別子が指定されている記事

ZBMATH識別子が指定されている記事

SNAC-ID識別子が指定されている記事

SUDOC識別子が指定されている記事