ウルリッヒ・クーリッシュ

ウルリッヒ・W・クーリッシュ（1933年ブレスラウ生まれ）は、区間演算のコンピュータ実装を含む数値解析を専門とするドイツの数学者です。

経験

クリッシュは、フライジンクの高校を卒業後、ミュンヘン大学とミュンヘン工科大学で数学を学び、1961年にヨーゼフ・ハインホルトの指導の下、博士論文（電子アナログ計算における微分積分法の扱い）を完成した。^{[ 1 ]} 1963年に博士研究員資格を取得後、1964年から1966年までミュンヘン大学の数値数学教授を務め、1966年からはカールスルーエ大学の数学教授および応用数学研究所所長を務めた。

学界にいた間、クーリッシュは何度か海外で長期研究を行った。1969年から1970年にかけてはウィスコンシン大学マディソン校の数学研究センターでラモン・エドガー・ムーアの指導の下、1972年から1973年および1978年から1979年にかけてはヨークタウン・ハイツにあるIBMのトーマス・J・ワトソン研究所（ウィラード・L・ミランカー（1932年 - 2011年）と共に研究を行った）で、1998年および1999年から2000年にかけては筑波大学電気技術研究所で研究を行った。^{[ 2 ]}

Kulischは1960年代のドイツにおける区間演算の先駆者の一人であり、 Karl NickelやFritz Krückebergとともにこの分野の創始に貢献した。コンピュータにおける区間演算の実装は、1960年代にAlgolから始まった。Kulischは、 Nixdorf Computer（Pascal-XSCなど）、IBM（プロジェクトACRITHおよびACRITH-XSC）、Siemens（プログラムパッケージARITHMOS ）などのソフトウェアで、結果の自動検証機能を搭載した。カールスルーエでは、 C-XSCと関連プログラムライブラリを開発した。1993年から1994年にかけては、 XPA 3233ベクトル演算コプロセッサのハードウェア実装にも携わった。

彼は、1968 年にコンピュータサイエンス協会の創設メンバーであり、Gesellschaft für Angewandte Mathematik und Mechanik (GAMM) のコンピュータ数学および科学計算委員会の議長、および国際数学・コンピュータシミュレーション協会 (IMACS) の拡張コンピュータ演算技術委員会の議長を務めました。1979 年には国際情報処理連盟 (IFIP) のワーキンググループ 2.5 (数値ソフトウェア) のドイツ人メンバーとなり、1980 年からメンバーを務めています。彼は、区間演算に関する IEEE 標準委員会 P1788 に所属しています。

1975 年から 1998 年まで、彼は書誌研究所のJahrbuchs Überblicke Mathematikの編集者を務めました。

参考文献

• 「Grundlagen des Numerischen Rechnens – Mathematische Begründung der Rechnerarithmetik」、Reihe Informatik 19、BI 1976
• 「Grundzüge der Intervallrechnung」、Jahrbuch Überblicke Mathematik、第 2 巻、BI、マンハイム 1969
• ウィラード・L・ミランカー（編）：「科学的計算への新しいアプローチ」、アカデミック・プレス、ニューヨーク、1983年。
• Willard L. Mirankerとの共著：「デジタルコンピュータの演算：新しいアプローチ」、SIAM Rev. 28 (1986) 1–40。
• HJ Stetter (編集者)との共著、「自動結果検証による科学計算」、Computing Supplementum、第 6 巻、Springer、ウィーン、1988 年。
• 編集者: Wissenschaftliches Rechnen mit Ergebnisverifikation、Vieweg 1989
• ウィラード・L・ミランカー共著：コンピュータ算術の理論と実践、アカデミック・プレス、1981年
• R. クラッテ、M. ネアガ、D. ラッツ、Ch.ウルリッヒ: Pascal XSC- Sprachbeschreibung mit Beispielen、Springer 1991 (英語版、Springer 1992)
• R. Hammer、M. Hocks、D. Ratz共著：C ++ Toolbox for Verified Computing、Springer 1995
• コンピューター、算術と数値 – 覚書、ユーバーブリッケ数学、Vieweg 1998
• デジタルコンピュータのための高度な算術 - 算術ユニットの設計、Springer-Verlag 2002
• コンピュータ演算と妥当性 - 理論、実装、およびアプリケーション、de Gruyter 2008、第2版、2013

参考文献

1. 数学系譜プロジェクトのウルリッヒ・クリッシュ
2. 「ウルリッヒ・W・クリッシュ — 履歴書」

外部リンク

• ホームページ（ドイツ語）
• 経歴（ドイツ語）
• ドイツ国立図書館のカタログにあるウルリッヒ・クーリッヒの著作および同著作に関する文献