Loading article…
デイビッド・ハロルド・ベイリー（1948年8月14日生まれ）は、数学者でありコンピュータ科学者です。彼は1972年にブリガムヤング大学で数学の学士号を、 1976年にスタンフォード大学で数学の博士号を取得しました。 [ 1 ]彼はNASAエイムズ研究センターで14年間コンピュータ科学者として働き、その後1998年から2013年までローレンス・バークレー国立研究所で上級科学者として働きました。彼は現在バークレー研究所を退職しています。
ベイリーは、おそらくピーター・ボーウェインとサイモン・プルーフと共に1997年の論文で、プルーフが1995年に発見したπ （パイ）の新しい公式を発表したことで最もよく知られています。このベイリー・ボーウェイン・プルーフの公式により、簡単なアルゴリズムを用いて、任意の位置から始まるπの2進数または16進数の桁を計算することができます。その後、ベイリーとリチャード・クランドールは、この公式や類似の公式の存在が、「正規性」 [ 2 ] 、つまり特定の数学定数（πを含む）の桁が特定の意味で「ランダム」に見えるかどうか、またその理由について長年の疑問に関係していることを示しました。
ベイリーは、ジョナサン・ボーウェイン（ピーターの弟）と長年にわたり共同研究を行っていた。二人は実験数学に関する著書を5冊、技術論文を80本以上共著した。
ベイリーは数値解析と並列コンピューティングの研究も行っている。彼は高速フーリエ変換（FFT）、高精度演算、およびPSLQアルゴリズム（整数関係検出に使用）に関する研究を発表している。彼は並列科学計算機の性能を評価および分析するために使用されるNASベンチマークの共著者である。FFTを計算する「4ステップ」方法は、ベイリーのFFTアルゴリズムとして広く知られている（ベイリー自身はWM GentlemanとG. Sandeに帰属させている[ 3 ] [ 4 ]）。
彼はまた、数理ファイナンスの分野でも論文を発表しており、2014年の論文「疑似数学と金融詐欺」では、金融分野における統計的過学習やその他の数学の悪用がもたらす危険性を強調している。
1993年、ベイリーはIEEEコンピュータ協会からシドニー・ファーンバック賞、アメリカ数学協会からショーヴネ賞[ 5 ]とハッセ賞を受賞した。2008年には、計算機学会からゴードン・ベル賞を共同受賞した。2017年には、アメリカ数学会からレヴィ・L・コナント賞を共同受賞した。
ベイリーは末日聖徒イエス・キリスト教会の会員である。彼は科学教育の擁護者としての立場をとっており、現代科学の結論を受け入れることは宗教的見解と矛盾しないと主張している。[ 6 ]