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

Workshop on Numerical Verification Method for Real World Problems 2019

開催日時

開催場所

(〒760-0019 香川県高松市サンポート2-1 高松シンボルタワー・ホール棟)

研究集会の主旨

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

過去の研究集会

• NVR2017
• NVR2018

プログラム

11月30日(土)

• 9:40-10:20 南畑 淳史 (中央大学)
  

  疎行列を係数とする最小二乗問題の精度保証付き数値計算法について

• 10:20-11:00 寺尾 剛史 (芝浦工業大学), 尾崎 克久 (芝浦工業大学), 荻田 武史 (東京女子大学)
  

  実対称行列の全固有値に対する精度保証法と区間への拡張

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

• 11:20-12:00 小林 領 (早稲田大学), 関根 晃太 (東洋大学), 柏木 雅英 (早稲田大学)
  

  ３項漸化式を用いたガウス求積における分点と重みの精度保証法

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

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

  簡易Newton法の収束定理からみた偏微分方程式の解の精度保証付き数値計算法

• 14:10-14:50 木下武彦 (九大情基セ), 渡部善隆 (九大情基セ)，中尾充宏 (早稲 田大学)
  

  Nakao et al. (2005) 最後の謎

• 14:50-15:10 (休憩)
• 15:10-15:50 尾崎 克久 (芝浦工業大学)
  

  計算幾何と精度保証付き数値計算

• 15:50-16:30 (諸事情によりキャンセルになりました。)
• 16:30-16:50 (休憩)
• 16:50-17:30 森口 昌樹 (中央大学)
  

  多義立体の形状モデリングと退化した入力

• 17:30-18:10 フリーディスカッション
• 19:00- (懇親会を予定しています)

12月1日(日)

• 9:30-10:00 山本 野人 (電気通信大学), 中村 正男 (電気通信大学)
  

  局所Lyapunov関数の構成とその応用

• 10:00-10:30 中村 正男 (電気通信大学), 山本 野人 (電気通信大学)
  

  非双曲平衡点をもつ力学系に対するLyapunov関数の構成

• 10:30-10:50 (休憩)
• 10:50-11:30 柏木 雅英 (早稲田大学)
  

  辺または一点に特異性を持つ2変数関数の精度保証付き二重積分

• 11:30-12:10 美添 一樹 (理化学研究所)
  

  モンテカルロ木探索、深さ優先探索およびその応用と並列化

• 12:00-13:30 (昼食)
• 13:30-14:10 大石 進一 (早稲田大学)
  

  Numerical Inclusion Method of Exact Periodic Solutions for the Delayed Actio n Oscillator of A Simple Model of El Niño

• 14:10-14:50 木村 拓馬 (佐賀大学), , 皆本 晃弥 (佐賀大学)，中尾 充宏 (早稲田大学)
  

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

• 14:50-15:10 (休憩)
• 15:10-15:50 内海 晋弥 (学習院大学)
  

  曲有限要素空間の構成について

• 15:50-16:30 椋木 大地 (理化学研究所)
  

  尾崎スキームによる高精度BLAS実装「OzBLAS」とその応用

• 16:30-16:50 (休憩)
• 16:50-17:30 フリーディスカッション
• 17:30-18:10 フリーディスカッション

会議参加費

お問い合わせ先

世話人

サポート

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