第11回「計算機を用いた数学研究」GCOEセミナーを下記の通り行います。
| 日 時： | 11月30日（金）14:00〜17:15 12月1日（土）10:00〜16:30 |
| 場 所： | 京都大学理学部３号館 110講演室 |
| 講演者： | 渡部 善隆 （九州大学情報基盤研究開発センター） 山中 脩也 （早稲田大学理工学術院総合研究所） |
| タイトル： | 「精度保証付き数値計算法入門」 |
| 世話人： | 宮路 智行 （京都大学数理解析研究所） |
| 11月30日（金） | |
| 14:00-15:30 | 「精度保証付き数値計算」とは （渡部） |
| 15:45-17:15 | エラーフリー変換による区間演算の実装 （山中） |
| 12月1日（土） | |
| 10:00-11:30 | 精度保証付き数値計算の原理 （渡部） |
| 13:15-14:45 | 数値積分の精度保証化技術とその高精度化に向けて （山中） |
| 15:00-16:30 | 非線形偏微分方程式への応用 （渡部） |