研究会・セミナーの情報

「数学と諸分野の連携にむけた若手数学者交流会」において講演セッションを開きました
日時：2019年3月15日（金）13:00 ～ 3月16日（土）17:00
会場：科学技術振興機構（JST）　東京本部　B1大会議室

3月16日 10:05～11:20 「精度保証付き数値計算論の展開」セッション
『精度保証付き数値計算を用いた楕円型境界値問題の解の符号変化構造解析』
　田中一成（早稲田大学）
『精度保証付き計算の３次元トポロジーへの応用』
　正井秀俊（東京工業大学）
『ナビエ－ストークス方程式の計算機援用存在証明の進展』
　劉雪峰（新潟大学）
『反応拡散方程式系のDirichlet境界値問題の定常解に対する計算機援用存在証明法』
　関根晃太（東洋大学）

「精度保証付き数値計算の基礎」チュートリアルを開催しました

日時：2018年9月10日（月）10:00 ～ 17:00
会場：早稲田大学国際会議場３階　第３会議室
（東京都新宿区西早稲田1-20-14）

チュートリアルの資料は、下記よりダウンロードできます。
１．「精度保証付き数値計算の概要」 　荻田武史（東京女子大学）
２．「浮動小数点演算と区間演算」　 　尾崎克久（芝浦工業大学）
３．「丸め誤差解析と高精度計算」　 　尾崎克久（芝浦工業大学）
４．「数値線形代数における精度保証」 荻田武史（東京女子大学）
５．「数学関数の精度保証」　　 　　　柏木雅英（早稲田大学）
６．「数値積分の精度保証」　　 　　　山中脩也（明星大学）
７．「非線形方程式の精度保証付き数値解法」 高安亮紀（筑波大学）
８．「３次元多様体の双曲性判定」　 　市原一裕（日本大学）