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

デファクトスタンダードを基盤とする高精度高信頼な連立一次方程式の数値計算法の開発

研究課題

研究課題/領域番号 15K15939
研究種目

若手研究(B)

配分区分基金
研究分野 情報学基礎理論
研究機関早稲田大学

研究代表者

森倉 悠介  早稲田大学, 理工学術院, 助教 (10732240)

研究協力者 大石 進一  
Rump Siegfried M.  
荻田 武史  
尾崎 克久  
深谷 猛  
椋木 大地  
山中 脩也  
研究期間 (年度) 2015-04-01 – 2017-03-31
研究課題ステータス 完了 (2016年度)
配分額 *注記
2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
2016年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2015年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
キーワード精度保証 / 高精度計算 / 連立一次方程式 / ハイパフォーマンス・コンピューティング / 情報学基礎 / 数値解析 / ハイパフォーマンスコンピューティング / 精度保証付き数値計算
研究成果の概要

本研究では,大規模連立一次方程式の精度保証付き数値計算法におけるスーパーコンピュータ上でのデファクトスタンダードな数値計算ソフトウェアを用いた実装とその評価,大規模連立一次方程式用のアルゴリズムの考察を行った.大規模問題に対して,高精度な行列積計算アルゴリズム,浮動小数点演算の無誤差変換を組み合わせることで精度保証が可能であることを京コンピュータ上で明らかにした.本研究で得られた計算アルゴリズムは事前誤差評価を用いて丸め誤差を計算している.プログラムの実装はデファクトスタンダードな数値計算ライブラリで行っているため,IEEE754の規格であれば様々なスーパーコンピュータでも実行が可能である.

報告書

(3件)
  • 2016 実績報告書   研究成果報告書 ( PDF )
  • 2015 実施状況報告書
  • 研究成果

    (14件)

すべて 2017 2016 2015 その他

すべて 国際共同研究 (1件) 雑誌論文 (1件) (うち国際共著 1件、 査読あり 1件、 オープンアクセス 1件) 学会発表 (11件) (うち国際学会 5件、 招待講演 2件) 図書 (1件)

  • [国際共同研究] ハンブルグ工科大学(ドイツ)

    • 関連する報告書
      2016 実績報告書
  • [雑誌論文] 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
    • 関連する報告書
      2016 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [学会発表] 行列の正則性の判定における単精度近似逆行列を用いた前処理の評価2017

    • 著者名/発表者名
      森倉悠介,大石進一
    • 学会等名
      第5回 大規模並列数値計算技術に関する研究集会― 多倍長計算と精度保証 ―
    • 発表場所
      理化学研究所計算科学研究機構
    • 年月日
      2017-03-27
    • 関連する報告書
      2016 実績報告書
    • 招待講演
  • [学会発表] Fast enclosure for matrix multiplication on a GPU2016

    • 著者名/発表者名
      Yusuke Morikura, Yusuke Nozawa, Kouta Sekine, Masahide Kashiwagi and Shin’ichi Oishi
    • 学会等名
      The 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN2016)
    • 発表場所
      Uppsala ,Sweden
    • 年月日
      2016-09-26
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] CUDAの丸めモード指定演算を用いた行列積の高速な包含方法2016

    • 著者名/発表者名
      森倉 悠介, 野澤 優介, 関根 晃大, 柏木 雅英, 大石 進一
    • 学会等名
      2016年度日本応用数理学会 年会
    • 発表場所
      福岡県北九州国際会議場
    • 年月日
      2016-09-12
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Performance Evaluation of Verified Computation for Linear Systems on Parallel Computers2016

    • 著者名/発表者名
      Yusuke Morikura, Daichi Mukunoki, Takeshi Fukaya, Naoya Yamanaka and Shin’ichi Oishi
    • 学会等名
      ACSI2016 (Annual Meeting on Advanced Computing System and Infrastructure 2016)
    • 発表場所
      Centennial Hall Kyushu University School of Medicine
    • 年月日
      2016-01-19
    • 関連する報告書
      2015 実施状況報告書
    • 国際学会
  • [学会発表] 大規模並列計算機における連立1次方程式の精度保証付き数値計算に対する性能評価2016

    • 著者名/発表者名
      森倉 悠介, 椋木 大地, 深谷 猛, 山中 脩也, 大石 進一
    • 学会等名
      第157回ハイパフォーマンスコンピューティング研究発表会
    • 発表場所
      沖縄県産業支援センター
    • 関連する報告書
      2016 実績報告書
  • [学会発表] 事前誤差評価を用いた線形計算の精度保証 誤差解析から大規模計算まで2015

    • 著者名/発表者名
      森倉 悠介
    • 学会等名
      日本応用数理学会 三部会連携「応用数理セミナー」
    • 発表場所
      東京大学本郷キャンパス 工学部6号館
    • 年月日
      2015-12-24
    • 関連する報告書
      2015 実施状況報告書
    • 招待講演
  • [学会発表] Verification method for large-scale linear systems without directed rounding2015

    • 著者名/発表者名
      Yusuke Morikura, Ozaki Katsuhisa and Shin’ichi Oishi
    • 学会等名
      Crest Workshop
    • 発表場所
      伊東
    • 年月日
      2015-10-24
    • 関連する報告書
      2015 実施状況報告書
    • 国際学会
  • [学会発表] Verification method for large-scale linear systems2015

    • 著者名/発表者名
      森倉 悠介, 尾崎 克久, 大石 進一
    • 学会等名
      JST/CREST-さきがけ数学シンポジウム 2015 22世紀社会創造のための数学 Mathematics for the 22nd Century
    • 発表場所
      ステーションコンファレンス東京
    • 年月日
      2015-09-30
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] Verification method for large-scale linear systems2015

    • 著者名/発表者名
      Yusuke Morikura, Katsuhisa Ozaki and Shin’ichi Oishi
    • 学会等名
      Seto-Inland-Sea-Rim Workshop on Mathematical Sciences
    • 発表場所
      八丈島
    • 年月日
      2015-09-27
    • 関連する報告書
      2015 実施状況報告書
    • 国際学会
  • [学会発表] LU分解の事前誤差評価を用いた連立一次方程式の精度保証付き数値計算法におけるH行列の性質を用いた正則性の検証法と誤差評価式の提案2015

    • 著者名/発表者名
      南畑 淳史, 森倉 悠介, 荻田 武史, 大石 進一
    • 学会等名
      日本応用数理学会2015年度年会
    • 発表場所
      金沢大学角間キャンパス
    • 年月日
      2015-09-09
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] GPU computation in verified computation2015

    • 著者名/発表者名
      Yusuke Morikura
    • 学会等名
      Joint Seminar on Numerical Analysis at Niigata University
    • 発表場所
      Niigata University
    • 年月日
      2015-09-03
    • 関連する報告書
      2015 実施状況報告書
    • 国際学会
  • [図書] 計算科学のためのHPC技術12017

    • 著者名/発表者名
      下司雅章 編/片桐孝洋,中田真秀,渡辺宙志,山本有作,吉井範行,Jaewoon Jung,杉田有治,石村和也,大石進一,関根晃太,森倉悠介,黒田久泰 著
    • 総ページ数
      300
    • 出版者
      大阪大学出版会
    • 関連する報告書
      2016 実績報告書

URL: 

公開日: 2015-04-16   更新日: 2018-03-22  

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

Powered by NII kakenhi