Workshop on Numerical Verification Method for Real World Problems 2020

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

(最終更新: 2020/11/27)

この度、文部科学省より令和2年度の文化功労者が発表され、大石進一先生が文化功労者として顕彰されることが決定しました。大石進一先生、大変おめでとうございます。
(柏木雅英、関根晃太、南畑淳史)

2020年11月28日(土)-11月29日(日)

新型コロナウイルスの感染拡大防止のため、Zoomでのオンライン開催とします。

線形計算から微分方程式の数値計算まで、精度保証付き数値計算は数値計算の多くの分野をカバーし発展を遂げてきました。今は、その技術の普及が求められています。本研究集会は、さまざまな実問題に対する精度保証付き数値計算の応用に関する情報交換及び、それを通じた共同研究の促進を目的としています。

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

9:30-10:35 (Zoomの接続確認)
10:35-10:40 開会の挨拶
10:40-11:20 柏木雅英 (早稲田大学)
精度保証付き二重積分について
11:20-12:00 内海晋弥 (学習院大学)
非多項式有限要素基底の積分値の包含法とその応用
12:00-13:30 (昼食)
13:30-14:10 関根晃太 (東洋大学), 中尾充宏 (早稲田大学), 大石進一 (早稲田大学)
半線形楕円型偏微分方程式の線形化作用素L:D(Δ)→L²に対するSchur補元を用いた逆作用素の表現方法
14:10-14:50 渡部善隆 (九州大学)，木下武彦 (佐賀大学), 中尾充宏 (早稲田大学)
重調和方程式に対するLegendre多項式を用いた構成的誤差評価
14:50-15:05 (休憩)
15:05-15:45 南畑淳史 (中央大学)
LU分解を用いた疎行列向けの精度保証付き数値計算法とその応用
15:45-16:25 菱沼利彰 (株式会社科学計算総合研究所), 森田直樹 (株式会社科学計算総合研究所, 筑波大学)
AVX2を用いた高速な倍々精度疎行列計算ソフトウェアの開発と構造解析ソフトウェアへの応用
16:25-16:40 (休憩)
16:40-17:20 椋木大地 (理研R-CCS)，尾崎克久 (芝浦工業大学), 荻田武史 (東京女子大学)
尾崎スキームによるbinary128行列積
17:20-18:00 尾崎克久 (芝浦工業大学), 椋木大地 (理研R-CCS), 荻田武史 (東京女子大学)
GPUを用いた行列積のエラーフリー変換とその応用

9:45-10:25 山本野人 (電気通信大学), 新田光輝 (電気通信大学)
非双曲型平衡点・不動点を持つ系のLyapunov関数について
10:25-11:05 高安亮紀 (筑波大学)
Global dynamics in a quadratic nonlinear Schrödinger equation
11:05-11:20 (休憩)
11:20-12:00 久保隆徹 (お茶の水女子大学)

時間遅れを考慮に入れたBurgers方程式の大域解について
12:00-13:30 (昼食)
13:30-14:10 大石進一 (早稲田大学), 関根晃太 (東洋大学)
エルニーニョを記述する強制遅延微分方程式の分数調波解の存在の計算機援用証明
14:10-14:50 大石進一 (早稲田大学), 関根晃太 (東洋大学)
強制外力のある遅延Duffing方程式の逆分岐ダイアグラム問題と分数調波解の存在の計算機援用証明
14:50-15:05 (休憩)
15:05-15:45 田中敏 (東北大学)
1次元Hénon方程式の正値対称解のモース指数と対称性破壊分岐について
15:45-16:25 浅井大晴 (早稲田大学), 田中一成 (早稲田大学), 大石進一(早稲田大学)
精度保証付き数値計算を用いたHénon方程式の対称性に関する考察
16:25-17:05 田中一成 (早稲田大学)
エノン方程式の解に対する正値性検証法

費用は無料です。
聴講するには、以下のリンクから登録をお願いします。

登録後、Zoomでの参加に関する情報のメールが届きます。

なお、当日はZoomをなるべく最新版にアップデートしておくことをお勧めします。

E-mail: nvr@verified.computation.jp

柏木雅英 (早稲田大学)
関根晃太 (東洋大学)
南畑淳史 (中央大学)
大石進一 (早稲田大学)