第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2017)
Workshop on Numerical Verification Method for Real World Problems 2017
(最終更新: 2017/12/8)
開催日時
2017年12月9日(土)-10日(日)
開催場所
西日本総合展示場 新館 302
(〒802-0001 福岡県 北九州市 小倉北区 浅野三丁目8-1)
研究集会の主旨
線形計算から微分方程式の数値計算まで、精度保証付き数値計算は数値計算の
多くの分野をカバーし発展を遂げてきました。
今は、その技術の普及が求められています。
本研究集会は、
さまざまな実問題に対する精度保証付き数値計算の応用に関する情報交換及び、
それを通じた共同研究の促進を目的としています。
必ずしも完成された研究でなくてもよく、未完成または未着手でも新しい面白い
話題を求めています。
また、実問題へ応用するのに役立つ理論や実装技術など、精度保証付き数値計算の
普及に貢献する幅広い話題を歓迎します。
プログラム
(プログラムの詳細)
12月9日(土)
- 13:00-13:30 柏木 雅英 (早稲田大学)
kvライブラリにおける区間演算の実装について
- 13:30-14:00 関根 晃太 (東洋大学)
C++11によるポリシーを導入した数値線形代数クラスの作成とその応用
- 14:00-14:30 金泉 大介 (早稲田大学), 丸野 健一
Jacksonの第2種q-Bessel関数の精度保証付き数値計算
- 14:30-14:50 (休憩)
- 14:50-15:20 太田 悠暉 (芝浦工業大学), 尾崎 克久
2数の大小比較に対する浮動小数点フィルタの生成方法について
- 15:20-15:50 中田 真秀 (理化学研究所)
半正定値計画法の高精度求解とその応用
- 15:50-16:20 Denis Chaykin, Christian Jansson, Frerich Keil, Marko Lange (Waseda University), Kai Torben Ohlhus, and Siegfried M. Rump
Rigorous results in electronic structure calculations
- 16:20-16:40 (休憩)
- 16:40-17:10 南畑 淳史 (AIST)
高精度な近似逆行列を求めるアルゴリズムがうまく動かない例題の作成法
- 17:10-17:40 寺尾 剛史 (芝浦工業大学), 尾崎 克久
実対称正定値行列を係数行列とする連立一次方程式の数値解の
高速精度保証法
- 17:40-18:10 落合 涼太 (芝浦工業大学), 寺尾 剛史, 尾崎 克久
連立一次方程式の数値解に対する高信頼性の保証と高精度計算
について
- 19:00- (懇親会を予定しています)
12月10日(日)
- 9:40-10:10 山本 野人 (電気通信大学), 新田 光輝, 中山 大輔
高次元力学系のホモ・ヘテロクリニック軌道の検証について
- 10:10-10:40 石井 大輔 (福井大学)
ハイブリッドシステムの可到達集合の精度保証
- 10:40-11:00 (休憩)
- 11:00-11:30 土屋 拓也 (早稲田大学)
Einstein方程式の離散化方程式とその数値安定性について
- 11:30-12:00 浦川 遼介 (早稲田大学), 土屋 拓也, 米田 元
Einstein方程式の数値計算における安定性の取り扱いについて
- 12:00-13:30 (昼食)
- 13:30-14:00 渡部 善隆 (九州大学), 木下 武彦, 中尾 充宏
重調和問題の解に対する構成的誤差評価
- 14:00-14:30 松江 要 (九州大学)
有限時間特異性：基礎的計算法が生み出す豊かな解構造
- 14:30-15:00 高安 亮紀 (筑波大学)
非線形熱方程式の複素時間における解の挙動と精度保証付き数値計算
(プログラムの詳細)
会議参加費
無料です。聴講に登録は必要ありませんが、人数の把握のため、
下の問い合わせ先にご一報頂ければ幸いです。
お問い合わせ先
E-mail: postk_waseda_workshop@oishi.info.waseda.ac.jp
世話人
柏木 雅英 (早稲田大学)
中尾 充宏 (早稲田大学)
関根 晃太 (東洋大学)
南畑 淳史 (AIST)
サポート
この研究集会は、
ポスト「京」萌芽的課題1 基礎科学のフロンティア--極限への挑戦
極限の探求に資する精度保証付き数値計算学の展開と超高性能計算環境の創成
によってサポートされています。