ジョン・バッカスは、IBMでFortranを開発したチームを率いました。これは、人間と初期のコンピュータとの対話方法を変革した、世界初の広く普及した高水準プログラミング言語です。1924年にフィラデルフィアで生まれた彼は、IBMで40年以上にわたるキャリアを築き、コードの実用的な応用と現代のプログラミング構文を定義する形式的な数学的構造の両方に影響を与えました。
軍務と初期の教育
IBMに加わる前、バッカスは一貫性のない学歴を歩んでいました。彼はヒル・スクールに通い、その後バージニア大学に入学しましたが、出席率の悪さから退学処分を受けました。第二次世界大戦中、彼はアメリカ陸軍に勤務し、対空砲部隊を指揮しました。軍の適性検査の結果、ピッツバーグ大学の工学課程とハバフォード大学の医学予科プログラムに転籍しました。医学部を中退し、頭蓋骨の骨板を交換する手術を受けた後、1946年に除隊しました。
FortranとIBMの革新
バッカスは、コロンビア大学で数学の学士号と修士号を取得した後、1950年にIBMに入社しました。彼の初期の仕事には、Selective Sequence Electronic Calculatorのための月位置計算が含まれていました。1953年までに、彼は最も重要な業績であるFortranの先駆けとなるSpeedcodingを開発しました。IBM 704でのソフトウェア開発を容易にするために導入されたFortranは、機械アーキテクチャの深い知識を不要にし、科学者がコンピュータを実用的なツールとして利用できるようにする高水準の標準を確立しました。
形式表記法とアルゴリズム標準
Fortranでの仕事の後、バッカスはALGOL 58およびALGOL 60の開発に貢献しました。これらの言語の構文定義における複雑さを解決するために、彼はバッカス・ナウア記法（BNF）を作成しました。この表記法は、文脈自由文法を記述するための整合性のある形式的な方法を提供し、コンパイラ開発における標準的な機能となりました。これらの形式的な手順を定義した彼の業績は、1977年にACMチューリング賞を受賞する主な理由となりました。
関数レベルの研究
キャリアの後半、バッカスは関数レベルのプログラミングパラダイムに焦点を当てました。彼はFP言語を導入し、1977年のチューリング賞受賞記念講演で詳細を説明し、従来のフォン・ノイマン型のプログラミングスタイルを批判しました。彼の最後のプロジェクトであるFLは、これらの概念をIBM内でさらに進化させることを目的としていました。これらの言語はFortranと比較して実装は限定的でしたが、関数型プログラミングに関する継続的な研究や、後のJ言語などの設計に影響を与えました。
基本情報
- 生年: 1924年、フィラデルフィア - 没年: 2007年、アシュランド - 学歴: バージニア大学、コロンビア大学 - 主な発明: Fortran - 形式主義: バッカス・ナウア記法（BNF） - IBM在籍: 1950年–1991年 - 主要な賞: ACMチューリング賞（1977年） - 最終的な埋葬地: サンフランシスコ・コロンバリウム
読者からの質問
### バッカス・ナウア記法の重要性は何でしたか？
それはプログラミング言語の構文を定義するための形式的な表記法を提供し、アルゴリズム公開のための世界的な標準となりました。
### ジョン・バッカスはFortranの後に他の言語を作成しましたか？
はい、彼はキャリアの後半に、FPやその後継であるFLを含む関数レベルのプログラミング言語を開発しました。
