Takeshi OGITA, Waseda University

		荻田武史博士（情報科学）早稲田大学理工学術院基幹理工学部応用数理学科教授プロフィール Go to English page
（Japan, 2023）

Last Update: 2024/10/28

[研究室]

早稲田大学基幹理工学部応用数理学科荻田研究室
〒169-8555 東京都新宿区大久保3-4-1
63号館4階426室（教員）／419室（学生）
e-mail: t.ogita の後に @waseda.jp

[専門分野]

数値解析学（Numerical Analysis）

数値線形代数（Numerical Linear Algebra）
高精度数値計算アルゴリズム（Accurate Numerical Algorithms）
精度保証付き数値計算（Verified Numerical Computations）

[最近の研究]

疎行列系連立一次方程式の数値解の高速精度保証
疎行列系固有値問題に対する精度保証
高精度な行列分解アルゴリズムの提案

過去の研究記録

[主な招待講演／チュートリアル／セミナー（予定含む）]

T. Ogita: (Plenary lecture) Accurate and Verified Computations in Numerical Linear Algebra, 2024 SIAM Conference on Applied Linear Algebra (LA24), Sorbonne University, Paris, France, May 17, 2024.
荻田武史: （招待講演）精度保証付き数値計算と高精度計算, 2013年度応用数学合同研究集会, 龍谷大学瀬田キャンパス (2013/12/20).
T. Ogita: (Plenary lecture) Verified Solutions of Sparse Linear Systems, The 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, Russia (2012/9/26). スライド [PDF]
荻田武史: （特別講演）エラーフリー変換とロバストな行列分解, 日本数学会年会, 応用数学分科会, 慶応義塾大学 (2010/3/24-27) スライド [PDF]
T. Ogita: (Invited talk) Fast and Accurate Computation of Sum and Dot Product, Dagstuhl Seminar 05391: Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl, Germany (2005/9/25-30). スライド [PDF]

過去の招待講演／チュートリアル等
過去の全講演記録

[主要論文]

Takeshi Ogita, Kensuke Aishima: Iterative refinement for symmetric eigenvalue decomposition / II: clustered eigenvalues, Japan Journal of Industrial and Applied Mathematics, 35:3 (2018), 1007-1035 / 36:2 (2019), 435-459.
Takeshi Ogita: Accurate matrix factorization: Inverse LU and inverse QR factorizations, SIAM Journal on Matrix Analysis and Applications, 31:5 (2010), 2477-2497.
Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi: Accurate sum and dot product, SIAM Journal on Scientific Computing, 26:6 (2005), 1955-1988.
Takeshi Ogita, Shin'ichi Oishi, Yasunori Ushiro: Fast verification of solutions for sparse monotone matrix equations, Computing, Supplement 15 (2001), 175-187. (Topics in Numerical Analysis: With Special Emphasis on Nonlinear Problems, G. Alefeld and X. Chen eds., Springer WienNewYork, Austria)

全論文リスト

[主な解説論文等]

荻田武史: スパース系線形方程式の精度保証付き数値計算, 数学セミナー, 612 (2012年10月号), 日本評論社, 26-31. （特集: 計算の性能—速度・環境・正確さ）
荻田武史: エラーフリー変換がもたらす数値計算の新たな方向性, 数理科学, 578 (2011年8月号), 52-53.
Takeshi Ogita, Shin'ichi Oishi: Fast Verified Solutions of Linear Systems, Japan Journal of Industrial and Applied Mathematics, 26:2 (2009), 169-190.
荻田武史: 品質を落とさない数値計算法ー無誤差変換と高精度計算ー, 数学セミナー, 566 (2008年11月号), 日本評論社, 15-19. （特集: 計算の品質─精度・誤差・効率）
Siegfried M. Rump （荻田武史訳）: 計算機援用証明 II, 応用数理, 14:4 (2004), 346-359.
Siegfried M. Rump （荻田武史訳）: 計算機援用証明 I, 応用数理, 14:3 (2004), 214-223.

[著書]

分担: ソフトウェア自動チューニング（ISBN: 978-4-627-87221-9）, 森北出版, 2021年9月.（担当: 5章「これからの数値計算：計算結果の保証」pp.261-289）
分担: 固有値計算と特異値計算（日本計算工学会編, ISBN: 978-4-621-30473-0）, 丸善出版, 2019年12月.（担当: 5章「反復改良法」pp.127-139）
分担: 精度保証付き数値計算の基礎（大石進一編, ISBN: 978-4-339-02887-4）, コロナ社, 2018年7月26日.（担当: 序章 pp.1-10, 1章 pp.11-32, 2章 pp.33-55, 3章 pp.56-90, 9.5節 pp.290-305（和訳））, サポートページ
分担: 朝倉数学辞典（川又雄二郎・坪井俊・楠岡成雄・新井仁之編, ISBN: 978-4-254-11125-5）, 朝倉書店, 2016年6月6日.（担当: 近似計算, pp.150-151, 数値積分, pp.273-274, 補間公式, pp.575-576）
分担: 応用数理ハンドブック（日本応用数理学会監修／薩摩順吉・大石進一・杉原正顕編, ISBN: 978-4-254-11141-5）, 朝倉書店, 2013年11月15日.（担当: 連立一次方程式に対する精度保証, pp.430-433, 行列固有値問題に対する精度保証, pp.434-437）
分担: シミュレーション辞典（日本シミュレーション学会編, ISBN: 978-4-339-02458-6）, コロナ社, 2012.（担当: 数値計算と浮動小数点数, p.161, ベクトルと行列のノルム, p.306）
分担: マイクロ波シミュレータの基礎 (山下榮吉監修, ISBN: 4-88552-201-3), 電子情報通信学会, 2004.（8章: 大規模行列の扱い方, pp.147-167）

[賞罰]

[Research Poster Award] 2021年6月28日, ISC High Performance 2021 Digital [D. Mukunoki, K. Ozaki, T. Ogita, T. Imamura: Accurate Matrix Multiplication on Binary128 Using Ozaki Scheme]
[日本応用数理学会論文賞（JJIAM部門） (2020年度)] 2020年9月9日 [T. Ogita, K. Aishima: Iterative refinement for symmetric eigenvalue decomposition, Japan Journal of Industrial and Applied Mathematics, Vol. 35, Issue 3 (2018), pp.1007-1035.]
[Best Poster Award] 2019年9月25日, Russian Supercomputing Days 2019 [D. Mukunoki, T. Ogita, K. Ozaki: Accurate and Reproducible Linear Algebra Operations for Many-core Architectures]
[東京女子大学エクセレント・ファカルティ] 2018年12月19日
[日本応用数理学会会長特別表彰] 2018年6月29日
[日本応用数理学会論文賞 (2017年度)] 2017年9月7日 [Y. Kobayashi, T. Ogita: A fast and efficient algorithm for solving ill-conditioned linear systems, JSIAM Letters, 7 (2015), 1-4.]
[科学技術分野の文部科学大臣表彰若手科学者賞 (平成27年度)] 2015年4月15日 [荻田武史: 数値線形代数における高速かつ高精度な精度保証法の研究]
[NOLTA Best Paper Award 2012] October 26, 2012, IEICE Engineering Sciences Society [S. M. Rump, T. Ogita, S. Oishi: Fast High Precision Summation, Nonlinear Theory and Its Applications, IEICE, 1:1 (2010), 2-24.]
[日本応用数理学会ベストオーサー賞 (2012年度)] 2012年8月 [尾崎克久, 荻田武史, 大石進一: 有向丸めの変更を使用しないタイトな行列積の包含方法, 応用数理, 21:3 (2011), 22-32.]
[日本応用数理学会第1回業績賞 (2011年度), 分類A] 2012年2月 [大石進一, 荻田武史: 実用的な精度保証付き数値計算法の確立]
[Scilab Toolbox Japan Contest 2010 最優秀賞（一般カテゴリ）] 2010年9月, 荻田武史（共同開発者: 山中脩也他）: 作品名「VTOOLS (Verification Toolbox for Scilab)」.
[日本応用数理学会論文賞 (2006年度)] 2006年9月 [太田貴久, 荻田武史, S. M. Rump, 大石進一: 悪条件連立一次方程式の精度保証付き数値計算法, 日本応用数理学会論文誌, 15:3 (2005), 269-287.]
[早稲田大学小野梓記念学術賞 (2002年度)] 2003年3月 [T. Ogita: Fast and Accurate Computation of Scalar Product by the Available Floating Point Arithmetic（浮動小数点演算による内積の高速な高精度計算）]

[外部研究費]

2014.10-2022.3（平成26-令和3年度）: 科学技術振興機構(JST) 戦略的創造研究推進事業(CREST)「モデリングのための精度保証付き数値計算論の展開」主たる共同研究者（研究代表者: 大石進一）
2016.8-2020.3（平成28年度-令和元年度）: ポスト「京」で重点的に取り組むべき社会的・科学的課題に関するアプリケーション開発・研究開発萌芽的課題「極限の探究に資する精度保証付き数値計算学の展開と超高性能計算環境の創成」研究代表者
2016.4-2019.3（平成28-30年度）: 科学研究費補助金, 基盤研究(B)「数値線形代数における高精度計算アルゴリズムの開発」研究代表者 (課題番号: 16H03917)
2011.4-2015.3（平成23-26年度）: 科学研究費補助金, 若手研究(B)「ロバストで高効率な数値線形代数アルゴリズムの開発」研究代表者 (課題番号: 23700023)
2009.11-2015.3（平成21-26年度）: 科学技術振興機構(JST) 戦略的創造研究推進事業(CREST)「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」主たる共同研究者（研究代表者: 大石進一）
2008.4-2010.3（平成20-21年度）: 科学技術振興機構(JST) 戦略的創造研究推進事業(CREST)「数値線形シミュレーションの精度保証に関する研究」主たる共同研究者（研究代表者: 大石進一）
2007-2011（平成19-22年度）: 科学研究費補助金, 若手研究(B)「大規模連立一次方程式に対する高速かつ高品質な精度保証法に関する研究」研究代表者 (課題番号: 19700013)
2004-2007（平成16-18年度）: 科学研究費補助金, 若手研究(B)「大規模疎行列系連立一次方程式の数値解の高速な精度保証法に関する研究」研究代表者 (課題番号: 16700017)

[所属学会]

SIAM
日本応用数理学会

[学会活動等]

2024.8-: JSIAM ICIAM representative
2024.8.1-2026.3.31: 日本応用数理学会国際活動委員会委員
2020.4-: 日本応用数理学会「計算の品質」研究部会主査
2019.1.1-: Editor, Japan Journal of Industrial and Applied Mathematics
2017-: Editorial Board Member, Journal "Reliable Computing"
2012.4.1-: 一般社団法人日本応用数理学会代表会員
2011-: 日本応用数理学会「行列・固有値問題の解法とその応用」研究部会運営委員
2006-: 線形計算研究会（NLA）世話人

2012.4.1-2018.6, 2020.6-2024.6: 一般社団法人日本応用数理学会理事
2019.1.1-2021.12.31: SIAM Membership Committee Member
2016.4-2020.3: 一般社団法人日本シミュレーション学会代議員
2005-2020: 日本シミュレーション学会精度保証付シミュレーション技術研究専門委員会幹事
2005-2020.3: 日本応用数理学会「計算の品質」研究部会幹事
2018-2020: Guest Editor, Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2018), Journal of Computational and Applied Mathematics
2019-2020: Secretary, Journal "Nonlinear Theory and Its Applications, IEICE": Special Section on Verified Numerical Computations
2018: SIAM PP18 Secretary General
2016: NOLTA 2016 Technical Program Committee Member
2015: Guest Editor, Journal "Nonlinear Theory and Its Applications, IEICE": Special Section on Rigorous Nonlinear Analysis
2013-2016: Secretary, Journal of Advanced Simulation in Science and Engineering
2012.4-2016.3: 一般社団法人日本シミュレーション学会理事（2012年9月から一般社団法人）
2015: NOLTA 2015 Technical Program Committee Member
2012, 2013, 2014: Guest Editor, Journal "Nonlinear Theory and Its Applications, IEICE": Special Section on Recent Progress in Verified Numerical Computations
2014.6-2015.6: Program Committee Member, The 22nd IEEE Symposium on Computer Arithmetic (ARITH 22)
2013.4-2015.3: 日本応用数理学会若手の会研究部会主査
2008.5-2011.3, 2013.4-2015.3: Associate Editor, JSIAM Letters
2013-2014: Secretary, Journal "Nonlinear Theory and Its Applications, IEICE": Special Section on Nonlinear Electronics: Phenomena, Models and Computational Methods
2010.8-2014: ハイパフォーマンスコンピューティングと計算科学シンポジウムアドバイザリ委員
2012.4-2014.3: 日本応用数理学会 JSIAM Online Magazine (JOM)担当主査
2008.4-2014.3: 日本応用数理学会学会誌「応用数理」編集委員（常任幹事）
2011-2013: 日本応用数理学会若手の会研究部会幹事
2010-2013: 日本応用数理学会若手の会副幹事長
2011-2013: JSIAM Letters, 特別編集委員
2011-2012: 日本応用数理学会法人化WG 委員
2010.4.1-2012.3.31: 日本応用数理学会評議員
2011.4-2012.3: 日本応用数理学会学会誌「応用数理」編集副委員長
2010-2011: シミュレーション辞典（日本シミュレーション学会編）共通基礎理論分野数値解析部門部門主査
2010-2011: EASIAM 2011 Local Organization Member
2010-2011: 日本応用数理学会学会誌「応用数理」論文担当主査
2010: Guest Associate Editor, Journal "Nonlinear Theory and Its Applications, IEICE": Special section on Recent Progress in Verified Numerical Computations
2008: 第1回日本シミュレーション学会研究会連合発表会実行委員（幹事）
2006-2007: 第36回数値解析シンポジウム実行委員（幹事）
2005-2007: 電子情報通信学会会員増強委員
2005-2007: 電子情報通信学会広報委員
2005.5.28-2007.5.24: 電子情報通信学会基礎・境界ソサイエティ運営委員会事業担当幹事（役員）
2005: NOLTA 2005 Secretary
2004: NOLTA 2004 Technical Program Committee Member
2004: 第23回日本シミュレーション学会大会実行委員

[Link to Journals]

[Link to Society]

[Link to Others]

CiteSeer.IST (科学技術計算関係の文献のプレプリントがたくさんあるところ)
IEEE Xplore (IEEEの国際会議論文などを検索可能)
INTLAB - INTerval LABoratory (Rump教授によるMatlabの精度保証toolbox)
Matrix Market (テスト行列がたくさんあるところ)
Netlib (数値計算などのライブラリがたくさんあるところ)
SPARSEKIT (疎行列用ユーティリティ)
University of Florida Sparse Matrix Collection (Matlab用のmatファイルを含むテスト行列がたくさんあるところ)
Scilab (無料で使えるMatlabクローン的なソフトウェア．Macでも使える)
Octave (無料で使えるMatlabクローン的なソフトウェア)

荻田 武史

新着情報

[研究室]

[専門分野]

[最近の研究]

[主な招待講演／チュートリアル／セミナー（予定含む）]

[主要論文]

[主な解説論文等]

[著書]

[賞罰]

[外部研究費]

[所属学会]

[学会活動等]

[Link to Journals]

[Link to Society]

[Link to Others]

荻田武史