過去の講演

(荻田が登壇者であったもののみ記載)
    [2024年度](国外:1,国内:1, オンライン:0)
  1. 荻田 武史: 数値線形代数における精度保証と高信頼計算, RIMS共同研究(公開型)「計算科学に資する数値解析学の展開」, 京都大学 (2024/10/25)
  2. T. Ogita: (Plenary talk) Accurate and Verified Computations in Numerical Linear Algebra, SIAM Conference on Applied Linear Algebra (LA24), Sorbonne University, Paris, May 17, 2024.

    [2023年度](国外:0,国内:0, オンライン:2)
  3. (Online) T. Ogita: Verified Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation, 45th ASE Seminar (Advanced Supercomputing Environment): International Workshop on "Integration of Simulation/Data/Learning and Beyond", November 29, 2023.
  4. (Online) 荻田 武史: 高性能かつ高信頼な数値計算手法とその応用(オンライン発表), 第15回JHPCNシンポジウム, 東京コンファレンスセンター・品川 (2023/7/6)

    [2022年度](国外:0,国内:0, オンライン:1)
  5. (Online) 荻田 武史: 高性能かつ高信頼な数値計算手法とその応用(オンライン発表), 第14回JHPCNシンポジウム, 東京コンファレンスセンター・品川 (2022/7/8)

    [2021年度](国外:0,国内:0, オンライン:1)
  6. (Online) T. Ogita: Iterative Refinement and Verified Numerical Linear Algebra, SIAM Conference on Applied Linear Algebra (LA21), Virtual Conference (originally scheduled in New Orleans, Louisiana, U.S.), May 19 (CDT), 2021.

    [2019年度](国外:4,国内:1)
  7. T. Ogita: Verified Numerical Computations on Supercomputers, Workshop on Large-scale Parallel Numerical Computing Technology (LSPANC 2020 January), RIKEN, Kobe, Japan, January 30, 2020.
  8. T. Ogita: (Invited talk) Verified Numerical Computations with HPC, 3rd International Conference on Modern Mathematical Methods and High Performance Computing in Science & Technology, Inderprastha Engineering College, Ghaziabad, India, January 9, 2020.
  9. T. Ogita, K. Nakajima: Verified solutions of large sparse linear systems arising from 3D Poisson equation in HPC environments, European Numerical Mathematics and Advanced Applications Conference 2019 (ENUMATH 2019), Egmond aan Zee, The Netherlands, October 2, 2019.
  10. T. Ogita, K. Nakajima: Accurate and verified solutions of large sparse linear systems arising from 3D Poisson equation, International Conference on Matrix Analysis and its Applications (MAT TRIAD 2019), Liblice, Czech Republic, September 10, 2019.
  11. T. Ogita: Verification methods for numerical linear algebra and applications, The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019), University of Valencia, Valencia, Spain, July 17, 2019.

    [2018年度](国外:3,国内:1)
  12. T. Ogita: Iterative Refinement for Singular Value Decomposition, SIAM Conference on Computational Science and Engineering (CSE19), Spokane Convention Center, Spokane, Washington, USA, February 25, 2019.
  13. T. Ogita, K. Aishima: Iterative Refinement for Singular Value Decomposition, The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2018), Waseda University, Tokyo, September 12, 2018.
  14. T. Ogita: Accurate eigenvector computations for clustered eigenvalues by iterative refinement, 10th International Workshop on Parallel Matrix Algorithms and Applications (PMAA18), ETH Zurich, Switzerland, June 27, 2018.
  15. T. Ogita: An efficient preconditioning method for ill-conditioned linear systems, IX Pan-American Workshop Applied Mathematics & Computational Science (PanAm 2018), Hotel Melia Varadero, Cuba, June 11, 2018.

    [2017年度](国外:2,国内:6)
  16. T. Ogita: Development of Verified Numerical Computations in High-Performance Computing Environments, 2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing (ATAT in HPSC 2018), National Cheng Kung University, Tainan, Taiwan, March 27, 2018.
  17. T. Ogita: Accurate and Verified Numerical Computations with HPC, SIAM Conference on Parallel Processing for Scientific Computing 2018 (SIAM PP18), Waseda University, Tokyo, Japan, March 8, 2018.
  18. 荻田 武史:(招待講演)線形問題におけるHPC向きの精度保証法と反復改良法, 第9回自動チューニング技術の現状と応用に関するシンポジウム(ATTA2017), 東京大学 工学部 (2017/12/25)
  19. 荻田 武史: 極限の探究に資する精度保証付き数値計算学の展開と超高性能計算環境の創成, AT μワークショップ, 鳥羽シーサイドホテル, 鳥羽市 (2017/10/29)
  20. 荻田 武史:(招待講演)数値線形代数における反復改良法, 第17回AT研究会オープンアカデミックセッション(ATOS17), 山梨大学甲府東キャンパス, 甲府市 (2017/10/6)
  21. 荻田 武史, 尾崎 克久, 柏木 雅英, 片桐 孝洋: HPC分野における精度保証付き数値計算学の展開, 2017年並列/分散/協調処理に関する『秋田』サマー・ワークショップ (SWoPP2017), 秋田アトリオンビル, 秋田市 (2017/7/26)
  22. 荻田 武史: 対称行列に対する固有値分解の反復改良法, 環瀬戸内ワークショップ, 愛媛大学, 松山市 (2017/7/22)
  23. T. Ogita: Preconditioning of Linear Systems Using LU Factors, The 2017 International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE 2017), Costa Ballena, Cadiz, Spain, July 4, 2017.

    [2016年度](国外:3,国内:1)
  24. T. Ogita: A preconditioning method for dense linear systems, Numerical Analysis Seminar, North Carolina State University, Raleigh, NC, USA, March 6, 2017.
  25. T. Ogita: Iterative refinement of eigenvectors of symmetric matrices with clustered eigenvalues, SIAM Conference on Computational Science and Engineering (CSE17), Hilton Atlanta, Atlanta, GA, USA, March 2, 2017.
  26. T. Ogita: Efficient Preconditioning Methods for Dense Ill-conditioned Linear Systems, 5th European Seminar on Computing (ESCO 2016), Pilsen, Czech Republic, June 9, 2016.
  27. 荻田 武史: 実対称行列の固有値分解に対する反復改良法, 応用解析研究会, 天満研修センター, 大阪市 (2016/5/20)

    [2015年度](国外:1,国内:3)
  28. T. Ogita: (Invited talk) Refinement of Symmetric Eigenvalue Decomposition, 20th Advanced Supercomputing Environment (ASE) Seminar, Information Technology Center (ITC), The University of Tokyo, Oct. 16, 2015.
  29. T. Ogita: (Invited talk) Iterative Refinement for the Symmetric Eigenvalue Problems, German-Japanese Workshop on Theory and Practice of Real Computation, Shikonkan building, Meiji University, Tokyo, July 12, 2015.
  30. T. Ogita: Acceleration of an Accurate Summation Algorithm, 6th International Conference on Computational Methods, Auckland, New Zealand, July 15, 2015.
  31. T. Ogita: (Invited talk) Iterative Refinement for the Symmetric Eigenvalue Decomposition, The 8th Seminar on Linear Algebra and its Applications, University of Kurdistan, Sanandaj, Iran, May 14, 2015.

    [2014年度](国外:4,国内:1)
  32. T. Ogita: Iterative Refinement for Symmetric Eigenvalue Decomposition, The First French-Japanese Workshop on Numerical Computations, Pierre and Marie Curie University (Paris 6), March 25, 2015.
  33. 荻田 武史: 対称固有値問題に対する残差反復法, 研究集会「新時代の科学技術を牽引する数値解析学」(代表者:木村 正人), 京大数理解析研究所 (2014/10/9)
  34. T. Ogita: Iterative Refinement for Symmetric Eigenvalue Problems, 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, University of Wuerzburg, Wuerzburg, Sep. 22, 2014.
  35. T. Ogita: (Invited talk) Acceleration of Accurate Floating-Point Summation, The Fifth China-Japan-Korea Conference on Numerical Mathematics, Ningxia University, Yinchuan, Aug. 27, 2014.
  36. T. Ogita: Iterative Refinement for Singular Value Decompositions, The 7th Small Workshop on Interval Methods (SWIM2014), Uppsala, June 11, 2014.

    [2013年度](国外:3,国内:3)
  37. T. Ogita: Iterative Refinement for Symmetric Eigenvalue Problems, 日本応用数理学会 研究部会連合発表会, 京都大学 (2014/3/20).
  38. T. Ogita: Fast verified solutions of sparse linear systems, The International Workshop on Numerical Verification and its Applications 2014, Waseda University, Tokyo, March 15, 2014.
  39. 荻田 武史: (招待講演)精度保証付き数値計算と高精度計算, 2013年度 応用数学合同研究集会, 龍谷大学 瀬田キャンパス (2013/12/20).
  40. T. Ogita: Verified Solutions of Sparse Linear Systems with Special Matrices, 2013 International Symposium on Nonlinear Theory and its Applications (NOLTA2013), Santa Fe, USA, September 11, 2013.
  41. T. Ogita: Backward error bounds on factorizations of symmetric indefinite matrices, The 10th European Conference on Numerical Mathematics and Advanced Applications (ENUMATH 2013), Lausanne, Switzerland, August 27, 2013.
  42. T. Ogita, K. Kobayashi: Rigorous backward error bounds on factorizations of symmetric indefinite matrices, 4th International Conference on Matrix Analysis and Applications, Konya, Turkey, July 2-5, 2013.

    [2012年度](国外:4,国内:3)
  43. 荻田 武史: (招待講演)線形問題に対する精度保証付き数値計算, 第2回計算力学シンポジウム, 日本学術会議講堂 (2012/12/10).
  44. 荻田 武史: ブロックLDLT分解の後退誤差解析とその応用, 環瀬戸内ワークショップ, 香川県小豆郡土庄町総合会館「フレトピアホール」(2012/11/17).
  45. 荻田 武史: (招待講演)連立一次方程式に対する精度保証の現状, 第4回横幹連合総合シンポジウム, 日本大学 生産工学部 津田沼キャンパス (2012/11/2).
  46. T. Ogita: Backward Error Bounds of Block LDLT Factorizations, 2012 International Symposium on Nonlinear Theory and its Applications (NOLTA2012), Palma de Mallorca, Spain, October 26, 2012.
  47. 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, September 26, 2012.
  48. T. Ogita: Verified Solutions of Sparse Linear Systems, 2012 SIAM Conference on Applied Linear Algebra, Valencia, Spain, June 21, 2012.
  49. T. Ogita: Verified Solutions of Sparse Linear Systems, Fifth Conference on Numerical Analysis and Applications, Lozenetz, Bulgaria, June 18, 2012.

    [2011年度](国外:3,国内:3)
  50. 荻田 武史: (セミナー)精度保証付き数値計算の基礎, 日本応用数理学会 三部会連携「応用数理セミナー」, 早稲田大学 (2011/12/27)
  51. 荻田 武史: (セミナー)線形問題における精度保証付き数値計算法, 数理科学セミナー, 一橋大学 (2011/10/19)
  52. T. Ogita: (Invited talk) Computing Tight Bounds on Extreme Eigenvalues of Symmetric Matrices, Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods, Karlsruhe Institute of Technology, Karlsruhe, Germany, Sep. 20, 2011.
  53. T. Ogita: Computing Tight Bounds on Extreme Eigenvalues of Symmetric Matrices, 2011 International Symposium on Nonlinear Theory and its Applications (NOLTA2011), Kobe, Japan, Sep. 5, 2011.
  54. T. Ogita: Robust Inverse Matrix Factorizations, International Workshop on Numerical Linear Algebra and Its Applications (20th NLA Seminar), Tongji University, Shanghai, China, July 2, 2011.
  55. T. Ogita: Robust Singular Value Decomposition, ApplMath11: 7th Conference on Applied Mathematics and Scientific Computing, Trogir, Croatia, June 14, 2011.

    [2010年度](国外:7,国内:5)
  56. T. Ogita: Accurate Inverse Matrix Factorizations, Pierre and Marie Curie University (Paris VI) (2011/3/24)
  57. T. Ogita: Robust Inverse Matrix Factorizations, ENS de Lyon (2011/3/10)
  58. T. Ogita: Modified Algorithms for Accurate Floating-point Summation, The University of Perpignan Via Domitia (2011/2/24)
  59. 荻田 武史: (招待講演)数値線形代数における精度保証付き数値計算法の現状, 第8回ASE研究会, 東京大学 情報基盤センター (2010/12/6)
  60. 荻田 武史: (セミナー)線形方程式に対する精度保証付き数値計算法の現状, HMCセミナー, 金沢大学 (2010/12/3)
  61. T. Ogita: Accurate Singular Value Decomposition for Ill-conditioned Matrices, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), ENS de Lyon, France, Sep. 27-30, 2010.
  62. T. Ogita: Accurate Singular Value Decomposition, 2010 International Symposium on Nonlinear Theory and its Applications (NOLTA2010), Krakow, Poland, Sep. 5-8, 2010.
  63. T. Ogita: Robust algorithms for singular values and eigenvalues, Czech-Japanese Seminar in Applied Mathematics, Prague/Telc, Czech Republic, Aug. 30-Sep. 4, 2010.
  64. T. Ogita: Accurate Singular Value Decomposition and Eigenvalue Decomposition, Applied Mathematics International Conference 2010 (AMIC 2010) & The Sixth East Asia SIAM Conference, Kuala Lumpur, Malaysia, Jun. 22-24, 2010.
  65. 荻田 武史: 高精度なスパースCholesky分解, 日本シミュレーション学会, 山形大学 (2010/6/19-20)
  66. 荻田 武史: 高精度な固有値分解アルゴリズム, 第15回 計算工学講演会, 九州大学医学部百年講堂 (2010/5/26-28)
  67. 荻田 武史: (セミナー)悪条件行列の高精度な分解法とその応用, 数値解析セミナー(東大), 東京大学駒場キャンパス (2010/5/12)

    [2009年度](国外:5,国内:8)
  68. 荻田 武史: (特別講演)エラーフリー変換とロバストな行列分解, 日本数学会年会, 応用数学分科会, 慶応義塾大学 (2010/3/24-27)
  69. 荻田 武史: (招待講演)精度保証付き数値計算とロバストアルゴリズム, 天体力学N体力学研究会, 千葉大学 (2010/3/19-20)
  70. T. Ogita: Robust Matrix Factorizations, 2010 International Workshop on Numerical Verification and its Applications, Hachijo-jima, Japan (2010/3/10-15)
  71. T. Ogita: Exact Determinant of Integer Matrices, 4th International Workshop on Reliable Engineering Computing (REC2010), Singapore (2010/3/3-5)
  72. T. Ogita: (Invited talk) Robust and Accurate Matrix Factorizations, Dagstuhl Seminar 09471: Computer-assisted Proofs - Tools, Methods and Applications, Dagstuhl, Germany (2009/11/15-20)
  73. T. Ogita, S. Oishi: Accurate and Robust Inverse Cholesky Factorization, 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA2009), Sapporo, Japan (2009/10/18-21)
  74. 荻田 武史: 悪条件行列の高精度な特異値分解アルゴリズム, 日本応用数理学会 2009年度年会 「計算の品質研究部会」オーガナイズドセッション, 大阪大学 豊中キャンパス, 豊中市 (2009/9/28-30)
  75. T. Ogita: Robust Computation of Determinant, 7th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM2009), Crete, Greece (2009/9/18-22)
  76. 荻田 武史: (招待講演)ロバストな行列分解アルゴリズムとその応用, 2009年並列/分散/協調処理に関する「仙台」サマー・ワークショップ(SWoPP仙台2009), フォレスト仙台 (2009/8/4-6)
  77. 荻田 武史: (セミナー)線形問題の精度保証付き高精度数値計算法, デジタル解析学セミナー, 早稲田大学 (2009/7/22)
  78. T. Ogita: Accurate and Verified Computation of Matrix Determinant, The 24th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2009), Jeju Island, Korea (2009/7/5-8)
  79. T. Ogita, S. Oishi: Accurate Inverse Cholesky Factorization, The 5th East Asia SIAM Conference, Brunei (2009/6/8-11)
  80. 荻田 武史: (招待講演)高精度な行列分解アルゴリズムとその応用, 研究会「アルゴリズムによる計算科学の融合と発展」, 筑波大学 (2009/4/22-23)

    [2008年度](国外:4,国内:6)
  81. T. Ogita: Accurate Matrix Factorization and Applications, 2009 International Workshop on Numerical Verification and its Applications, Miyako Island, Japan (2009/3/22-29)
  82. 荻田 武史: 高精度な行列分解とその応用, 日本応用数理学会研究部会連合発表会, 京都大学 (2009/3/7-8)
  83. T. Ogita, S. M. Rump, S. Oishi: Fast Quasi-Quadruple Precision Computation of Sparse Matrix-Vector Product, International Conference on High Performance Scientific Computing, Hanoi, Vietnam, March 2-6, 2009.
  84. 荻田 武史: 浮動小数点演算のerror-free変換とその応用, 多倍長精度計算フォーラム, 工学院大学 (2009/2/24)
  85. T. Ogita, S. M. Rump, S. Oishi: High Precision and Efficient Computation of Sparse Matrix-Vector Product, The NIMS 2008 Conference & The 4th East Asia SIAM Conference, Daejeon, Korea, Oct. 10-12, 2008.
  86. T. Ogita: Verified Numerical Computation of Matrix Determinant, 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN'08), El Paso, Texas, Sep. 29 - Oct. 3, 2008.
  87. 荻田 武史: 若手セッションパネル「若手研究者による学会への期待」パネリスト(コーディネータ: 片桐 孝洋), 日本応用数理学会 2008年度年会 「計算の品質研究部会」オーガナイズドセッション, 東京大学 柏キャンパス, 柏市 (2008/9/17-19)
  88. 荻田 武史, Siegfried M. Rump, 大石 進一: 高精度な疎行列ベクトル積の高速計算, 日本応用数理学会 2008年度年会 「計算の品質研究部会」オーガナイズドセッション, 東京大学 柏キャンパス, 柏市 (2008/9/17-19)
  89. T. Ogita, S. M. Rump, S. Oishi: Some Methods to Compute Verified Matrix Determinants, 2008 International Symposium on Nonlinear Theory and its Applications (NOLTA2008), Budapest, Republic of Hungary, Sep. 7-10, 2008.
  90. 荻田 武史, S. M. Rump, 大石 進一: 行列式の精度保証付き数値計算法, 第27回 日本シミュレーション学会大会, 立命館大学, 滋賀県草津市 (2008/6/19-20), 発表論文集 pp.79-82.

    [2007年度](国外:5,国内:7)
  91. 荻田 武史, S. M. Rump, 大石 進一: 疎行列とベクトルの高速・高精度な乗算について, 平成20年日本応用数理学会研究部会連合発表会, 首都大学東京 (2008/3/8-9)
  92. T. Ogita, S. M. Rump, S. Oishi: Fast and High Precision Algorithm for Sparse Matrix-Vector Product, 2008 International Workshop on Numerical Verification and its Applications, Okinawa, Japan (2008/3/1-7)
  93. 荻田 武史: 連立一次方程式の解のシャープな精度保証法, 応用数理に関する愛媛ワークショップ「精度保証付き数値計算とその応用」, 愛媛大学理学部, 松山市 (2007/11/17)
  94. 荻田 武史, S. M. Rump, 大石 進一: 大規模疎行列の正定値性の精度保証, 研究集会「計算科学の基盤技術としての高速アルゴリズムとその周辺」(代表者:張 紹良), 京都大学数理解析研究所 (2007/11/14-16)
  95. T. Ogita, S. M. Rump, S. Oishi: Verification of Positive Definiteness for Large Sparse Matrix, The 3rd East Asia SIAM Conference, Xiamen, China (2007/11/2-5)
  96. 荻田 武史: 計算機援用証明と精度保証付き数値計算, 東京女子大学講演会 (2007/10/23)
  97. T. Ogita: Fast and Accurate Summation of Floating-point Numbers, Global COE Workshop on Accurate Computations in Numerical Linear Algebra, Kyoto, Japan (2007/10/11)
  98. T. Ogita: Fast and Faithful Floating-point Summation, mini-workshop in NOLTA2007, Vancouver, Canada (2007/9/17)
  99. T. Ogita, S. Oishi: Tight Error Bounds for Approximate Solutions of Linear Systems, 2007 International Symposium on Nonlinear Theory and its Applications (NOLTA2007), Vancouver, Canada (2007/9/16-19)
  100. T. Ogita, S. Oishi: (Invited talk) Lower and Upper Error Bounds of Approximate Solutions of Linear Systems, Conference on Inequalities and Applications '07, Noszvaj, Republic of Hungary (2007/9/9-15)
  101. T. Ogita, S. M. Rump, S. Oishi: Fast and Accurate Floating-Point Summation, 6th International Congress on Industrial and Applied Mathematics (ICIAM07), Zurich, Switzerland (2007/7/16-20)
  102. 荻田 武史, 尾崎 克久, 大石 進一: 行列式の高速精度保証法, 第26回 日本シミュレーション学会大会, 東京工業大学, 横浜市 (2007/6/22), 発表論文集 pp.225-228.

    [2006年度](国外:2,国内:6)
  103. T. Ogita: Adaptive and Verified Floating-Point Computations, International Workshop on Numerical Verification and its Applications, Waseda University, Tokyo, Japan (2007/2/26)
  104. 荻田 武史: 高速・高精度内積計算と応用, 日本シミュレーション学会ワークショップ「ナノ光・ナノ電子系のシミュレーション」, 早稲田大学 理工学部 (2007/2/2)
  105. 荻田 武史: 悪条件問題と高精度演算, 21世紀COEプログラム「プロダクティブICTアカデミアプログラム」総合シンポジウム, 早稲田大学 理工学部 (2007/1/11-12)
  106. 荻田 武史, 大石 進一: 悪条件行列の行列式の精度保証付き数値計算法, 研究集会「数値シミューレーションを支える応用数理」(代表者:土屋 卓也), 京大数理解析研究所 (2006/11/27-11/29)
  107. T. Ogita, S. Oishi: Tight Enclosures of Solutions of Linear Systems, International Conference of Numerical Analysis and Applied Mathematics (ICNAAM2006), Crete , Greece (2006/9/15-19)
  108. T. Ogita, S. Oishi: Fast Verification for Sparse Linear Systems with Generalized Diagonally Dominant Matrices, 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006), Bologna, Italy (2006/9/11-14)
  109. 荻田 武史, 大石 進一: 数値計算ツールで手軽に大規模線形問題を解く, 第12回マイクロ波シミュレータワークショップおよび第3回講習会, 神奈川大学 横浜キャンパス (2006/9/1)
  110. T. Ogita: Fast and Accurate Floating-Point Summation, Workshop on Numerical Analysis and Verification, Waseda University, Tokyo (2006/7/26)

    [2005年度](国外:1,国内:6)
  111. 荻田 武史: 高速・高精度な内積計算法, 21世紀COEプログラム「プロダクティブICTアカデミアプログラム」春季シンポジウム, 早稲田大学 理工学部 (2006/3/30)
  112. 荻田 武史: Fast, Accurate and Verified Numerical Computations, 計算機科学と偏微分方程式の交流, 北海道大学 理学部 (2005/2/5-7)
  113. 尾崎 克久, 荻田 武史, 大石 進一: 高精度内積計算の計算幾何学への応用, 第3回計算数学研究会, 兵庫県立淡路夢舞台国際会議場 (2006/1/5-7)
  114. 荻田 武史, S. M. Rump, 大石 進一: 高速かつ高精度な内積計算法, 第3回計算数学研究会, 兵庫県立淡路夢舞台国際会議場 (2006/1/5-7)
  115. T. Ogita, S. Oishi: Fast, Accurate and Verified Numerical Computations, The 2nd International Conference on Scientific Computing and Partial Differential Equations & The First East Asia SIAM Symposium, Lam Woo Conference Center, Hong Kong Baptist University, Hong Kong (2005/12/12-16)
  116. 荻田武史, S. M. Rump, 大石進一: 浮動小数点演算による高速高精度なベクトルの総和及び内積計算法, 研究集会「計算科学の基盤技術とその発展」(代表者:櫻井 鉄也), 京大数理解析研究所 (2005/11/30-12/2)
  117. T. Ogita: (Invited talk) Fast and Accurate Computation of Sum and Dot Product, Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Dagstuhl, Germany (2005/9/25-30)

    [2004年度](国外:1,国内:6)
  118. 荻田 武史: (依頼セミナー)高速な高精度演算と精度保証付き数値計算, 第75回 関西可積分系セミナー, 京都大学 工学部 (2004/12/1)
  119. 荻田 武史, 尾崎 克久, S. M. Rump, 大石 進一: 有向丸めを用いない連立一次方程式の数値解の高速精度保証法, 研究集会「21世紀における数値解析の新展開」(代表者:三井 斌友), 京大数理解析研究所 (2004/11/29-12/1)
  120. T. Ogita, S. M. Rump, S. Oishi: Verified Solutions of Linear Systems without Directed Rounding, 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN2004), Fukuoka, Japan (2004/10/4-8)
  121. 荻田 武史, S. M. Rump, 大石 進一: FMAを用いた高精度内積演算, 日本応用数理学会 2004年度年会 オーガナイズドセッション「数値線形代数」, 中央大学 (2004/9/16-18), 講演予稿集 pp.406-407
  122. T. Ogita, S. M. Rump, S. Oishi: (Invited Session) Accurate Sum and Dot Product with Applications, 2004 IEEE International Symposium on Computer Aided Control Systems Design (2004CACSD), Taipei, Taiwan (2004/9/2-4)
  123. 荻田 武史, 大石 進一: 直接解法を用いた疎行列の正則性の検証法, 第23回 日本シミュレーション学会大会, 早稲田大学 理工学部 (2004/6/16-17), 発表論文集 pp.349-352.
  124. 荻田 武史, 大石 進一: 疎行列のための精度保証法, 第33回 数値解析シンポジウム(NAS2004), 熱海 (2004/5/19-21), 予稿集 pp.82-85.

    [2003年度](国外:1,国内:11)
  125. 荻田 武史: 高精度内積計算とその応用, 研究集会「科学技術計算の数理的諸問題と高速解法」, 東京大学 工学部 (2004/3/5)
  126. 荻田 武史, S. M. Rump, 大石 進一: 高精度高速かつスケーラブルな内積計算法と応用, シンポジウム「ユニバーサルコンピューティングとマルチメディアコンテンツ」, 早稲田大学 (2004/1/10)
  127. 荻田 武史: (依頼セミナー)ベクトル内積の高精度演算とその応用, 第66回 関西可積分系セミナー, 京都大学 工学部 (2003/12/9)
  128. 荻田 武史, 大石 進一: 線形計算における精度保証の大規模化と高精度化, 2003年度計算数学研究会, 湯布院 (2003/10/29-11/1)
  129. 荻田 武史, 大石 進一: 並列処理による大規模密行列連立一次方程式のための高速精度保証, 第10回 MPSシンポジウム, 同志社大学 知能情報センター (2003/10/23-24), 論文集 pp.11-17
  130. 荻田 武史, 大石 進一: (ポスター発表)線形数値計算のスケーラブルな精度保証, 早稲田大学 研究推進フォーラム2003, 早稲田大学国際会議場 (2003/10/9)
  131. 荻田 武史, 大石 進一: 対称拡大行列法を用いた直接解法の精度保証, 日本応用数理学会 2003年度年会 オーガナイズドセッション「OS1: 精度保証付き数値計算の展開」 (2003/9/17), 講演予稿集 pp.88-89
  132. 荻田 武史, 大石 進一: 対称拡大行列法の反復解法への適用, 日本応用数理学会 2003年度年会 オーガナイズドセッション「OS6: 数値線形代数」 (2003/9/19), 講演予稿集 pp.318-319
  133. T. Ogita: Symmetric Augmented Matrices, Technical University Hamburg-Harburg, Germany (2003/9/3)
  134. 荻田 武史: (依頼セミナー)連立一次方程式における精度保証の現状, 東京大学 情報基盤センター (2003/6/18)
  135. T. Ogita: Accurate Sum and Dot Product II - Algorithm and Experiments, Workshop on Scalable and Accurate Numerical Computation: 21st Century COE Program (Productive ICT Academia Program, Waseda University), Waseda University, Tokyo (2003/6/17)
  136. 荻田 武史, 大石 進一: 対称な拡大行列とその応用, 第32回 数値解析シンポジウム (NAS2003), 箱根 (2003/5/21-23), 予稿集 pp.83-86

    [2002年度](国内:5)
  137. 荻田 武史, 大石 進一, 後 保範: Strassenのアルゴリズムによる行列乗算の高速精度保証, 研究集会「微分方程式の数値解法と線形計算」(代表者:速水 謙), 京大数理解析研究所 (2002/11/20-22)
  138. 荻田 武史: (依頼セミナー)連立一次方程式の数値解の精度保証と並列計算, 第56回 関西可積分系セミナー, 京都大学 工学部 (2002/11/19)
  139. 荻田 武史: (依頼セミナー)連立一次方程式の数値解に対する精度保証の現状, LA研究会, 東京大学 理学部 (2002/11/16)
  140. 荻田 武史, 西蔭 崇一, 大石 進一: 大規模行列に対する連立一次方程式の数値解の精度保証, 日本応用数理学会 2002年度年会 オーガナイズドセッション「R3: 精度保証付き数値計算の最近の話題」 (2002/9/19-21)
  141. 荻田 武史, 後 保範, 大石 進一: スパース行列用直接解法の高速化と精度保証, 第31回 数値解析シンポジウム (NAS2002), 南伊豆 (2002/6/12-14), 予稿集 pp.33-36

    [2001年度](国内:6)
  142. T. Ogita, S. Oishi, Y. Ushiro: Fast Verification of Solutions for Symmetric Matrix Equations, The International Conference on Fundamental of Electronics Communication and Computer Sciences (ICFS2002), Waseda University, Tokyo (2002/3/27-28)
  143. T. Ogita, S. Oishi, Y. Ushiro: Fast Inclusion and Residual Iteration for Solutions of Matrix Equations, International Conference on Recent Advances in Computational Mathematics (ICRACM 2001), Ehime (2001/10/10-13), Abstracts p.94
  144. 荻田 武史: (パネラー)PCクラスタ上での連立一次方程式の数値解の精度保証, 電子情報通信学会 ソサイエティ大会, パネル討論「PA-2. 精度保証付き数値計算とその最近のトピックス」 (2001/9/18-9/21)
  145. 荻田 武史, 大石 進一, 後 保範: 反復解法による連立一次方程式の数値解の高速精度保証, 日本シミュレーション学会大会「第20回 シミュレーション・テクノロジー・コンファレンス」 (2001/6/20-21), 発表論文集 pp.249-252
  146. 荻田 武史: 反復解法による連立一次方程式の数値解の高速精度保証, 7階セミナー, 早稲田大学 教育学部 (2001/6/6)
  147. 荻田 武史, 後 保範, 大石 進一: 単調な疎行列における連立一次方程式の数値解の高精度保証, 第30回 数値解析シンポジウム (NAS2001), 那須 (2001/5/23-25), 予稿集 pp.104-107

    [2000年度](国内:3)
  148. T. Ogita, S. Oishi, Y. Ushiro: Fast Inclusion and Residual Iteration of Solution of Linear Systems, Workshop on Numerical Calculation with Guaranteed Accuracy, Waseda University, Tokyo (2001/5/8-9)
  149. 荻田 武史, 後 保範, 大石 進一: Monotone疎行列における連立一次方程式の数値解の高速精度保証, 研究集会「偏微分方程式の数値解法とその周辺 II」(代表者:中尾 充宏), 京大数理解析研究所 (2000/11/20-22)
  150. T. Ogita, S. Oishi, Y. Ushiro: Fast Verification of Solutions for Sparse Monotone Matrix Equations, JSST International Conference on Modeling, Control and Computation in Simulation (JSST2000), Tokyo (2000/10/24-26)

    [1999年度](国内:1)
  151. 荻田 武史, 後 保範: 有限要素法用ICCG法の並列化方法, 研究集会「偏微分方程式の数値解法とその周辺」, 京大数理解析研究所 (1999/11/17-19)