Loading article…
フリードリヒ・ルートヴィヒ・バウアー | |
|---|---|
 | |
| 生まれる | フリードリヒ・ルートヴィヒ・バウアー 1924年6月10日 |
| 死亡 | 2015年3月26日（享年90歳） |
| 教育 | ルートヴィヒ マクシミリアン大学 |
| 知られている | スタック（データ構造） シーケンシャル 数式 翻訳 ALGOL ソフトウェア工学 バウアー・ファイクの定理 |
| 子供たち | 5 |
| 受賞歴 | 二級鉄十字章、一級 連邦十字章 、 IEEEコンピュータパイオニア賞（1988年） |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス 応用数学 |
| 機関 | マインツ大学 ミュンヘン工科大学 |
| 論文 |
|
| 博士課程の指導教員 | フリッツ・ボップ、ゲオルク・アウマン |
| 博士課程の学生 | マンフレッド・ブロイ、デヴィッド・グリーズ、ジョセフ・ストール、ピーター・ウィン、クリストフ・ゼンガー |
フリードリヒ・ルートヴィヒ・「フリッツ」・バウアー（1924年6月10日 - 2015年3月26日）は、ドイツのコンピュータサイエンスの先駆者であり、ミュンヘン工科大学の教授であった。
人生
バウアーは1942年にアビトゥーアを取得し、 1943年から1945年にかけて第二次世界大戦中のドイツ国防軍に勤務した。1946年から1950年にかけて、ミュンヘンのルートヴィヒ・マクシミリアン大学で数学と理論物理学を学んだ。バウアーは、 1952 年に論文Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen (「スピン波方程式理論の群理論的研究」) により、フリッツ ボップの監督のもとで哲学博士号(Ph.D.) を取得しました。彼はハビリテーションの論文Überquadratisch konvergente Iterationsverfahrenを完了しました。zur Lösung von algebraischen Gleichungen und Eigenwertproblemen (「代数方程式と固有値問題を解くための二次収束反復法について」) 、1954 年にミュンヘン工科大学で。 1954 年から 1958 年までミュンヘンのルートヴィヒ マクシミリアン大学で専任講師として教鞭を執った後、マインツ大学の応用数学の特別教授に就任しました。 1963年よりミュンヘン工科大学で数学、（1972年より）コンピュータサイエンスの教授を務め、1989年に退職した。[1]
仕事
バウアーの初期の研究は計算機の構築でした（例えば、1951年から1955年にかけての論理リレー計算機STANISLAUS [2] ）。この文脈において、彼は式の評価に広く使われているスタック方式を初めて提案しました。
バウアーは命令型コンピュータプログラミング言語 ALGOL 58 [3]とその後継ALGOL 60 [4]を開発した委員会のメンバーだった。これらは現代のすべての命令型プログラミング言語の重要な前身である。ALGOL 58の場合、バウアーはアメリカ計算機協会(ACM)と協力したドイツ応用数学機械学会(GAMM、Society of Applied Mathematics and Mechanik) に所属していた。 [3] ALGOL 60の場合、バウアーは国際情報処理連盟(IFIP) のアルゴリズム言語および計算に関するIFIPワーキンググループ2.1に所属していた。 [4]このワーキンググループがALGOL 60とALGOL 68言語の仕様策定、保守、サポートを行っている。[5]
バウアーは、それまで数学の一部とみなされていたコンピュータサイエンスをドイツの大学で独立した科目として確立する上で影響力のある人物でした。1967年、彼はミュンヘン工科大学でドイツの大学で最初のコンピュータサイエンスの講義を行い、 「情報処理」と題しました。1972年までに、コンピュータサイエンスはミュンヘン工科大学で独立した学問分野になりました。1992年に、コンピュータサイエンスは数学科から分離され、独立した情報学部が設立されましたが、バウアーは1989年に教授職を退きました。[6]
1968 年に彼は「ソフトウェア エンジニアリング」という用語を作り出し、この用語はそれ以来広く使用され、コンピューター サイエンスの分野となりました。
彼の科学的貢献は、数値解析（バウアー・ファイクの定理）やプログラミング言語の解釈と翻訳の基礎から、プログラム開発の体系化、特にプログラム変換方法とシステム（CIP-S）と関連する広域スペクトル言語システムCIP-Lに関する後期の研究にまで及びます。彼はまた、現在第4版となっている暗号学に関する高く評価されている書籍「Decrypted secrets」も執筆しました。
彼は、ルドルフ・ベルクハマー、マンフレート・ブロイ、デイヴィッド・グリース、マンフレート・パウル、ゲルハルト・ゼーグミュラー、ヨーゼフ・シュトーア、ピーター・ウィン、クリストフ・ツェンガーを含む 39 人の学生の博士課程の指導教員でした。
フリードリヒ・バウアーはドイツ情報学会の創立メンバー19名のうちの1人であった。[7]彼は1978年の創刊以来Informatik Spektrumの編集者を務め、死ぬまでその職を務めた。[8]
フリードリヒ・バウアーはヒルデガルト・バウアー＝フォッグと結婚した。彼には3人の息子と2人の娘の父親であった。
ソフトウェアエンジニアリングの定義
バウアーはNATO科学委員会のドイツ代表の同僚だった。1967年、NATOは「ソフトウェア危機」について議論しており、バウアーは問題と解決策の両方を考える方法として「ソフトウェアエンジニアリング」という用語を提案した。[9]
1972 年に、バウアーはソフトウェア エンジニアリングの次のような定義を発表しました。
「信頼性が高く、実際のマシンで効率的に動作するソフトウェアを経済的に取得するための健全なエンジニアリング原則の確立と使用。」[10]
遺産
ミュンヘン工科大学は1992年以来、コンピュータサイエンス分野でフリードリヒ・L・バウアー賞を授与しています。
2014年、ミュンヘン工科大学は情報学部棟内の最大の講堂を彼の名にちなんで改名した。
受賞歴
- 1944年:鉄十字章2級
- 1968年:バイエルン科学アカデミー数学・科学部門会員
- 1971年:バイエルン功労勲章
- 1978年：ヴィルヘルム・エクスナーメダル（オーストリア）。[11]
- 1982年:連邦功労十字章一級
- 1984年:ドイツ科学アカデミー会員
- 1986年：バイエルン科学芸術マクシミリアン勲章
- 1987年: コンピュータサイエンス協会名誉会員
- 1988年: ドイツ博物館の黄金の栄誉の指輪
- 1988年: IEEEコンピュータパイオニア賞
- 1997年：ミュンヘン工科大学よりハインツ・マイヤー・ライプニッツメダル受賞
- 1998年:オーストリア科学アカデミー通信会員
- 2002:ドイツ博物館の名誉会員
- 2004年：バイエルン科学アカデミー銀功労賞
名誉博士号
- 1974年：グルノーブル大学名誉博士
- 1989年：パッサウ大学名誉博士
- 1998:ミュンヘンドイツ連邦大学(ノイビーベルク)から名誉博士号を取得
出版物
- サメルソン、クラウス、バウアー、フリードリヒ・ルートヴィヒ（1960年2月） 。 「シーケンシャルフォーミュラ変換」。Communications of the ACM。3（2）：76–83。doi ：10.1145 /366959.366968。S2CID 16646147。、コンパイラに関する非常に影響力のある論文
- バウマン、リチャード[ドイツ語] ; フェリシアーノ、マヌエル; バウアー、フリードリヒ・ルートヴィヒ;サメルソン、クラウス(1964)。ALGOL 入門 – 非専門家向けの入門書。アルゴリズム言語の実用性を強調。自動計算シリーズ。米国ニュージャージー州エングルウッドクリフス: Prentice-Hall, Inc. ISBN 0-13-477828-6. LCCN 64-10740. ark:/13960/t6qz35p37 . 2022年10月23日閲覧。
- バウアー、フリードリヒ・ルートヴィヒ（1987）。ミュンヘンプロジェクトCIP：第2巻：プログラム変換システムCIP-S（コンピュータサイエンスの講義ノート）。シュプリンガー。ISBN 978-3-5401-8779-0。
- バウアー、フリードリヒ・ルートヴィヒ。マーティン・ワーシング（1991年3月）。 Elementare Aussagenlogik (ドイツ語)。ベルリン – ハイデルベルク、ドイツ: Springer-Verlag。ISBN 3-540-52974-8。
- バウアー、フリードリヒ・ルートヴィヒ（2006年）。『暗号解読：暗号学の方法と格言』第4版。ニューヨーク、米国：シュプリンガー。ISBN 978-3-5402-4502-5。
参考文献
- ^ “Verzeichnis der Professorinnen und Professoren der Universität Mainz”.グーテンベルク伝記（ドイツ語）。ヨハネス・グーテンベルク大学マインツ。2017 年 2 月 16 日に取得。
- ^ ハシゲン、ウルフ; ケイル・スラヴィク、ラインハルト[ドイツ語] ;ノーバーグ、アーサー・ローレンス、編 (2002)。コンピューティングの歴史: ソフトウェアの問題。ベルリン・ハイデルベルク、ニューヨーク:シュプリンガー・フェアラーク。pp. 15–16。ISBN 978-3-642-07653-4。
- ^ ab Perlis, Alan Jay (1981)。「1950 年代のコンピューティングに関する講演」。ACM全国会議。テネシー州ナッシュビル。カリフォルニア州ロサンゼルスアラミト、1995 年: (JAN Lee (編)、『Computer Pioneers』、IEEE Computer Society Press、pp. 545–556 のトランスクリプト)。
{{cite conference}}: CS1 メンテナンス: 場所 (リンク) - ^ ab Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (2016-08-17). 「IFIPワーキンググループ2.1のプロファイル」。Foswiki 。 2020年9月7日閲覧。
- ^ Swierstra、S. Doaitse;ジェレミー・ギボンズ;メルテンス、ランバート(2011-03-02)。 「スコープなど: IFIP21: Foswiki」。フォスウィキ。2020-09-07に取得。
- ^ 「歴史」。TUM情報学部。 2020年12月22日閲覧。
- ^ Fritz Krückeberg : Die Geschichte der GI、p. 14;第 2 版、2001 年 11 月、Gesellschaft für Informatik。 [1]、2021 年 2 月 9 日に取得
- ^ Informatik Spektrum 第 38 巻、第 2 号、2015 年 4 月: 奥付ページ A4
- ^ マッケンジー、ドナルド (2001)。証明の機械化: コンピューティング、リスク、信頼。ケンブリッジ: MIT プレス。pp . 34–36。ISBN 0-262-13393-8。
- ^ Bauer, Friedrich Ludwig (1972). 「ソフトウェアエンジニアリング」.情報処理. p. 71.
- ^ 編集者、ÖGV。 （2015年）。ヴィルヘルム・エクスナーメダル。オーストリア貿易協会。 ÖGV。オーストリア。
外部リンク
ウィキメディア・コモンズには、フリードリヒ・ルートヴィヒ・バウアーに関連するメディアがあります。
- ミネソタ大学チャールズ・バベッジ研究所のフリードリヒ・L・バウアー氏への口述歴史インタビュー。バウアー氏は、 ALGOL開発のヨーロッパ側を含む自身の教育と初期の研究、および数値解析とプログラミング言語に関するその後の研究について語ります。
- フリードリヒ・L・バウアーの写真（ブライアン・ランデル提供）
- 2002年にチューリッヒ工科大学で行われたシンポジウムでバウアーがルティスハウザーについて語った
- 数学系譜プロジェクトのフリードリヒ・L・バウアー
- データベースzbMATHの著者プロフィール