ジョン・バッカス：FORTRAN を作り高水準言語の時代を開いた

1. 身近な「高水準プログラミング言語」を逆算する

Python・Java・C・JavaScript で書けるのは、1957 年にバッカスが FORTRAN を作って「人間が読める言語でプログラム可能」を証明したから。さらに BNF 記法 で言語仕様を厳密に定義する手法も彼の発明。

2. 100 文字でわかる

3. 500 文字でわかる

1924 年米国フィラデルフィア生まれ、コロンビア大学数学修士、1950 年 IBM 入社。1953-57 年、世界初の高水準言語コンパイラ FORTRAN (FORmula TRANslator) を率いた。当時のプログラミングはアセンブリ・機械語のみ、「数学の式に近い記法でプログラムが書ける」が革命的。1957 年 4 月、IBM 704 上で FORTRAN リリース、瞬く間に科学計算の標準言語に。1959 年、ALGOL の言語仕様を厳密に記述するため、ピーター・ナウアと「BNF (Backus-Naur Form) 記法」を発明 — 現代のプログラミング言語仕様書はすべて BNF か派生記法で書かれる。1977 年チューリング賞、受賞講演「Can Programming Be Liberated from the Von Neumann Style?」で関数型プログラミングを提唱、現代の Haskell / Erlang / Clojure へつながる流れを生んだ。2007 年に 82 歳で死去。

4. もっと詳しく

FORTRAN 開発 (1953-57)

1953 年、当時 29 歳のバッカスが IBM に「もっと簡単にプログラミングしたい」と提案、3 年プロジェクトとして承認。13 人のチームで 1957 年 4 月に FORTRAN リリース。`Y = SQRT(X)*2` のような数学的記法で書け、当時のプログラマに衝撃。FORTRAN プログラムが手書きのアセンブリと「ほぼ同等の速度」で動くことを証明したのが革命的だった。

BNF 記法 (1959)

1959 年、ピーター・ナウアと「ALGOL の言語仕様を厳密に書く方法」として BNF を発明。`<expr> ::= <term> | <expr> '+' <term>` のような形で、プログラミング言語の文法を数学的に記述できる。これが全現代言語の仕様書の標準。

「Can Programming Be Liberated」(1978)

1977 年チューリング賞受賞講演で「フォン・ノイマン型の命令型プログラミングからプログラミングを解放できるか?」を発表。関数型プログラミング (FP) を提唱、当時の主流批判。現代の Haskell / Erlang / Clojure / Scala はこの流れの結実。

晩年

FP 言語 FP / FL の研究を IBM Almaden で続けた。2007 年没、CS 業界全体が追悼。「FORTRAN を作った人」として永遠に名を残す。

5. 現代への影響

• FORTRAN: 科学計算で今も現役 (HPC・気象・宇宙)
• 全高水準言語: COBOL / ALGOL / C / C++ / Python / Java
• BNF 記法: 全言語仕様書の標準
• 関数型言語: Haskell / Erlang / Clojure
• コンパイラ理論: 教科書の基礎

6. もっと知りたい人へ

• Wikipedia (日本語): ジョン・バッカス
• 論文「Can Programming Be Liberated」(1978): チューリング賞講演
• FORTRAN 公式仕様: ISO 規格

7. 次の話

EP.68 では ジャック・キルビーとロバート・ノイス を扱います。集積回路 (IC) を発明し、シリコンバレーの基礎を作った 2 人。