クラウス・サメルソン

クラウス・ザメルソン（1918年12月21日^[1] - 1980年5月25日）は、ドイツの数学者、物理学者であり、プログラミング言語の 翻訳とコンピュータ上での順次式変換のためのプッシュポップスタックアルゴリズムの分野におけるコンピュータの先駆者であった。

彼はアルザス＝ロレーヌ地方のストラスブールで生まれ、幼少時代をブレスラウで過ごした。兄は数学者のハンス・ザメルソン。政治的な事情により、彼は1946年まで待って、ミュンヘンのルートヴィヒ・マクシミリアン大学で数学と物理学を学んだ。

卒業後、彼は短期間高校教師として働き、その後大学に戻った。1951年、フリードリヒ・ボップ（フリッツ）の指導の下、単極誘導に関するアルノルド・ゾンマーフェルトが提起した量子力学の問題に関する論文で物理学の博士号（Ph.D.）を取得した。^[2]

サメルソンは数値解析に興味を持ち、電気技師のハンス・ピロティと数学教授のロバート・ザウアーが一緒に働き始めたときに、ミュンヘン工科大学の数学研究所の研究員として参加し、初期のコンピュータに携わった。

これにより、彼の科学者としての経歴は変わりました。彼の最初の出版物は、超音速の流れと、固有値の数値計算のためのデジタル計算の精度の問題を扱うザウアーの関心から生まれました。

その後すぐに、サメルソンはコンピュータサイエンスと情報科学という新しい科学分野の発展に強い影響を与え始めました。博士課程の指導教官でフリッツ・ボップも務めたフリードリヒ・L・バウアーとともに、サメルソンはプログラミング言語の構造を研究し、その翻訳と実装のための効率的なアルゴリズムを開発しました。この研究は括弧構造につながり、この原理がプログラミング言語の翻訳とスタックモデルとブロック構造を持つランタイムシステムを規定するべきであることがサメルソンに明らかになりました。これは、コンピュータシステムのモデル化と設計方法における根本的な進歩でした。

ピロティ、バウアー、サメルソンは、 Whirlwind I のコンセプトに一部基づいたコンピュータPERMの設計にも取り組んでいました。1955 年までに PERM は完成し、彼らはバウアーが 1951 年に開始した自動プログラミングのコンセプトに関する研究を継続しました。

サメルソンはプログラミングと情報科学の国際標準に携わり、国際情報処理連盟（IFIP）のアルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーとして、 ALGOL 58と60の設計に重要な役割を果たしました。 ^{[3]このワーキンググループでは、}プログラミング言語ALGOL 60とALGOL 68の仕様策定、サポート、保守を行っています。^[4]

1958年、彼はマインツ大学の数学教授に就任し、1963年からはミュンヘン工科大学の教授となり、そこでバウアーとともに情報科学とコンピュータサイエンスの大学カリキュラムの開発に着手した。1971年に雑誌『Acta Informatica』が創刊されると、彼はその編集者となった。

• Perlis, Alan Jay ; Samelson, Klaus (1958)。予備報告: 国際代数言語。Communications of the ACM (報告)。第 1 巻。pp. 8–22。
• サメルソン、クラウス。バウアー、フリードリヒ・ルートヴィヒ(1959)。 「Sequentielle Formelübersetzung」[逐次式翻訳]。Elektronische Rechenanlagen (ドイツ語)。1 (4): 176–182。
• Dijkstra, Edsger Wybe ; Heise, Willy; Perlis, Alan Jay ; Samelson, Klaus (1959). 「ALGOL 小委員会レポート – 拡張」Communications of the ACM . 2 (9): 24.
• バウアー、フリードリヒ・ルートヴィヒ、ザメルソン、クラウス (1959)。共通言語の問題、特に科学的な数字の作業について (レポート)。IFIP 会議。pp. 120–124。
• ジョン・ワーナー・バッカス;バウアー、フリードリヒ・ルートヴィヒ;グリーン、ジュリアン。チャールズ・カッツ;ジョン・マッカーシー;アラン・ジェイ・パーリス;ハインツ・ルーティシャウザー;サメルソン、クラウス。ベルナール・ヴォーコワ[フランス語] ;ジョゼフ・ヘンリー・ウェグシュタイン; Van Wijngaarden, アドリアン;マイケル、ウッジャー(1960)。アルゴリズム言語 ALGOL 60 に関するレポート。ACMの通信(レポート)。 Vol. 3. 299 ～ 314 ページ。
• サメルソン、クラウス、バウアー、フリードリヒ・ルートヴィヒ(1960)。シーケンシャル数式変換、Communications of the ACM (レポート)。第 3 巻、pp. 76–83。
• Bauer, Friedrich Ludwig ; Samelson, Klaus (1961 年 4 月)。「ALGOL 60 のメンテナンスと改訂に関するコメント」ALGOL Bulletin (12)。
• サメルソン、クラウス (1962)。プログラミング言語とその処理 (レポート)。IFIP 会議。pp. 487–492。
• Eickel, Jürgen [ドイツ語] ; Paul, Manfred [ドイツ語] ; Bauer, Friedrich Ludwig ; Samelson, Klaus (1963)。形式言語プロセッサの構文制御ジェネレータ。Communications of the ACM (レポート)。第 6 巻。pp. 451–455。
• ジョン・ワーナー・バッカス;バウアー、フリードリヒ・ルートヴィヒ;グリーン、ジュリアン。チャールズ・カッツ;ジョン・マッカーシー;アラン・ジェイ・パーリス;ハインツ・ルーティシャウザー;サメルソン、クラウス。ベルナール・ヴォーコワ[フランス語] ;ジョゼフ・ヘンリー・ウェグシュタイン; Van Wijngaarden, アドリアン;マイケル・ウッジャー;ナウル、ピーター(1963)。アルゴリズム言語 ALGOL 60 に関する改訂レポート。ACMの通信(レポート)。 Vol. 6. 1 ～ 17 ページ。
• バウアー、フリードリヒ・ルートヴィヒ;クラウス・サメルソン (1976) [1975-07-23 – 1975-08-02]。言語の階層とインターフェース、インターナショナル サマースクール (レポート)。マルクトバードルフ、ドイツ：シュプリンガー。
• サメルソン、クラウス (1976) [1976-08-09/12]. ECI カンファレンス 1976、第 1 回ヨーロッパ情報科学協力会議の議事録 (レポート)。アムステルダム、オランダ: Springer。
• ルパート・グナッツ。クラウス・サメルソン (1977) [1977-10-19/21]。 Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren、GI-Fachtagung (レポート) (ドイツ語)。ドイツ、ミュンヘン：シュプリンガー。
• サメルソン、クラウス。 Entwicklungslinien in der Informatik、GI Jahrestagung 1978 (レポート) (ドイツ語)。 132–148ページ。
• バウアー、フリードリヒ・ルートヴィヒ;マンフレッド・ブロイ;ウォルター・ドッシュ。ルパート・グナッツ。クリーグ・ブルックナー、ベルント。ラウト、アルフレッド。ラックマン、マンフレッド。マツナー、トーマス。メラー、ベルンハルト[ドイツ語] ;パーシュ、ヘルムート。ペッパー、ピーター。サメルソン、クラウス。シュタインブリュッゲン、ラルフ。マーティン・ワーシング;ハンス・ヴェスナー（1981年10月）。広域言語でのプログラミング: 例のコレクション (レポート)。コンピュータープログラミングの科学。 Vol. 1.エルゼビア。 73–114ページ。
• サメルソン、クラウス;バウアー、フリードリヒ・ルートヴィヒ( 1983)。「シーケンシャルフォーミュラ変換 (再版)」。Communications of the ACM。26 (1): 9–13。doi : 10.1145 /357980.357983 。S2CID 555174  。
• バウアー、フリードリヒ・ルートヴィヒ;ルドルフ・ベルガマー;マンフレッド・ブロイ;ウォルター・ドッシュ。ガイゼルブレヒティンガー、フランツ。ルパート・グナッツ。ヘンゲル、エーリッヒ。ヘッセン、ヴォルフガング[ドイツ語] ;クリーグ・ブルックナー、ベルント。ラウト、アルフレッド。マツナー、トーマス。メラー、ベルンハルト[ドイツ語] ;ニッケル、フリーデリケ。パーシュ、ヘルムート;ペッパー、ピーター。マーティン・ワーシング;ハンス・ヴェスナー (1986) [1985]。ミュンヘン プロジェクト CIP: 第 1 巻: ワイド スペクトラム言語 CIP-L (レポート)。 Vol. I. ベルリン、ドイツ: Springer-Verlag。ISBN 3-540-15187-7。

• Bauer, Friedrich Ludwig ; Ershov, Andrey Petrovich ; Paul, Manfred [ドイツ語] ; Perlis, Alan Jay (1980 年 12 月). 「Klaus Samelson」. Acta Informatica . 15 (1). ベルリン – ハイデルベルク、ドイツ: Springer: 1–2. doi :10.1007/BF00269806. S2CID  35479240.
• ハスハーゲン、ウルフ[ドイツ語] (2004 年 7 月 21 ～ 26 日)。「数値解析と科学計算の歴史: フリッツ・バウアーとのインタビュー」。工業応用数学協会(SIAM)。
• シュミット、ギュンター(2020)。Rückblick auf die Anfänge der Münchner Informatik (ドイツ語)。スプリンガービューeg。ISBN 978-3-65828754-2。

• DBLP書誌サーバーの Klaus Samelson
• 数学系譜プロジェクトのクラウス・サメルソン
• サメルソン・プリンツィプ（ドイツ語）