ウィリアム・カハン

出典: フリー百科事典『ウィキペディア（Wikipedia）』
移動: 案内、 検索
ウィリアム・モートン・カハン
人物情報
誕生 1933年6月5日（79歳）
カナダの旗 カナダ オンタリオ州トロント
国籍 カナダの旗 カナダ
学問
研究分野 数学
計算機科学
研究機関 カリフォルニア大学バークレー校
母校 トロント大学
主な業績 IEEE 754
カハンの加算アルゴリズム
主な受賞歴 チューリング賞
ACMフェロー
テンプレートを表示

ウィリアム・モートン・カハン（William Morton Kahan、1933年6月5日 - ）は、数学者で計算機科学者。「数値解析への根本的貢献に対して」1989年にチューリング賞を受賞。1994年にはACMフェローに選ばれた。

目次

経歴 [編集]

カナダのトロントで生まれる。トロント大学で数学を学び、1954年に学士号、1956年に修士号、1958年に博士号を取得した。2012年現在はカリフォルニア大学バークレー校の名誉教授である。

浮動小数点演算の IEEE 754-1985 標準（および基数非依存の拡張版である IEEE 854）策定の際のアーキテクト代表である。IEEE 754 の元となった仕様を作成したことから「浮動小数点数の父」とも呼ばれる。その後の IEEE 754 改訂作業にも貢献し、現在の IEEE 754 規格を作り出した。

1980年代には "paranoia" という有名なプログラムも開発した。これは浮動小数点演算に関するバグを検出するベンチマークである。1994年、これによってPentiumの除算バグが発見され、今日でもよく使われている。また、有限の精度の浮動小数点数の列を加算する際に入り込む誤差を最小にする重要なアルゴリズム（カハンの加算アルゴリズム）も開発した。カハンは超越関数の丸めのコストに対して「テーブルメーカーのジレンマ」という用語を作った。「ふたつのオーバーフローもアンダーフローもしていない浮動小数点数について y^w を正しく丸めつつ計算するコストは不明である」[1]

彼は浮動小数点演算に関する教育に熱心で、浮動小数点数に関して間違った設計のハードウェアやプログラミング言語に対して厳しい。

ヒューレット・パッカード (HP) の世界初の科学技術計算用ポケット電卓 HP-35 は、超越関数を特定の引数で計算したときの精度に問題があった。HPはカハンと共同でそれらのアルゴリズムの改良に熱心に取り組み、大きな改善をもたらした。このことは当時の Hewlett-Packard Journal で紹介されている[2][3]。その後HP-10Cシリーズでのアルゴリズム設計にも関わり、マニュアル執筆にも関わった。

参考文献 [編集]

  • Richard Karpinski. 1985. Paranoia: A floating-point benchmark. Byte Magazine 10, 2 (Feb.), 223–235
  • IEEE 1985. IEEE standard for binary floating-point arithmetic. ACM SIGPLAN Notices 22, 2 (Feb.), 9–25

脚注 [編集]

  1. ^ Kahan, William. “A Logarithm Too Clever by Half”. 2008年11月14日閲覧。
  2. ^ Kahan, William M. (12 1979). “Personal Calculator Has Key to Solve Any Equation f(x) = 0”. Hewlett-Packard Journal 30 (12): 20–26. http://www.hpl.hp.com/hpjournal/pdfs/IssuePDFs/1979-12.pdf 2008年11月14日閲覧。. 
  3. ^ Kahan, William M. (8 1980). “Handheld Calculator Evaluates Integrals”. Hewlett-Packard Journal 31 (8): 23–32. http://www.hpl.hp.com/hpjournal/pdfs/IssuePDFs/1980-08.pdf 2008年11月14日閲覧。. 

外部リンク [編集]

「http://ja.wikipedia.org/w/index.php?title=ウィリアム・カハン&oldid=46762245」から取得