• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

荻田 武史  Ogita Takeshi

ORCIDORCID連携する *注記
研究者番号 00339615
その他のID
所属 (現在) 2025年度: 早稲田大学, 理工学術院, 教授
所属 (過去の研究課題情報に基づく) *注記 2023年度 – 2025年度: 早稲田大学, 理工学術院, 教授
2018年度 – 2023年度: 東京女子大学, 現代教養学部, 教授
2016年度 – 2017年度: 東京女子大学, 現代教養学部, 准教授
2010年度 – 2014年度: 東京女子大学, 現代教養学部, 准教授
2009年度: 東京女子大学, 現代教養学部, 講師 … もっと見る
2008年度: 東京女子大学, 文理学部, 講師
2007年度: 早稲田大学, 理工学術院, 准教授
2004年度 – 2006年度: 早稲田大学, 理工学術院, 講師 隠す
審査区分/研究分野
研究代表者
情報学基礎 / 計算科学
研究代表者以外
小区分60090:高性能計算関連 / 大区分J / 合同審査対象区分:小区分60040:計算機システム関連、小区分60090:高性能計算関連 / 小区分60040:計算機システム関連 / 小区分12040:応用数学および統計数学関連 / 中区分60:情報科学、情報工学およびその関連分野 / 高性能計算
キーワード
研究代表者
高精度計算 / 数値線形代数 / 数値計算手法 / 数値計算 / 情報数理 / 高精度数値線形代数 / 情報基礎 / 行列解析 / アルゴリズム / 悪条件問題 … もっと見る / 行列分解 / 精度保証付き数値計算 / 精度保証 / 数値数学 … もっと見る
研究代表者以外
精度保証 / 二重指数関数型数値積分公式 / 行列関数 / 高性能計算 / 数値線形代数 / 精度保証付き数値計算 / 自動チューニング / 丸め誤差解析 / 浮動小数点演算 / 大規模並列計算 / テスト行列 / 電子状態計算 / H行列 / 固有値問題 / 有限要素法 / Hypercircle法 / Divergence-free条件 / 並列計算 / 鞍点型の固有値問題 / 非自己共役作用素 / 計算機援用証明法 / ナビエ・ストークス方程式の定常解 / 固有値問題の厳密評価 / 厳密計算ライブラリ / 計算機援用証明 / ナビエ・ストークス方程式 / 二重指数関数型積分公式 / 二重指数型積分公式 / 二重指数関数型数値積分公式(DE公式) / 反復解法 / 連立一次方程式 / 混合精度演算 / 高性能・高信頼性・省電力アルゴリズム / エクサスケールシステム / 計算科学・データ科学・機械学習の融合 / ヘテロジニアス環境 / 混合精度演算・精度保証 / データ駆動型アプローチ / 大規模シミュレーション / 「計算・データ・学習」融合 / ヘテロジニアスコンピューテイング / ヘテロジニアスコンピューティング / 低精度・混合精度・変動精度演算 / 機械学習 / データ同化 / 計算科学 / スーパーコンピューティング / ハイパフォーマンスコンピューティング / 通信削減アルゴリズム / 行列ー行列積 / PBLAS / 疎行列化 / スレッド並列化 / ベンチマーク / 反復改良 / 分散並列化 / 高精度行列-行列積 隠す
  • 研究課題

    (12件)
  • 研究成果

    (208件)
  • 共同研究者

    (27人)
  •  超大規模行列関数計算法の確立

    • 研究代表者
      曽我部 知広
    • 研究期間 (年度)
      2025 – 2029
    • 研究種目
      基盤研究(S)
    • 審査区分
      大区分J
    • 研究機関
      名古屋大学
  •  数値線形代数の数値解に対する厳密精度評価の基盤形成

    • 研究代表者
      尾崎 克久
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60090:高性能計算関連
      小区分60040:計算機システム関連
      合同審査対象区分:小区分60040:計算機システム関連、小区分60090:高性能計算関連
    • 研究機関
      芝浦工業大学
  •  階層的低ランク近似による高速・高精度な固有値計算と大規模電子状態計算への応用

    • 研究代表者
      横田 理央
    • 研究期間 (年度)
      2022 – 2024
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60090:高性能計算関連
    • 研究機関
      東京工業大学
  •  3次元領域におけるレイノルズ数の大きい流れの計算機援用証明

    • 研究代表者
      劉 雪峰
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分12040:応用数学および統計数学関連
    • 研究機関
      東京女子大学
      新潟大学
  •  疎行列を係数とする線形方程式の反復解法と精度保証付き数値計算法の融合

    • 研究代表者
      尾崎 克久
    • 研究期間 (年度)
      2020 – 2022
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60090:高性能計算関連
    • 研究機関
      芝浦工業大学
  •  物理学・情報科学に共通する大規模行列関数の総合的数値計算法の創成

    • 研究代表者
      曽我部 知広
    • 研究期間 (年度)
      2020 – 2024
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      名古屋大学
  •  (計算+データ+学習)融合によるエクサスケール時代の革新的シミュレーション手法

    • 研究代表者
      中島 研吾
    • 研究期間 (年度)
      2019 – 2023
    • 研究種目
      基盤研究(S)
    • 審査区分
      大区分J
    • 研究機関
      東京大学
  •  数値線形代数における高精度計算アルゴリズムの開発研究代表者

    • 研究代表者
      荻田 武史
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算科学
    • 研究機関
      東京女子大学
  •  精度保証のための高性能計算技術の創成

    • 研究代表者
      片桐 孝洋
    • 研究期間 (年度)
      2016 – 2017
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      高性能計算
    • 研究機関
      名古屋大学
  •  ロバストで高効率な数値線形代数アルゴリズムの開発研究代表者

    • 研究代表者
      荻田 武史
    • 研究期間 (年度)
      2011 – 2014
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      東京女子大学
  •  大規模連立一次方程式に対する高速かつ高品質な精度保証法に関する研究研究代表者

    • 研究代表者
      荻田 武史
    • 研究期間 (年度)
      2007 – 2010
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      東京女子大学
      早稲田大学
  •  大規模疎行列系連立一次方程式の数値解の高速な精度保証法に関する研究研究代表者

    • 研究代表者
      荻田 武史
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      早稲田大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 その他

すべて 雑誌論文 学会発表 図書

  • [図書] ソフトウェア自動チューニング2021

    • 著者名/発表者名
      今村 俊幸、荻田 武史、尾崎 克久、片桐 孝洋、須田 礼仁、高橋 大介、滝沢 寛之、中島 研吾
    • 総ページ数
      320
    • 出版者
      森北出版
    • ISBN
      9784627872219
    • データソース
      KAKENHI-PROJECT-19H05662
  • [図書] ソフトウェア自動チューニング2021

    • 著者名/発表者名
      今村 俊幸、荻田 武史、尾崎 克久、片桐 孝洋、須田 礼仁、高橋 大介、滝沢 寛之、中島 研吾
    • 総ページ数
      320
    • 出版者
      森北出版
    • ISBN
      9784627872219
    • データソース
      KAKENHI-PROJECT-20H00581
  • [雑誌論文] On a quality measure for interval inclusions2024

    • 著者名/発表者名
      S. M. Rump, T. Ogita
    • 雑誌名

      BIT Numerical Mathematics, accepted for publication, 2024.

      巻: accepted

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [雑誌論文] 最適演算精度選択のための検討2023

    • 著者名/発表者名
      中島研吾,荻田武史,河合直聡
    • 雑誌名

      情報処理学会研究報告第188回HPC研究会

      巻: 2023-HPC-188

    • データソース
      KAKENHI-PROJECT-19H05662
  • [雑誌論文] 実対称固有値分解に対する反復改良法の高速化2022

    • 著者名/発表者名
      内野 佑基, 尾崎 克久, 荻田 武史
    • 雑誌名

      情報処理学会論文誌:コンピューティングシステム

      巻: 15:1 ページ: 1-12

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19H05662
  • [雑誌論文] 実対称固有値分解に対する反復改良法の高速化2022

    • 著者名/発表者名
      内野 佑基,尾崎 克久,荻田 武史
    • 雑誌名

      情報処理学会論文誌,コンピューティングシステム

      巻: 15 ページ: 1-12

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H04195
  • [雑誌論文] Generation of test matrices with specified eigenvalues using floating-point arithmetic2022

    • 著者名/発表者名
      Ozaki Katsuhisa、Ogita Takeshi
    • 雑誌名

      Numerical Algorithms

      巻: 90 号: 1 ページ: 241-262

    • DOI

      10.1007/s11075-021-01186-7

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H00581, KAKENHI-PROJECT-20H04195, KAKENHI-PROJECT-19H05662
  • [雑誌論文] Verified numerical computations for large-scale linear systems2021

    • 著者名/発表者名
      Ozaki, T., Terao, T., Ogita, T., Katagiri, T.
    • 雑誌名

      Applications of Mathematics

      巻: 66-2 号: 2 ページ: 269-285

    • DOI

      10.21136/am.2021.0318-19

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H05662, KAKENHI-PROJECT-20H00581
  • [雑誌論文] Efficient Parallel Multigrid Methods on Manycore Clusters with Double/Single Precision Computing2021

    • 著者名/発表者名
      Nakajima Kengo、Ogita Takseshi、Kawai Masatoshi
    • 雑誌名

      IEEE Proceedings of iWAPT 2021 in conjunction with IPDPS 2021

      巻: - ページ: 1-12

    • DOI

      10.1109/ipdpsw52791.2021.00114

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H05662
  • [雑誌論文] Modified error bounds for approximate solutions of dense linear systems2020

    • 著者名/発表者名
      Minamihata Atsushi、Ogita Takeshi、Rump Siegfried M.、Oishi Shin’ichi
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 369 ページ: 112546-112546

    • DOI

      10.1016/j.cam.2019.112546

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K12692, KAKENHI-PROJECT-20H04195
  • [雑誌論文] LU-Cholesky QR algorithms for thin QR decomposition2020

    • 著者名/発表者名
      Terao, T., Ozaki, K., Ogita, T.
    • 雑誌名

      Parallel Computing

      巻: 92 ページ: 1-11

    • DOI

      10.1016/j.parco.2019.102571

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H05662, KAKENHI-PROJECT-20H00581
  • [雑誌論文] An a posteriori verification method for generalized Hermitian eigenvalue problems in large-scale electronic state calculations2020

    • 著者名/発表者名
      Takeo Hoshi,Takeshi Ogita,Katsuhisa Ozaki,Takeshi Terao
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 376 ページ: 1-13

    • DOI

      10.1016/j.cam.2020.112830

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H04125, KAKENHI-PROJECT-19H05662
  • [雑誌論文] 低精度・混合精度演算による高性能・高信頼性疎行列ソルバー2020

    • 著者名/発表者名
      中島研吾,荻田武史,塙敏博,河合直聡,伊田明弘,星野哲也
    • 雑誌名

      情報処理学会研究報告(2020-HPC-175-2)

      巻: 175 ページ: 1-8

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H05662
  • [雑誌論文] Reproducible BLAS routines with tunable accuracy using Ozaki scheme for many-core architectures2020

    • 著者名/発表者名
      Mukunoki, D., Ogita, T., Ozaki, K.
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 12043 ページ: 516-527

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H05662
  • [雑誌論文] h3-Open-BDEC: Innovative Software Platform for Scientific Computing in the Exascale Era by Integrations of (Simulation + Data + Learning)2020

    • 著者名/発表者名
      Iwashita, T, Nakajima, K., Shimokawabe, T., Nagao, H., Ogita, T., Katagiri, T., Yashiro, H., Matsuba
    • 雑誌名

      Project Poster, ISC-HPC 2020

      巻: N/A ページ: 1-1

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H05662
  • [雑誌論文] Performance and energy consumption of accurate and mixed-precision linear algebra kernels on GPUs2020

    • 著者名/発表者名
      Mukunoki, D., Ogita, T.
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 372 ページ: 1-12

    • DOI

      10.1016/j.cam.2019.112701

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H05662, KAKENHI-PROJECT-20H04195
  • [雑誌論文] Iterative refinement for singular value decomposition based on matrix multiplication2020

    • 著者名/発表者名
      T. Ogita, K. Aishima
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 369 ページ: 112512-112512

    • DOI

      10.1016/j.cam.2019.112512

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H04195, KAKENHI-PROJECT-20H00581
  • [雑誌論文] Iterative refinement for symmetric eigenvalue decomposition II: clustered eigenvalues2019

    • 著者名/発表者名
      Ogita Takeshi、Aishima Kensuke
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 印刷中 号: 2 ページ: 435-459

    • DOI

      10.1007/s13160-019-00348-4

    • NAID

      210000174658

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H03917, KAKENHI-PROJECT-17H02826
  • [雑誌論文] Iterative refinement for symmetric eigenvalue decomposition2018

    • 著者名/発表者名
      Ogita Takeshi、Aishima Kensuke
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 35 号: 3 ページ: 1007-1035

    • DOI

      10.1007/s13160-018-0310-3

    • NAID

      210000169527

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K14143, KAKENHI-PROJECT-16H03917
  • [雑誌論文] Threaded Accurate Matrix-Matrix Multiplications with Sparse Matrix-Vector Multiplications2018

    • 著者名/発表者名
      Shuntaro Ichimura,Takahiro Katagiri, Katsuhisa Ozaki, Takeshi Ogita, Toru Nagai
    • 雑誌名

      Proceedings of IEEE IPDPSW2018

      巻: - ページ: 1-10

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K12432
  • [雑誌論文] Generation of Linear Systems with Specified Solutions for Numerical Experiments2017

    • 著者名/発表者名
      K. Ozaki, T. Ogita
    • 雑誌名

      Reliable Computing

      巻: 25 ページ: 148-167

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H03917
  • [雑誌論文] Acceleration of a preconditioning method for ill-conditioned dense linear systems by use of a BLAS-based method2017

    • 著者名/発表者名
      Y. Kobayashi, T. Ogita, K. Ozaki
    • 雑誌名

      Reliable Computing

      巻: 25 ページ: 15-23

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H03917
  • [雑誌論文] HPC分野における精度保証付き 数値計算学の展開2017

    • 著者名/発表者名
      荻田 武史, 尾崎 克久, 柏木 雅英, 片桐 孝洋
    • 雑誌名

      研究報告ハイパフォーマンスコンピューティング(HPC)

      巻: 2017-HPC-160 ページ: 1-5

    • データソース
      KAKENHI-PROJECT-16K12432
  • [雑誌論文] マルチコア計算機による高精度行列‐行列積アルゴリズムの性能評価2017

    • 著者名/発表者名
      市村駿太郎、片桐孝洋、尾崎克久、 荻田武史、永井亨、荻野正雄
    • 雑誌名

      研究報告ハイパフォーマンスコンピューティング(HPC)

      巻: 2017-HPC-160 ページ: 1-8

    • データソース
      KAKENHI-PROJECT-16K12432
  • [雑誌論文] Accurate and efficient algorithm for solving ill-conditioned linear systems by preconditioning methods2016

    • 著者名/発表者名
      Y. Kobayashi, T. Ogita
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 7 号: 3 ページ: 374-385

    • DOI

      10.1587/nolta.7.374

    • NAID

      130005161826

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16H03917
  • [雑誌論文] Interval arithmetic with fixed rounding mode2016

    • 著者名/発表者名
      S. M. Rump, T. Ogita, Y. Morikura, S. Oishi
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 7 号: 3 ページ: 362-373

    • DOI

      10.1587/nolta.7.362

    • NAID

      130005161827

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917, KAKENHI-PROJECT-15K15939
  • [雑誌論文] Error-free transformation of matrix multiplication with a posteriori validation2016

    • 著者名/発表者名
      K. Ozaki, T. Ogita, S. Oishi
    • 雑誌名

      Numerical Linear Algebra with Applications

      巻: 23 号: 5 ページ: 931-946

    • DOI

      10.1002/nla.2061

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16H03917
  • [雑誌論文] A fast and efficient algorithm for solving ill-conditioned linear systems2015

    • 著者名/発表者名
      Y. Kobayashi, T. Ogita
    • 雑誌名

      JSIAM Letters

      巻: 7 号: 0 ページ: 1-4

    • DOI

      10.14495/jsiaml.7.1

    • NAID

      130004953464

    • ISSN
      1883-0609, 1883-0617
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Fast verified solutions of sparse linear systems with H-matrices2013

    • 著者名/発表者名
      A. Minamihata, K. Sekine, T. Ogita, S. Oishi
    • 雑誌名

      Reliable Computing

      巻: 19 ページ: 127-141

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Convergence analysis of accurate inverse Cholesky factorization2013

    • 著者名/発表者名
      Y. Yanagisawa, T. Ogita
    • 雑誌名

      JSIAM Letters

      巻: 5 ページ: 25-28

    • NAID

      130003371116

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Generalization of error-free transformation for matrix multiplication and its application2013

    • 著者名/発表者名
      K. Ozaki, T. Ogita, S. Oishi, S. M. Rump
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 4 号: 1 ページ: 2-11

    • DOI

      10.1587/nolta.4.2

    • NAID

      130003375409

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Error-Free Transformation of Matrix Multiplication by Using Fast Routines of Matrix Multiplication and its Applications2012

    • 著者名/発表者名
      K. Ozaki, T. Ogita, S. Oishi, S. M. Rump
    • 雑誌名

      Numerical Algorithms

      巻: 59 号: 1 ページ: 95-118

    • DOI

      10.1007/s11075-011-9478-1

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Accurate and Verified Numerical Computation of the Matrix Determinant2012

    • 著者名/発表者名
      T. Ogita
    • 雑誌名

      International Journal of Reliability and Safety

      巻: 6 号: 1/2/3 ページ: 242-254

    • DOI

      10.1504/ijrs.2012.044287

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Matrix multiplication with guaranteed accuracy by level 3 BLAS2012

    • 著者名/発表者名
      K. Ozaki, T. Ogita, S. Oishi
    • 雑誌名

      AIP Conference Proceedings

      巻: 1504 ページ: 1128-1133

    • DOI

      10.1063/1.4772125

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Accurate and robust inverse Cholesky factorization2012

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 3 号: 1 ページ: 103-111

    • DOI

      10.1587/nolta.3.103

    • NAID

      130002139440

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Robust computation of determinant2012

    • 著者名/発表者名
      T. Ogita
    • 雑誌名

      AIP Conference Proceedings

      巻: 1504 ページ: 1119-1123

    • DOI

      10.1063/1.4772123

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23700023
  • [雑誌論文] Accurate Matrix Factorization : Inverse LU and Inverse QR Factorizations2010

    • 著者名/発表者名
      T.Ogita
    • 雑誌名

      SIAM Journal on Matrix Analysis and Applications

      巻: 31 ページ: 2477-2497

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Accurate Matrix Factorization: Inverse LU and Inverse QR Factorizations2010

    • 著者名/発表者名
      T.Ogita
    • 雑誌名

      SIAM Journal on Matrix Analysis and Applications 31

      ページ: 2477-2497

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problem2010

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      Reliable Computing

      巻: 14 ページ: 24-45

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] A Fast Verified Automatic Integration Algorithm Using Double Exponential Formula2010

    • 著者名/発表者名
      N.Yamanaka, T.Okayama, S.Oishi, T.Ogita
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 1 ページ: 119-132

    • NAID

      130000908377

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Fast High Precision Summation2010

    • 著者名/発表者名
      S.M.Rump, T.Ogita, S.Oishi
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 1 ページ: 2-24

    • NAID

      130000908368

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Tight Enclosures of Solutions of Linear Systems2009

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      International Series of Numerical Mathematics 157

      ページ: 167-178

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Fast Verified Solutions of Linear Systems2009

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 169-190

    • NAID

      10028168887

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Iterative Refinement for Ill-conditioned Linear Systems2009

    • 著者名/発表者名
      S. Oishi, T. Ogita, S.M. Rump
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 465-476

    • NAID

      10028169325

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Fast Verified Solutions of Linear Systems2009

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26

      ページ: 169-190

    • NAID

      10028168887

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Tight Enclosures of Solutions of Linear Systems2009

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 雑誌名

      International Series of Numerical Mathematics 157

      ページ: 167-178

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Accurate and Robust Inverse Cholesky Factorization2009

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Proceedings of 2009 International Symposium on Nonlinear Theory and its Applications

      ページ: 155-158

    • NAID

      130002139440

    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Iterative Refinement for Ill-conditioned Linear Systems2009

    • 著者名/発表者名
      S.Oishi, T.Ogita, S.M.Rump
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26

      ページ: 465-476

    • NAID

      10028169325

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Accurate Floating-Point Summation Part I : Faithful Rounding2008

    • 著者名/発表者名
      S.M.Rump, T.Ogita, S.Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 31

      ページ: 189-224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] A Parallel Algorithm for Accurate Dot Product2008

    • 著者名/発表者名
      N. Yamanaka, T. Ogita, S.M. Rump, S. Oishi
    • 雑誌名

      Parallel Computing 34

      ページ: 392-410

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Accurate Floating-Point Summation Part I : Faithful Rounding2008

    • 著者名/発表者名
      S.M. Rump, T. Ogita, S. Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 31

      ページ: 189-224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Accurate Floating-Point Summation Part I: Faithful Rounding2008

    • 著者名/発表者名
      S.M. Rump, T. Ogita, S. Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 31:1

      ページ: 189-224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Accurate Floating-Point Summation Part II: Sign, K-fold Faithful and Rounding to Nearest2008

    • 著者名/発表者名
      S.M. Rump, T. Ogita, S. Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 31:2

      ページ: 1269-1302

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Accurate Floating-Point Summation Part II : Sign, K-fold Faithful and Rounding to Nearest2008

    • 著者名/発表者名
      S.M. Rump, T. Ogita, S. Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 21

      ページ: 1269-1302

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] Accurate Floating-Point Summation Part II : Sign, K-fold Faithful and Rounding to Nearest2008

    • 著者名/発表者名
      S.M.Rump, T.Ogita, S.Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 31

      ページ: 1269-1302

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] 数値シミュレーションを支える精度保証技術2007

    • 著者名/発表者名
      大石 進一, 荻田 武史
    • 雑誌名

      情報処理 48

      ページ: 1103-1110

    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] A Method of Obtaining Verified Solutions for Linear Systems Suited for Java2007

    • 著者名/発表者名
      K.Ozaki, T.Ogita, S.Miyajima, S.Oishi, S.M.Rump
    • 雑誌名

      Journal of Computational and Applied Mathematics 199:2

      ページ: 337-344

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Super-fast Validated Solution of Linear Systems2007

    • 著者名/発表者名
      S.M.Rump, T.Ogita
    • 雑誌名

      Journal of Computational and Applied Mathematics 199:2

      ページ: 199-206

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Convergence of Rump's Method for Inverting Arbitrarily III-conditioned Matrices2007

    • 著者名/発表者名
      S. Oishi, K. Tanabe, T. Ogita, S.M. Rump
    • 雑誌名

      Journal of Computational and Applied Mathematics 205

      ページ: 533-544

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] 精度保証付き数値計算とシミュレーション2007

    • 著者名/発表者名
      荻田 武史, 大石 進一
    • 雑誌名

      分子シミュレーション研究会会誌「アンサンブル」 9

      ページ: 11-16

    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] 行列式の高速な精度保証付き数値計算法2007

    • 著者名/発表者名
      荻田 武史, 尾崎 克久, 大石 進一
    • 雑誌名

      京大数理解析研究所講究録 1573

      ページ: 45-52

    • データソース
      KAKENHI-PROJECT-19700013
  • [雑誌論文] 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法2006

    • 著者名/発表者名
      大石 進一, 荻田 武史, 太田 貴久
    • 雑誌名

      シミュレーション 25:5

      ページ: 170-178

    • NAID

      110004811928

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 連立一次方程式のメモリ量を低減した精度保証付き数値計算法2006

    • 著者名/発表者名
      荻田 武史, 大石 進一
    • 雑誌名

      シミュレーション 25:5

      ページ: 179-184

    • NAID

      110004811929

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 点と平面との位置関係を判定する高速かつロバストなアルゴリズム2006

    • 著者名/発表者名
      尾崎 克久, 荻田 武史, S. M. Rump, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 553-562

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 実対称行列の各固有対の精度保証付き数値計算法2006

    • 著者名/発表者名
      宮島 信也, 荻田 武史, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 535-552

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 実対称行列の各固有値に対する精度保証付き数値計算法2005

    • 著者名/発表者名
      宮島 信也, 荻田 武史, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 15:3

      ページ: 253-268

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 大規模連立一次方程式のための高速精度保証法2005

    • 著者名/発表者名
      荻田 武史, 大石 進一
    • 雑誌名

      情報処理学会論文誌:数理モデル化と応用 46:SIG10 (TOM12)

      ページ: 10-18

    • NAID

      110002768708

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 悪条件連立一次方程式の精度保証付き数値計算法2005

    • 著者名/発表者名
      太田 貴久, 荻田 武史, S.M.Rump, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 15:3

      ページ: 269-287

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] A Method of Generating Linear Systems with an Arbitrarily III-conditioned Matrix and an Arbitrary Solution2005

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.Oishi
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 741-744

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Accurate Sum and Dot Product2005

    • 著者名/発表者名
      T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 26:6

      ページ: 1955-1988

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Componentwise Verified Solutions of Linear Systems Suited for Java2005

    • 著者名/発表者名
      K.Ozaki, T.Ogita, S.Miyajima, S.Oishi, S.M.Rump
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 749-752

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Numerical Verification Method for Dense Linear Systems with Arbitrarily III-conditioned Matrices2005

    • 著者名/発表者名
      T.Ohta, T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 745-748

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Fast Inclusion of Interval Matrix Multiplication2005

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Reliable Computing 11:3

      ページ: 191-205

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Fast Verification for Respective Eigenvalues of Symmetric Matrix2005

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.Oishi
    • 雑誌名

      Lecture Notes in Computer Science 3718

      ページ: 306-317

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法2004

    • 著者名/発表者名
      丸山 晃佐, 荻田 武史, 中谷 祐介, 大石 進一
    • 雑誌名

      電子情報通信学会論文誌 J87-A:8

      ページ: 1111-1119

    • NAID

      110003311865

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 拡張Strassen法による連立一次方程式の精度保証2004

    • 著者名/発表者名
      森山 敦史, 荻田 武史, 後 保範, 大石 進一
    • 雑誌名

      京大数理解析研究所講究録 1362

      ページ: 47-55

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 計算機援用証明I2004

    • 著者名/発表者名
      Siegfried M.Rump (荻田 武史訳)
    • 雑誌名

      応用数理 14:3

      ページ: 2-11

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 非対称行列から生成された対称行列に対するCG法2004

    • 著者名/発表者名
      長谷川 秀彦, 曽我部 知広, 荻田 武史
    • 雑誌名

      京大数理解析研究所講究録 1362

      ページ: 6-12

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 計算機援用証明I2004

    • 著者名/発表者名
      Siegfried M.Rum(荻田 武史訳)
    • 雑誌名

      応用数理 14:3

      ページ: 2-11

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 計算機援用証明II2004

    • 著者名/発表者名
      Siegfried M.Rump(荻田 武史訳)
    • 雑誌名

      応用数理 14:4

      ページ: 44-57

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Accurate Sum and Dot Product with Applications2004

    • 著者名/発表者名
      T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      Proceedings of the 2004 IEEE International Symposium on Computer Aided Control Systems Design

      ページ: 152-155

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法2004

    • 著者名/発表者名
      丸山 晃佐, 荻田 武史, 中谷 祐介, 大石 進一
    • 雑誌名

      電子情報通信学会論文誌 J87-A : 8

      ページ: 1111-1119

    • NAID

      110003311865

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Fast Error Estimation for Eigenvalues of Symmetric Matrix without Directed Rounding2004

    • 著者名/発表者名
      S.Miyajima, T.Ogita, K.Ozaki, S.Oishi
    • 雑誌名

      Proceedings of the 2004 International Symposium on Nonlinear Theory and its Applications

      ページ: 167-170

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 計算機援用証明II2004

    • 著者名/発表者名
      Siegfried M.Rump (荻田 武史訳)
    • 雑誌名

      応用数理 14:4

      ページ: 44-57

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] Accurate Sum and Dot Product

    • 著者名/発表者名
      T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing (to appear)

    • データソース
      KAKENHI-PROJECT-16700017
  • [雑誌論文] 大規模連立一次方程式のための高速精度保証法

    • 著者名/発表者名
      荻田 武史, 大石 進一
    • 雑誌名

      情報処理学会論文誌「数理モデル化と応用」 (to appear)

    • NAID

      110002768708

    • データソース
      KAKENHI-PROJECT-16700017
  • [学会発表] Verified Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation2023

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      International Workshop on "Integration of Simulation/Data/Learning and Beyond"
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H00581
  • [学会発表] Verified Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation2023

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      International Workshop on Integration of Simulation/Data/Learning and Beyond (45th ASE Seminar)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K28100
  • [学会発表] Verified Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation2023

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      International Workshop on "Integration of Simulation/Data/Learning and Beyond" (45th ASE Seminar)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] 高性能かつ高信頼な数値計算手法とその応用2023

    • 著者名/発表者名
      荻田武史
    • 学会等名
      第15回JHPCNシンポジウム
    • データソース
      KAKENHI-PROJECT-20H00581
  • [学会発表] Rayleigh quotient and accurate matrix multiplication for eigenvalue problems2022

    • 著者名/発表者名
      K. Ozaki, D. Mukunoki, T. Ogita
    • 学会等名
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] 不等分割による行列積のエラーフリー変換の高精度計算への応用2022

    • 著者名/発表者名
      尾崎 克久, 椋木 大地, 荻田 武史
    • 学会等名
      日本応用数理学会2022年度年会
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] h3-Open-BDEC: Innovative Software Infrastructure for Scientific Computing in the Exascale Era by Integrations of (Simulation + Data + Learning)2022

    • 著者名/発表者名
      Nakajima, K., Iwashita, T., Yashiro, H., Nagao, H., Shimokawabe, T., Matsuba, H., Ogita, T., Katagiri, T.
    • 学会等名
      The 31st International Toki Conference on Plasma and Fusion Research (ITC31)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] 行列積に対する試行型エラーフリー変換に対する誤差の対処法とその応用2022

    • 著者名/発表者名
      尾崎 克久,椋木 大地,荻田 武史
    • 学会等名
      日本応用数理学会第18回研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] エラーフリー変換を用いた悪条件行列の生成法2021

    • 著者名/発表者名
      尾崎 克久, 荻田 武史
    • 学会等名
      日本応用数理学会第17回研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] Verified Numerical Computations for a Standard Eigenvalue Problem Without Directed Rounding2021

    • 著者名/発表者名
      T. Terao, K. Ozaki, T. Ogita, T. Imamura
    • 学会等名
      The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] Acceleration of Iterative Refinement for Symmetric Eigenvalue Decomposition2021

    • 著者名/発表者名
      Y. Uchino, K. Ozaki, T. Ogita
    • 学会等名
      The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] Iterative Refinement and Verified Numerical Linear Algebra2021

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      SIAM Conference on Applied Linear Algebra (LA21)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H00581
  • [学会発表] Acceleration of Error-Free Transformation of Matrix Multiplication using GPU Tensor Cores2021

    • 著者名/発表者名
      K. Ozaki, D. Mukunoki, T. Ogita
    • 学会等名
      The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] 実対称固有値分解に対する反復改良法の高速化2021

    • 著者名/発表者名
      内野 佑基, 尾崎 克久, 荻田 武史
    • 学会等名
      日本応用数理学会2021年度年会
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] 「計算・データ・学習」融合スーパーコンピュータシステム「Wisteria/BDEC- 01」の概要2021

    • 著者名/発表者名
      中島研吾,塙敏博,下川辺隆史,伊田明弘,芝隼人,三木洋平,星野哲也,有間英志,河合直聡,坂本龍一,近藤正章,岩下武史,八代尚,長尾大道,松葉浩也,荻田武史,片桐孝洋,古村孝志,鶴岡弘,市村強,藤田航平
    • 学会等名
      情報処理学会研究報告(2021-HPC-179-1)
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] Interval Matrix Multiplication Using Fast Low-Precision Arithmetic on GPU2021

    • 著者名/発表者名
      K. Ozaki, T. Ogita, D. Mukunoki
    • 学会等名
      The theme of the 9th International Workshop on Reliable Engineering Computing (REC2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] 高速かつ高精度な行列積計算を用いた固有値と特異値の計算法2021

    • 著者名/発表者名
      尾崎 克久, 荻田 武史, 椋木 大地
    • 学会等名
      2021年並列/分散/協調処理に関するサマー・ワークショップ (SWoPP2021)
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] Efficient Parallel Multigrid Methods on Manycore Clusters with Double/Single Precision Computing2021

    • 著者名/発表者名
      K. Nakajima, T. Ogita, M. Kawai
    • 学会等名
      2021 IEEE International Parallel and Distributed >> Processing Symposium Workshops (IPDPSW)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] Wisteria/BDEC-01 & h3-Open-BDEC: Innovative Scientific Computing in the Exascale Era2021

    • 著者名/発表者名
      Nakajima K., Iwashita T., Yashiro H., Shimokawabe T., Nagao H., Matsuba H., Ogita T., Katagiri T.
    • 学会等名
      ARM SVE for HPC, 18th ACM International Conference on Computing Frontiers (CF’21)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] Integration of (Simulation +Data+Learning) for Innovative Scientific Computing by h3-Open-BDEC on Wisteria/BDEC-012021

    • 著者名/発表者名
      Nakajima K., Iwashita T., Yashiro H., Shimokawabe T., Nagao H., Matsuba H., Ogita T., Katagiri T.
    • 学会等名
      Arm HPC User’s Group (AHUG) Workshop, ISC High Performance 2021 Digital
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] Accurately Verified Numerical Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation2021

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      International Workshop on the Integration of (Simulation + Data + Learning) : Towards Society 5.0 by h3-Open-BDEC
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] 疎行列に対する逆行列のノルムデータとその活用法2021

    • 著者名/発表者名
      尾崎 克久, 荻田 武史
    • 学会等名
      日本応用数理学会第17回研究部会連合発表会
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] Iterative Refinement and Verified Numerical Linear Algebra2021

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      SIAM Conference on Applied Linear Algebra (LA21)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] 高精度行列積を用いて固有ベクトル行列から固有値を計算する方法について2020

    • 著者名/発表者名
      尾崎 克久,荻田 武史,椋木 大地
    • 学会等名
      「行列・固有値問題の解法とその応用」研究部会 第30回研究会
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] GPUの単精度演算・Tensorコアを用いた行列積のエラーフリー変換2020

    • 著者名/発表者名
      尾崎 克久,椋木 大地,荻田武史
    • 学会等名
      日本応用数理学会年会
    • データソース
      KAKENHI-PROJECT-20H04195
  • [学会発表] (計算+データ+学習)融合によるエクサスケール時代の革新的シミュレーション手法2020

    • 著者名/発表者名
      中島研吾,岩下武史,八代尚,下川辺隆史,松葉浩也,長尾大道,荻田武史,片桐孝洋
    • 学会等名
      第25回計算工学講演会
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] h3-Open-BDEC: Innovative Software Platform for Scientific Computing in the Exascale Era by Integrations of (Simulation + Data + Learning)2020

    • 著者名/発表者名
      Iwashita, T, Nakajima, K., Shimokawabe, T., Nagao, H., Ogita, T., Katagiri, T., Yashiro, H., Matsuba, H.
    • 学会等名
      International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia 2020) (poster)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] (計算+データ+学習)融合によるエクサスケール時代の革新的シミュレーション手法2020

    • 著者名/発表者名
      中島研吾,岩下武史,八代尚,下川辺隆史,長尾大道,荻田武史,片桐孝洋,松葉浩也
    • 学会等名
      第12回 自動チューニング技術の現状と応用に関するシンポジウム(ATTA2020)
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] Verified solutions of large sparse linear systems arising from 3D Poisson equation in HPC environments2019

    • 著者名/発表者名
      Ogita, T., Nakajima, K.
    • 学会等名
      European Numerical Mathematics and Advanced Applications Conference 2019 (EnuMath 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] Iterative Refinement for Singular Value Decomposition2019

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      SIAM Conference on Computational Science and Engineering (CSE19), Spokane Convention Center, Spokane, Washington, USA
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Test matrices with specified solutions for numerical linear algebra2019

    • 著者名/発表者名
      K. Ozaki, T. Ogita
    • 学会等名
      2019 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Sun Yat-sen University, Kaohsiung, Taiwan
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] (計算+データ+学習)融合によるエクサスケール時代の革新的シミュレーション手法2019

    • 著者名/発表者名
      中島研吾,岩下武史,八代尚,下川辺隆史,長尾大道,荻田武史,片桐孝洋,松葉浩也
    • 学会等名
      第11回 自動チューニング技術の現状と応用に関するシンポジウム(ATTA2019)
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] Accurate and verified solutions of large sparse linear systems arising from 3D Poisson equation2019

    • 著者名/発表者名
      Ogita, T., Nakajima, K.
    • 学会等名
      International Conference on Matrix Analysis and its Applications (MAT TRIAD 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19H05662
  • [学会発表] Test Matrices for Symmetric Eigenvalue Problems Using Weighing Matrices2018

    • 著者名/発表者名
      K. Ozaki, T. Ogita
    • 学会等名
      IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Iterative Refinement for Singular Value Decomposition2018

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Waseda University, Tokyo, Japan
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Rounding Error Analysis of QR Decomposition Using LU Factors Based on CholeskyQR Algorithm2018

    • 著者名/発表者名
      T. Terao, K. Ozaki, T. Ogita
    • 学会等名
      IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Development of Verified Numerical Computations in High-Performance Computing Environments2018

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing (ATAT in HPSC 2018)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12432
  • [学会発表] Accurate and Verified Numerical Computations with HPC2018

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      SIAM Conference on Parallel Processing for Scientific Computing 2018 (SIAM PP18)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12432
  • [学会発表] Development of Verified Numerical Computations in High-Performance Computing Environments2018

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing (ATAT in HPSC 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Accurate and Verified Numerical Computations with HPC2018

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      SIAM Conference on Parallel Processing for Scientific Computing 2018 (SIAM PP18)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] 真の特異値や固有値がわかるテスト行列の生成法2017

    • 著者名/発表者名
      尾崎 克久,荻田 武史
    • 学会等名
      日本応用数理学会年会
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Faithful Rounding for Matrix Multiplication2017

    • 著者名/発表者名
      Katsuhisa Ozaki and Takeshi Ogita
    • 学会等名
      SIAM Conference on Computational Science and Engineering ( CSE17)
    • 発表場所
      Hilton Atlanta (Atlanta, GA, USA)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12432
  • [学会発表] 数値線形代数における反復改良法2017

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      第17回AT研究会オー プンアカデミックセッション(ATOS17),
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K12432
  • [学会発表] Iterative refinement of eigenvectors of symmetric matrices with clustered eigenvalues2017

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      SIAM Conference on Computational Science and Engineering (CSE17)
    • 発表場所
      Hilton Atlanta, USA
    • 年月日
      2017-03-02
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Iterative refinement of eigenvectors of symmetric matrices with clustered eigenvalues2017

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      SIAM Conference on Computational Science and Engineering (CSE17)
    • 発表場所
      Hilton Atlanta (Atlanta, GA, USA)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12432
  • [学会発表] Generation of Test Matrices with Exact Singular Values for Numerical Computations2017

    • 著者名/発表者名
      K. Ozaki, T. Ogita
    • 学会等名
      The 2017 International Conference on Computational and Mathematical Methods in Science and Engineering ( CMMSE2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] 線形問題におけるHPC向きの精度保証法と反復改良法2017

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      第9回自動チューニング技術の現状と応用に関するシンポジウム(ATTA2017)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] A preconditioning method for dense linear systems2017

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      Numerical Analysis Seminar
    • 発表場所
      North Carolina State University, USA
    • 年月日
      2017-03-06
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Generation of Test matrices with Specified Eigenvalues2017

    • 著者名/発表者名
      K. Ozaki, T. Ogita
    • 学会等名
      10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory (SWIM-SMART 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] 数値線形代数における反復改良法,2017

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      第17回AT研究会オープンアカデミックセッション(ATOS17)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] 線形問題におけるHPC向きの精度保証法と反復改良法2017

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      第9回自動チューニング技術の現状と応用に関するシンポジウム(ATTA2017)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K12432
  • [学会発表] 対称行列に対する固有値分解の反復改良法2017

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      環瀬戸内ワークショップ
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Faithful Rounding for Matrix Multiplication2017

    • 著者名/発表者名
      Katsuhisa Ozaki, Takeshi Ogita
    • 学会等名
      SIAM Conference on Computational Science and Engineering (CSE17)
    • 発表場所
      Hilton Atlanta, USA
    • 年月日
      2017-03-02
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] 実対称行列の固有値分解に対する反復改良法2016

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      応用解析研究会
    • 発表場所
      天満研修センター(大阪府大阪市)
    • データソース
      KAKENHI-PROJECT-16K12432
  • [学会発表] 連立一次方程式の数値解のためのテスト問題の生成法2016

    • 著者名/発表者名
      尾崎 克久, 荻田 武史
    • 学会等名
      日本応用数理学会年会
    • 発表場所
      北九州国際会議場,北九州市
    • 年月日
      2016-09-14
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Efficient Preconditioning Methods for Dense Ill-conditioned Linear Systems2016

    • 著者名/発表者名
      Takeshi Ogita
    • 学会等名
      5th European Seminar on Computing (ESCO 2016)
    • 発表場所
      Conference Center Secese, Pilsen, Czech Republic
    • 年月日
      2016-06-09
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Linear Systems with the Exact Solution for Numerical Tests2016

    • 著者名/発表者名
      Katsuhisa Ozaki, Takeshi Ogita
    • 学会等名
      17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN2016)
    • 発表場所
      Norrlands Nation, Uppsala, Sweden
    • 年月日
      2016-09-16
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] 実対称行列の固有値分解に対する反復改良法2016

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      応用解析研究会
    • 発表場所
      天満研修センター, 大阪市
    • データソース
      KAKENHI-PROJECT-16H03917
  • [学会発表] Iterative Refinement for Symmetric Eigenvalue Decomposition2015

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The First French-Japanese Workshop on Numerical Computations
    • 発表場所
      パリ(フランス)
    • 年月日
      2015-03-25
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Iterative Refinement for Symmetric Eigenvalue Problems2014

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      ヴュルツブルク(ドイツ)
    • 年月日
      2014-09-22
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Iterative Refinement for Singular Value Decompositions2014

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The 7th Small Workshop on Interval Methods (SWIM2014)
    • 発表場所
      ウプサラ(スウェーデン)
    • 年月日
      2014-06-11
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] 対称固有値問題に対する残差反復法2014

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      RIMS研究集会「新時代の科学技術を牽引する数値解析学」
    • 発表場所
      京都大学数理解析研究所(京都府・京都市)
    • 年月日
      2014-10-09
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Acceleration of Accurate Floating-Point Summation2014

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The Fifth China-Japan-Korea Conference on Numerical Mathematics
    • 発表場所
      銀川(中国)
    • 年月日
      2014-08-27
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] 連立一次方程式に対する精度保証の現状2012

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      第4回横幹連合総合シンポジウム
    • 発表場所
      日本大学 生産工学部 津田沼キャンパス
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Verified Solutions of Sparse Linear Systems2012

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      Fifth Conference on Numerical Analysis and Applications
    • 発表場所
      Lozenetz, Bulgaria,
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Backward Error Bounds of Block LDLT Factorizations2012

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      2012 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Palma de Mallorca, Spain
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] 線形問題に対する精度保証付き数値計算2012

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      第2回計算力学シンポジウム
    • 発表場所
      日本学術会議講堂
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Verified Solutions of Sparse Linear Systems2012

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      Novosibirsk, Russia
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Verified Solutions of Sparse Linear Systems2012

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      2012 SIAM Conference on Applied Linear Algebra
    • 発表場所
      Valencia, Spain
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Robust Inverse Matrix Factorizations2011

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      International Workshop on Numerical Linear Algebra and Its Applications
    • 発表場所
      Tongji University, Shanghai, China
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Computing Tight Bounds on Extreme Eigenvalues of Symmetric Matrices2011

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      2011 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Kobe, Japan
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Accurate Singular Value Decomposition for Ill-conditioned Matrices2010

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      ENS de Lyon, France
    • 年月日
      2010-09-28
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Robust Matrix Factorizations2010

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      2010 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Hotel Lido Azzurro "Annex"八丈島
    • 年月日
      2010-03-12
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Robust algorithms for singular values and eigenvalues2010

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      Czech-Japanese Seminar in Applied Mathematics
    • 発表場所
      Telc, Czech Republic
    • 年月日
      2010-09-02
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Accurate Singular Value Decomposition and Eigenvalue Decomposition2010

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      The Sixth East Asia SIAM Conference
    • 発表場所
      Kuala Lumpur, Malaysia
    • 年月日
      2010-06-23
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 高精度なスパースCholesky分解2010

    • 著者名/発表者名
      荻田武史
    • 学会等名
      第29回日本シミュレーション学会大会
    • 発表場所
      山形大学工学部キャンパス
    • 年月日
      2010-06-19
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] (招待講演)精度保証付き数値計算とロバストアルゴリズム2010

    • 著者名/発表者名
      荻田武史
    • 学会等名
      天体力学N体力学研究会
    • 発表場所
      千葉大学
    • 年月日
      2010-03-20
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 数値線形代数における精度保証付き数値計算法の現状2010

    • 著者名/発表者名
      荻田武史
    • 学会等名
      第8回ASE研究会
    • 発表場所
      東京大学 情報基盤センター
    • 年月日
      2010-12-06
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 日本数学会年会, 応用数学分科会2010

    • 著者名/発表者名
      荻田武史
    • 学会等名
      日本数学会年会
    • 発表場所
      慶応義塾大学
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] (特別講演)エラーフリー変換とロバストな行列分解2010

    • 著者名/発表者名
      荻田武史
    • 学会等名
      日本数学会年会
    • 発表場所
      慶応義塾大学
    • 年月日
      2010-03-25
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 高精度な固有値分解アルゴリズム2010

    • 著者名/発表者名
      荻田武史
    • 学会等名
      第15回計算工学講演会
    • 発表場所
      九州大学医学部百年講堂
    • 年月日
      2010-05-28
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] エラーフリー変換とロバストな行列分解2010

    • 著者名/発表者名
      荻田武史
    • 学会等名
      日本数学会年会,応用数学分科会(特別講演)
    • 発表場所
      慶応義塾大学
    • 年月日
      2010-03-25
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Accurate Singular Value Decomposition2010

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      2010 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Krakow, Poland
    • 年月日
      2010-09-06
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Exact Determinant of Integer Matrices2010

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      4th International Workshop on Reliable Engineering Computing (REC2010)
    • 発表場所
      Hotel "Furama Riverfront" Singapore
    • 年月日
      2010-03-04
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 浮動小数点演算のerror-free変換とその応用2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      多倍長精度計算フォーラム
    • 発表場所
      工学院大学
    • 年月日
      2009-02-24
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 高精度な行列分解とその応用2009

    • 著者名/発表者名
      荻田,武史
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • 発表場所
      京都大学
    • 年月日
      2009-03-08
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Accurate Matrix Factorization and Applications2009

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyako Island, Japan
    • 年月日
      2009-03-23
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Robust Computation of Determinant2009

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      7th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM2009)
    • 発表場所
      ホテルアクィラレティムノCrete, Greece
    • 年月日
      2009-09-18
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] ロバストな行列分解アルゴリズムとその応用2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      2009年並列/分散/協調処理に関する「仙台」サマー・ワークショップ(SWoPP仙台2009)(招待講演)
    • 発表場所
      仙台
    • 年月日
      2009-08-06
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Fast Quasi-Quadruple Precision Computation of Sparse Matrix-Vector Product2009

    • 著者名/発表者名
      T. Ogita, S. M. Rump S. Oishi
    • 学会等名
      International Conference on High Performance Scientific Computing
    • 発表場所
      Hanoi, Vietnam
    • 年月日
      2009-03-05
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Accurate and Robust Inverse Cholesky Factorization2009

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 学会等名
      2009 International Symposium on Nonlinear Theory and its Applications (NOLTA2009)
    • 発表場所
      イギリス札幌ホテル札幌
    • 年月日
      2009-10-19
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] (Invited Seminar) Robust and Accurate Matrix Factorizations, Dagstuhl Seminar 094712009

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      Computer-assisted Proofs - Tools, Methods and Applications, Dagstuhl
    • 発表場所
      Germany
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] (Invited Seminar) Robust and Accurate Matrix Factorizations2009

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      Dagstuhl Seminar 09471 : Computer-assisted Proofs -Tools, Methods and Applications
    • 発表場所
      Dagstuhl, Germany
    • 年月日
      2009-11-17
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Accurate Inverse Cholesky Factorization2009

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 学会等名
      The 5th East Asia SIAM Conference
    • 発表場所
      UniversitiBrunei Darussalam
    • 年月日
      2009-06-10
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] ロバストな行列分解アルゴリズムとその応用2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      2009年並列/分散/協調処理に関する「仙台」サマー・ワークショップ
    • 発表場所
      仙台
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 線形問題の精度保証付き高精度数値計算法2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      デジタル解析学セミナー
    • 発表場所
      早稲田大学
    • 年月日
      2009-07-22
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Accurate and Verified Computation of Matrix Determinant2009

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      The 24th International Technical Conference on Circuits/Systems, Computers and Communications
    • 発表場所
      Jeju KAL Hotel Jeju Island, Korea
    • 年月日
      2009-07-08
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] (招待講演)高精度な行列分解アルゴリズムとその応用2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      研究会「アルゴリズムによる計算科学の融合と発展」
    • 発表場所
      筑波大学
    • 年月日
      2009-04-23
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Robust and Accurate Matrix Factorizations, Dagstuhl Seminar 09471 : Computer-assisted Proofs - Tools2009

    • 著者名/発表者名
      T.Ogita
    • 学会等名
      Methods and Applications(Invited Seminar)
    • 発表場所
      Dagstuhl, Germany
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] (招待講演)ロバストな行列分解アルゴリズムとその応用2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      2009年並列/分散/協調処理に関する「仙台」サマー・ワークショップ(SWoPP仙台2009)
    • 発表場所
      フォレスト仙台
    • 年月日
      2009-08-06
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 悪条件行列の高精度な特異値分解アルゴリズム2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      日本応用数理学会2009年度年会
    • 発表場所
      大阪大学豊中キャンパス
    • 年月日
      2009-09-30
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 高精度な行列分解アルゴリズムとその応用2009

    • 著者名/発表者名
      荻田武史
    • 学会等名
      研究会「アルゴリズムによる計算科学の融合と発展」
    • 発表場所
      筑波大学
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Verified Numerical Computation of Matrix Determinant2008

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      El Paso, Texas, USA
    • 年月日
      2008-09-29
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Some Methods to Compute Verified Matrix Determinants2008

    • 著者名/発表者名
      T. Ogita, S. M. Rump, S. Oishi
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Republic of Hungary
    • 年月日
      2008-09-10
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] High Precision and Efficient Computation of Sparse Matrix-Vector Product2008

    • 著者名/発表者名
      T. Ogita, S. M. Rump, S. Oishi
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • 年月日
      2008-10-10
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 高精度な疎行列ベクトル積の高速計算2008

    • 著者名/発表者名
      荻田武史, S.M.Rump, 大石進一
    • 学会等名
      日本応用数理学会2008年度年会
    • 発表場所
      東京大学柏キャンパス
    • 年月日
      2008-09-18
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Fast and High Precision Algorithm for Sparse Matrix-Vectror Product2008

    • 著者名/発表者名
      T.Ogita, S. M. Rump. S. Oishi
    • 学会等名
      2008 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Okinawa
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 行列式の精度保証付き数値計算法2008

    • 著者名/発表者名
      荻田武史, S.M. Rump, 大石進一
    • 学会等名
      第27回日本シミュレーション学会大会
    • 発表場所
      立命館大学びわこくさつキャンパス
    • 年月日
      2008-06-19
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 疎行列とベクトルの高速・高精度な乗算について2008

    • 著者名/発表者名
      荻田 武史, S. M. Rump, 大石 進一
    • 学会等名
      日本応用数理学会研究部会連合発表会
    • 発表場所
      首都大学東京
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 行列式の高速精度保証法2007

    • 著者名/発表者名
      荻田 武史, 尾崎 克久, 大石 進一
    • 学会等名
      第26回 日本シミュレーション学会大会
    • 発表場所
      東京工業大学
    • 年月日
      2007-06-22
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 大規模疎行列の正定値性の精度保証2007

    • 著者名/発表者名
      荻田武史, S. M. Rump, 大石 進一
    • 学会等名
      研究集会「計算科学の基盤技術としての高速アルゴリズムとその周辺」
    • 発表場所
      京大数理解析研
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Verification of Positive Definiteness for Large Sparse Matrix2007

    • 著者名/発表者名
      T. Ogita, S. M. Rump, S. Oishi
    • 学会等名
      The 3rd East Asia SIAM Conference
    • 発表場所
      Xiamen, China
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Tight Error Bounds for Approximate Solutions of Linear Systems2007

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 学会等名
      2007 International Symposium on Nonlinear Theory and its Applications (NOLTA2007)
    • 発表場所
      Vancouver
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Fast and Accurate Floating-Point Summation2007

    • 著者名/発表者名
      T. Ogita, S.M. Rump, S. Oishi
    • 学会等名
      6th International Congress on Industrial and Applied Mathematics (ICIAM07)
    • 発表場所
      Zurich
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] (Invited Conference) Lower and Upper Error Bounds of Approximate Solutions of Linear Systems2007

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 学会等名
      Conference on Inequalities and Applications '07
    • 発表場所
      Noszvaj, Republic of Hungary
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] Lower and Upper Error Bounds of Approximate Solutions of Linear Systems2007

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 学会等名
      Conference on Inequalities and Applications '07
    • 発表場所
      Noszvai, Hungary
    • データソース
      KAKENHI-PROJECT-19700013
  • [学会発表] 精度保証付き数値計算と高精度計算

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      2013年度 応用数学合同研究集会
    • 発表場所
      龍谷大学 瀬田キャンパス
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Fast verified solutions of sparse linear systems

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The International Workshop on Numerical Verification and its Applications 2014
    • 発表場所
      Waseda University, Tokyo
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Backward error bounds on factorizations of symmetric indefinite matrices

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The 10th European Conference on Numerical Mathematics and Advanced Applications
    • 発表場所
      Lausanne, Switzerland
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Verified Solutions of Sparse Linear Systems with Special Matrices

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      2013 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Santa Fe, USA
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Iterative Refinement for Symmetric Eigenvalue Problems

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      日本応用数理学会 研究部会連合発表会
    • 発表場所
      京都大学
    • データソース
      KAKENHI-PROJECT-23700023
  • [学会発表] Rigorous backward error bounds on factorizations of symmetric indefinite matrices

    • 著者名/発表者名
      T. Ogita, K. Kobayashi
    • 学会等名
      4th International Conference on Matrix Analysis and Applications
    • 発表場所
      Konya, Turkey
    • データソース
      KAKENHI-PROJECT-23700023
  • 1.  尾崎 克久 (90434282)
    共同の研究課題数: 4件
    共同の研究成果数: 30件
  • 2.  星 健夫 (80272384)
    共同の研究課題数: 3件
    共同の研究成果数: 1件
  • 3.  片桐 孝洋 (40345434)
    共同の研究課題数: 2件
    共同の研究成果数: 14件
  • 4.  曽我部 知広 (30420368)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  野中 千穂 (10432238)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  宮武 勇登 (60757384)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  田中 健一郎 (70610640)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  臼田 毅 (80273308)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 9.  中島 研吾 (20376528)
    共同の研究課題数: 1件
    共同の研究成果数: 15件
  • 10.  岩下 武史 (30324685)
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 11.  下川辺 隆史 (40636049)
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 12.  長尾 大道 (80435833)
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 13.  八代 尚 (80451508)
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 14.  松葉 浩也 (30444095)
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 15.  相原 研輔 (70735498)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  劉 雪峰 (50571220)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  中尾 充宏 (10136418)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  小林 健太 (60432902)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  関根 晃太 (80732239)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  渡部 善隆 (90243972)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  横田 理央 (20760573)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  伊田 明弘 (80742121)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  今村 俊幸 (60361838)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  山本 有作 (20362288)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  市村 駿太郎
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 26.  相島 健助
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 27.  南畑 淳史
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi