日程：2018年9月10日（月）10:00 ～ 17:00
会場：早稲田大学国際会議場３階 第３会議室
（東京都新宿区西早稲田1-20-14）
内容：
本チュートリアルは、近年重要性が増している精度保証付き数値計算について、基礎的な内容から一部最新の研究成果も交えながら体系的に紹介します。
本チュートリアルの内容は、「精度保証付数値計算の基礎」(大石進一編著：2018年7月コロナ社)を参考にして頂けると一層理解が深まると思います。
また、9/11-14に同会議場で開催される精度保証付き数値計算に関する国際会議SCAN2018の招待講演も無料で聴講できますので合わせてご参加下さい。
これらの活動は、科学技術振興機構（JST）ならびに早稲田大学理工学術院総合研究所の支援を受けて実施されます。
参加費： 無料
プログラム：
Part 1.（10:00～12:30）
1. 精度保証付き数値計算の概要
荻田武史（東京女子大学）
2. 浮動小数点演算と区間演算
尾崎克久（芝浦工業大学）
3. 丸め誤差解析と高精度計算
尾崎克久（芝浦工業大学）
4. 数値線形代数における精度保証
荻田武史（東京女子大学）
Lunch （12:30～14:00）
Part 2.（14:00～15:50）
5. 数学関数の精度保証
柏木雅英（早稲田大学）
6. 数値積分の精度保証
山中脩也（明星大学）
7. 非線形方程式の精度保証付き数値解法
高安亮紀（筑波大学）
8. 3次元多様体の双曲性判定
市原一裕（日本大学）
Part 3.（16:00～17:00）
9. INTLABの紹介（英語での講演となります）
Siegfried. M. Rump（Hamburg University of Technology）
問い合わせ先： scan2018@oishi.info.waseda.ac.jp
詳細Web.： http://scan2018.oishi.info.waseda.ac.jp/tutorial