【オンライン開催】第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021) ・ JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会

■開催日時: 2021年11月27日(土)8：55 ～17：00、11月28日(日)9：45～16：30

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

■webページ：http://verifiedby.me/nvr2021/

■研究集会の趣旨

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

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

今年度は、 JST/CREST「モデリングのための精度保証付き数値計算論の展開」が最終年度のため、 前半(27日)がCREST報告会、後半(28日)がNVR、という形態で実施します。

■会議の聴講：無料

■参加登録：聴講するには、事前登録が必要です。上記webページをご確認ください。

■プログラム

11月27日(土)

8:30-8:55　　(Zoomの接続確認)
8:55-9:00　　 開会の挨拶(?)
8:55-9:30　　荻田武史 (東京女子大学)
　　　　　　　悪条件連立一次方程式に対する効率的な前処理方式
9:30-9:50　　Kai Torben Ohlhus (東京女子大学)
　　　　　　　APA – An Arbitrary Precision Arithmetic toolbox for Octave and Matlab
9:50-10:20　 尾崎 克久 (芝浦工業大学)
　　　　　　　大規模分散並列環境における連立一次方程式・固有値問題の精度保証について
10:20-10:50  山中 脩也 (明星大学)
　　　　　　　冪零行列を用いた精度保証付き高階微分計算法
10:50-11:00  (休憩)
11:00-11:30  高橋 大輔 (早稲田大学)
　　　　　　　max-plus Nicholson-Baileyモデルの幾何条件から見えるもの
11:30-12:00  丸野 健一 (早稲田大学)
　　　　　　  一般的な境界条件での自己適合移動格子スキーム
12:00-13:20  (昼食)
13:20-13:50  小林 健太 (一橋大学)
　　　　　　  有限要素法の誤差解析と精度保証
13:50-14:20  渡部 善隆 (九州大学)
　　　　　　  ある三角行列の最小特異値に対するBünger – Rump理論による精度保証付き数値計算
14:20-14:40  水口 信 (中央大学)
　　　　　　  放物型方程式の半離散近似に対する誤差定数値の評価について
14:40-15:00  劉 雪峰 (新潟大学)
　　　　　　  3次元領域におけるレイノルズ数の大きい流れの検証の現状報告
15:00-15:20  田中 一成 (早稲田大学)
　　　　　　  楕円型境界値問題の自明解の確定条件とその応用
15:20-15:30  (休憩)
15:30-16:00  山本 野人 (電気通信大学)
　　　　　　  非双曲型平衡点近傍の力学系に関する精度保証解析の進展
16:00-16:15  齊藤 優輝 (早稲田大学)
　　　　　　  遅延van der Pol Duffing方程式に対する分数調波解の存在の計算機援用証明
16:15-16:30  高松 尚輝 (早稲田大学)
　　　　　　  遅延van der Pol Duffing方程式の非周期解の分岐現象の数値計算
16:30-17:00  大石 進一 (早稲田大学)
　　　　　　  非線形遅延微分方程式の分数調波解, 概周期解, 分岐現象の精度保証に関わる話題

11月28日(日)

9:15-9:40　　(Zoomの接続確認)
9:45-9:50　　 開会の挨拶
9:50-10:30　 柏木 雅英 (早稲田大学)
　　　　　　　疑似4倍精度数による区間演算とその実装
10:30-11:10  尾崎 克久 (芝浦工業大学)
　　　　　　　行列積のエラーフリー変換に関する基礎・応用とMATLABコード生成のチュートリアル
11:10-11:20  (休憩)
11:20-11:50  中田 真秀 (理化学研究所)
　　　　　　　MPLAPACK ver1.0.0使い方とデモ: 非対称行列の対角化や特異値を求める
12:00-13:20  (昼食)
13:20-14:00  高安 亮紀 (筑波大学)
　　　　　　  Julia言語を用いた精度保証付き数値計算の実践
14:00-14:40  関根 晃太 (千葉工業大学)
　　　　　　  有限次元非線形方程式の解の成分ごと評価について
14:40-15:00  柏木 雅英 (早稲田大学)
　　　　　　  Krawczyk法における候補者集合の作り方について
15:00-15:10  (休憩)
15:10-15:50  田中 敏 (東北大学)
　　　　　　  1次元Hénon型方程式の正値対称解の多重存在
15:50-16:30  浅井 大晴 (早稲田大学)
　　　　　　  精度保証付き数値計算を用いた1次元エノン方程式の分岐図の解析

■お問い合わせ先：
E-mail: nvr@verified.computation.jp

■世話人：
柏木 雅英 (早稲田大学)
関根 晃太 (千葉工業大学)
南畑 淳史 (関西国際大学)
田中 一成 (早稲田大学)
大石 進一 (早稲田大学)

■サポート：
主催: JST / CREST モデリングのための精度保証付き数値計算論の展開
共催: 科研費 基盤研究(B)「3次元領域におけるレイノルズ数の大きい流れの計算機援用証明」(21H00998)
本ワークショップは、 文部科学省科学技術試験研究委託事業 「数学アドバンストイノベーションプラットフォーム(AIMaP)」の協力を得て実施します。

■企画番号：2021A007

今後の参考にさせていただくため、参加者のみなさまには
参加後アンケートへのご協力をお願いいたします。

⏩アンケートはこちら