ラモン・E・ムーア

ラモン・エドガー（レイ）・ムーア（1929年12月27日 - 2015年4月1日[ 1 ]）は、アメリカの数学者であり、区間演算の分野における先駆的な研究で知られている。 （1929年12月27日）（2015年4月1日）

ムーアは1950年にカリフォルニア大学バークレー校で物理学の学士号を取得し、 1963年にスタンフォード大学で数学の博士号を取得しました。初期のキャリアには、初期のコンピュータ（ENIACを含む）の開発が含まれていました。彼は1975年と1980年の2度にわたり、米国の上級科学者に贈られるフンボルト研究賞を受賞しました。[ 1 ]

彼の最も有名な作品は、1966年に出版された最初の著書『Interval Analysis』である。彼はさらに数冊の本と多くの論文や技術レポートを執筆した。[ 2 ] [ 3 ] [ 4 ]

REムーア賞

区間解析応用に関するREムーア賞は、厳密な数値解析という学際的な分野における賞です。テキサス大学エルパソ校のコンピュータサイエンス学部[ 5 ]によって2年ごとに授与され、学術誌Reliable Computingの編集委員会によって審査されます[ 6 ]。この賞は、区間解析へのムーアの貢献を称えて名付けられました[ 7 ]。

受賞者

年 名前 引用
2002 ワーウィック・タッカータッカー博士は、区間法を用いて、有名なローレンツ方程式が実際には奇妙なアトラクターを持つことを証明しました。この問題、すなわちスメールの14番目の予想は、ローレンツモデルがカオス理論の始まりを示唆するものと広く認識されていることから、特に注目されています[ 8 ]。
2004 トーマス・C・ヘイルズヘイルズ博士は、この長年の懸案を区間演算を用いて解決しました。彼の予備的な結果は2000年にアメリカ数学会報に掲載され、論文「ケプラー予想」は純粋数学における世界有数の学術誌の一つであるAnnals of Mathematicsに掲載される予定です。[ 9 ]
2006 授与されなかった[ 10 ]
2008 牧野京子とマーティン・ベルツ 2005年にInternational Journal of Differential Equations and Applications（第10巻、第4号、353-384ページ）に掲載された論文「テイラーモデルに基づく検証済み積分器によるラッピング効果の抑制：前処理による長期安定化」に対して。[ 11 ]
2012 リュック・ジャウラン 2009年にIEEE Transactions on Robotics（第25巻第1号、88～98ページ）に掲載された論文「区間制約伝播を用いた水中ロボットの位置推定と地図作成のための非線形セットメンバーシップアプローチ」に対して。[ 12 ]
2014 小林健太 2013年にNankai Series in Pure, Applied Mathematics and Theoretical Physics（第10巻、pp.54-67）に掲載された論文「ストークスの極限形式の波のコンピュータ支援による一意性証明」に対して。[ 13 ]
2016 バラズ・バンヘリイ、ティボール・センデス、ティボール・クリスティン、アーノルド・ノイマイヤー 2014年にSIAM Journal on Applied Dynamical Systems（第13巻第1号、537～563ページ）に掲載された論文「ライト方程式の零解の全体的引力」に対して。[ 14 ]
2018 ジョルディ＝ルイス・フィゲラス、アレックス・ハロ、アレハンドロ・ルケ 2017年に『計算数学の基礎』（第17巻、第5号、1123～1193ページ）に掲載された論文「KAM理論の厳密なコンピュータ支援応用：現代的アプローチ」に対して。[ 15 ]
2021 マルコ・ランゲとジークフリート・M・ランプ 2021年にBIT Numerical Mathematics（第61巻、361-380ページ）に掲載された論文「ウェディンのsin（θ ）定理の一般化による指定されたランク不足の最近傍行列の検証済み包含」に対して。 [ 16 ]
2025 トリスタン・バックマスター、ゴンサロ・カオ＝ラボラ、ハビエル・ゴメス＝セラーノ 2025年にForum of Mathematics Pi誌（第13巻、論文）に掲載された論文「3次元圧縮性流体の滑らかな破裂解」に対して。[ 17 ]

参照

参考文献

  1. ^ a b「ラモン・E・ムーア（1929–2015）」（PDF） . Reliable Computing . 2016年.
  2. ^区間分析のレビュー:
  3. ^区間解析入門のレビュー：
  4. ^区間分析の方法と応用のレビュー：
  5. ^ 「区間解析の応用に関するREムーア賞：説明と根拠」テキサス大学エルパソ校コンピュータサイエンス学部。 2019年5月17日閲覧。
  6. ^ 「Reliable Computing - Springer」link.springer.com . 2018年8月13日閲覧。
  7. ^ 「R・E・ムーア賞」2019年5月17日閲覧。
  8. ^ 「ワーウィック・タッカー、初のR・E・ムーア賞を受賞」 www.cs.utep.edu 2018年8月13日閲覧。
  9. ^ 「トーマス・C・ヘイルズ氏が第2回R・E・ムーア賞を受賞」 www.cs.utep.edu 2018年8月13日閲覧。
  10. ^ミシガン大学物理天文学部。「区間解析の応用に関するR.E.ムーア賞」 。 2019年5月17日閲覧。
  11. ^ 「牧野京子氏とマーティン・ベルツ氏が第3回R・E・ムーア賞を受賞」 www.cs.utep.edu . 2018年8月13日閲覧。
  12. ^ 「Luc Jaulin氏が第4回R.E.ムーア賞を受賞」 www.cs.utep.edu 2018年8月13日閲覧。
  13. ^ 「小林健太氏が第5回R・E・ムーア賞を受賞」 www.cs.utep.edu . 2018年8月13日閲覧。
  14. ^ “バラズ・バンヘリイ、ティボール・センデス、ティボール・クリスティン、アーノルド・ノイマイヤーが第6回REムーア賞を受賞” . www.cs.utep.edu 。2018年8月13日に取得。
  15. ^ “ジョルディ＝ルイス・フィゲラス、アレックス・ハロ、アレハンドロ・ルケが第7回REムーア賞を受賞” . www.cs.utep.edu 。2020年3月9日に取得。
  16. ^ 「Marko LangeとSiegfried M. Rumpが第8回R.E.ムーア賞を受賞」 www.cs.utep.edu . 2024年6月18日閲覧。
  17. ^ 「第9回ラモン・E・ムーア賞（2025年）」 www.cs.utep.edu . 2025年10月31日閲覧。

さらに読む

「 https://en.wikipedia.org/w/index.php?title=Ramon_E._Moore&oldid=1319723096」より取得