第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2018)

Workshop on Numerical Verification Method for Real World Problems 2018

開催日時

開催場所 (予定)

(〒732-0805　広島県広島市南区東荒神町3-36)

研究集会の主旨

必ずしも完成された研究でなくてもよく、未完成または未着手でも新しい面白い 話題を求めています。 また、実問題へ応用するのに役立つ理論や実装技術など、精度保証付き数値計算の 普及に貢献する幅広い話題を歓迎します。

過去の研究集会

• NVR2017

プログラム

11月30日(金)

• 18:00-20:00 精度保証及び高精度計算に関する打ち合わせ会(1)

12月1日(土)

• 9:40-10:20 南畑 淳史 (中央大学), 荻田 武史 (東京女子大学), S.M.Rump (TU Hanburg-Harburg), 大石 進一(早稲田大学)
  

  H行列を用いた連立一次方程式の精度保証付き数値計算法

• 10:20-11:00 尾崎 克久 (芝浦工業大学)
  

  大規模線形計算に関する精度保証付き数値計算

• 11:00-11:20 (休憩)

• 11:20-12:00 木村 拓馬 (佐賀大学), 皆本 晃弥(佐賀大学), 中尾 充宏 (早稲田大学)
  

  線形熱方程式の時間周期解に対する近似解の誤差評価について

• 12:00-13:30 (昼食)

• 13:30-14:10 水口 信 (早稲田大学), 関根 晃太 (東洋大学), 中尾 充宏 (早稲田大学), 大石 進一 (早稲田大学)
  

  半線形熱方程式の解の精度保証付き数値計算法について

• 14:10-14:50 橋本 弘治 (中村学園大学), 中尾 充宏 (早稲田大学)
  

  発展方程式の初期値問題に対する数値的検証法

• 14:50-15:10 (休憩)

• 15:10-15:50 山中 脩也 (明星大学), 井元 佑介（東北大学），藤川 正毅（琉球大学），浦本 武雄（東北大学），三目 直登（東京大学）
  

  Hyper Dual Number の性質を用いた高階微分の精度保証付き数値計算法

• 15:50-16:30 劉 雪峰 (新潟大学)
  

  精度保証付き数値計算のライブラリの開発について

• 16:30-16:50 (休憩)

• 16:50-17:30 関根 晃太 (東洋大学), 中尾 充宏 (早稲田大学)
  

  線形化作用素の逆作用素のノルム評価を利用しない楕円型偏微分方程式の解に対する計算機援用証明 法

• 19:00- (懇親会を予定しています)

12月2日(日)

• 9:40-10:20 渡部 善隆 (九州大学)
  

  反復解法における誤差履歴

• 10:20-11:00 荻野 正雄(名古屋大学), 劉 麗君(大阪大学), 桝井 晃基(名古屋大学), 関谷 和明(名古屋大学)
  

  複素対称線形方程式における反復法と多倍⻑精度計算について

• 11:00-11:20 (休憩)

• 11:20-12:00 石井 大輔 (福井大学), 藪 智仁 (福井大学)
  

  Why3を用いた区間演算ライブラリの検証

• 12:00-13:30 (昼食)

• 13:30-14:10 椋木 大地 (東京女子大学), 荻田 武史 (東京女子大学), 尾崎 克久 (芝浦工業大学)
  

  尾崎スキームによる高精度かつ再現性のあるBLASルーチンの実装と評価

• 14:10-14:50 片桐 孝洋 (名古屋大学), 石黒 史也 (名古屋大学)
  

  マルチコアCPUおよびGPUにおける高精度行列-行列積のための疎行列演算の実装と評 価

• 14:50-15:10 (休憩)

• 15:10-15:50 久保田 光一 (中央大学)
  

  自動微分・アルゴリズム微分の最近の話題

• 15:50-16:30 柏木 雅英 (早稲田大学)
  

  常微分方程式の精度保証パッケージの評価と今後の展望

• 16:50- 精度保証及び高精度計算に関する打ち合わせ会(2)

会議参加費

お問い合わせ先

世話人

サポート

ポスト「京」萌芽的課題1 基礎科学のフロンティア--極限への挑戦 極限の探求に資する精度保証付き数値計算学の展開と超高性能計算環境の創成