1951年から1955年にかけて構築された論理リレー式コンピュータ「スタニスラウス (STANISLAUS)」は、フリードリヒ・L・バウアーが式評価のためのスタック手法を導入するための初期のプラットフォームとして機能しました。計算機科学へのこの基本的な貢献は、ドイツの学術機関における数学、工学、および情報処理の体系的な研究にまたがるキャリアの中で生まれました。
学術的形成と初期のキャリア
1924年にレーゲンスブルクで生まれたバウアーは、1946年からルートヴィヒ・マクシミリアン大学ミュンヘンで数学と理論物理学を学びました。1952年にフリッツ・ボップの下で、スピン波方程式に関する群論的研究に焦点を当てた論文で博士号を取得しました。1954年にはミュンヘン工科大学で教授資格を取得しました。彼の初期の専門的な道には、マインツのヨハネス・グーテンベルク大学で応用数学の特別教授職を受け入れる前の、ミュンヘンでの私講師としての教育が含まれていました。
プログラミング言語の開発
バウアーは命令型プログラミング言語の標準化において極めて重要な役割を果たしました。ドイツ応用数学・力学協会 (GAMM) を代表してALGOL 58の委員会に参加し、後にIFIPワーキンググループ2.1を通じてALGOL 60に貢献しました。順次式変換に関するクラウス・ザメルソンとの共同研究は、コンパイラ構築の不可欠な原則を確立し、現代のアルゴリズム言語のアーキテクチャの進化に影響を与えました。
学問分野としての計算機科学の確立
ミュンヘン工科大学において、バウアーは計算機科学を数学から分離することを提唱しました。1967年にはそこで情報処理に関する最初の専門講義を行いました。1972年までに、大学はこの分野を独立した学問分野として認めました。1968年にガルミッシュで開催されたNATO科学委員会会議において、彼は「ソフトウェア工学 (Software Engineering)」という用語を造語し、効率的で信頼性の高いソフトウェアを生産するための健全な工学原則の適用と定義しました。
研究と専門的遺産
バウアーの科学的成果は、バウアー・ファイクの定理を含む数値解析から、CIP-SやCIP-Lのようなプログラム変換手法の体系的な開発にまで及びました。技術的な研究を超えて、彼は暗号学に関する広く認められたテキスト『Decrypted Secrets』を執筆しました。教育者として、39人の博士課程の学生を指導しました。ドイツ情報学会の創設メンバーであり、1978年から2015年に亡くなるまで雑誌『Informatik Spektrum』の編集者を務めました。
基本情報
- 生年: 1924年、レーゲンスブルク - 没年: 2015年 - 学歴: ルートヴィヒ・マクシミリアン大学ミュンヘン - 造語: ソフトウェア工学 - 受賞: コンピュータパイオニア賞 (1988年) - 受賞: ヴィルヘルム・エクスナー・メダル (1978年) - 会員: オーストリア科学アカデミー
よくある質問
### フリードリヒ・L・バウアーはプログラミング言語にどのような貢献をしましたか？
彼はALGOL 58とALGOL 60の開発を支援し、式評価のためのスタック手法を提案しました。
### 「ソフトウェア工学」という用語の起源は何ですか？
バウアーは1968年にドイツのガルミッシュで開催されたNATO科学委員会会議中にこの用語を造語しました。
