ウィリアム・“ベルベル”・モートン・カーン(1933年6月5日生まれ)は、カナダの数学者およびコンピュータ科学者であり、カリフォルニア大学バークレー校の名誉教授である。彼は「数値解析への基礎的な貢献」により、1989年にチューリング賞を受賞した。[ 2 ]
カナダのユダヤ人家庭に生まれた[ 2 ]彼は、トロント大学に通い、1954年に学士号、1956年に修士号、1958年に博士号を、いずれも数学の分野で取得した。カーンは現在、カリフォルニア大学バークレー校の数学および電気工学・コンピュータ科学(EECS)の名誉教授である。
カハンは、浮動小数点演算のIEEE 754-1985規格(およびその基数に依存しない後継規格であるIEEE 854)の主要な設計者でした。彼は、オリジナルのIEEE 754仕様の作成に尽力したことから、「浮動小数点の父」と呼ばれています。[ 2 ]カハンは、現在のIEEE 754規格につながるIEEE 754の改訂にも貢献を続けました。
1980年代に、カーンは浮動小数点演算の潜在的なバグを幅広くテストするベンチマークプログラム「paranoia」を開発しました。[ 3 ] また、有限精度浮動小数点数のシーケンスを加算する際に発生する誤差を最小限に抑える重要なアルゴリズムであるカーン加算アルゴリズムも開発しました。彼は、超越関数をあらかじめ割り当てられた桁数に正しく丸める際の未知のコストを「表作成者のジレンマ」と名付けました。 [ 4 ]
デイビス・カハン・ワインバーガーの膨張定理は、ヒルベルト空間作用素の膨張理論における画期的な結果の一つであり、さまざまな分野で応用されている。[ 5 ]
カハンは、浮動小数点の問題について一般のコンピューターユーザーへの教育を改善することを強く提唱しており、浮動小数点演算の精度を損なうと考えるコンピューターやプログラミング言語の設計上の決定を定期的に非難している。[ 6 ] [ 7 ] [ 8 ]
ヒューレット・パッカード(HP)が初代HP-35ポケット関数計算機を発表した際、一部の引数に対する超越関数の評価における数値精度は最適ではなかった。HPはカハンと緊密に協力してアルゴリズムの精度を向上させ、その結果、大幅な改善が実現した。これは当時、ヒューレット・パッカード・ジャーナルに記録されている。[ 9 ] [ 10 ]彼はまた、 HP Voyagerシリーズ のアルゴリズムの設計にも大きく貢献し、中級および上級マニュアルの一部を執筆した。
カハンは1994年にACMフェローに選ばれ、2005年には全米技術アカデミーに選出された。 [ 2 ]