ウルリヒ・クリッシュの紹介
ウルリヒ・クリッシュ(Ulrich Kulisch)は、
1933年生まれの
ドイツの数学者で、
数値解析の分野で著名な研究者です。特に
区間演算の実装において先駆的な業績を持ち、その研究は広く評価されています。
経歴
クリッシュは、Freisingにある高校を卒業後、
ルートヴィヒ・マクシミリアン大学ミュンヘンおよび
ミュンヘン工科大学で数学を学びました。彼は1961年にJosef Heinhold教授の指導を受けながら学位を取得しました。卒業後、1964年から1966年にかけて、ミュンヘン大学で教鞭を執った後、
カールスルーエ工科大学の応用数理学科に移り、ディレクターとして教授業を続けています。
クリッシュは、学術的な活動の一環として多くのサバティカル休暇を取り、ウィスコンシン大学マディソン校の数学研究センターにおいてRamon E. Mooreのもとで研究を行いました。さらに、
IBMの
トーマス・J・ワトソン研究所でWillard L. Mirankerと共に1990年代に重要な研究を進めました。また、
筑波大学での研究活動も行い、国際的なコラボレーションを大切にしています。
クリッシュは1960年代の
ドイツにおける
区間演算の礎を築いた研究者の一人です。Karl NickelやFritz Krückebergと共に、数学的な理論を基にした新たな計算法を提案し、
区間演算の分野を確立しました。彼の
コンピュータを利用した
区間演算の実装は、Algolを用いた1960年代に始まり、以来多くのソフトウェア開発に寄与しています。
彼は自動結果証明を伴うソフトウェアの開発にも携わり、Nixdorf
コンピュータや
IBM、Siemensでのプロジェクトに関与しました。特に
カールスルーエ工科大学では、C-XSCというライブラリの開発に尽力し、
数値解析における重要なツールを提供しました。1993/1994年には、ハードウェア実装にも寄与し、Ildra-XPA3233というプロジェクトに関わりました。
学会活動と貢献
クリッシュは、数学や数値計算に関するさまざまな学会活動に積極的に参加しています。Gesellschaft für Angewandte Mathematik und Mechanik(GAMM)では、
コンピュータ数学及び科学計算委員会の座長を務めました。また、IMACS(国際数学及び
コンピュータシミュレーション学会)においても
コンピュータ計算技術委員会の座長をつとめ、国際的な数値ソフトウェアの発展に寄与しています。また、
区間演算に関する
IEEE規格委員会P1788にも深く関与しています。
1975年から1988年にかけては、Jahrbuchs Überblicke Mathematikの編集者としても活動し、数論と数値計算における学問の発展に貢献しました。
著作
ウルリヒ・クリッシュは数多くの学術著書や論文を執筆しています。以下は彼の代表的な著作の一部です:
- - W. L. Miranker(編集)との共著「A New Approach to Scientific Computation」(1983)
- - W. L. Mirankerとの共著、「The arithmetic of the digital computer: a new approach」(SIAM Rev. 28 (1986) 1–40)
- - H.J. Stetter(編集)との共著、「Scientific Computation with Automatic Result Verification」(1988)
- - W. L. Mirankerとの共著「Computer Arithmetic in Theory and Practice」(1981)
- - R. Hammer, M. Hocks, D. Ratzとの共著「C++ Toolbox for Verified Computing」(1995)
- - 「Advanced Arithmetic for the Digital Computer – Design of Arithmetic Units」(2002)
- - 「Computer Arithmetic and Validity – Theory, Implementation, and Applications」(2008年第2版2013)
ウルリヒ・クリッシュの研究は、
数値解析を深化させ、科学計算の分野における新たな道を切り開くものであります。彼の業績は、今後の研究や技術の発展にも大いに貢献するでしょう。