近似理論から計算機用証明への道―偏微分問題の精度保障―(2018/6/7)

演題：近似理論から計算機用証明への道―偏微分問題の精度保障―

日時：2018年6月7日(木) 16:00-17:30
　　
会場：早稲田大学 西早稲田キャンパス 55号館N棟 1階 大会議室B（東側）

講師：中尾　充宏（九州大学　 名誉教授）

対象：学部生、大学院生、教職員、学外者、一般

参加方法：入場無料、直接会場へ

主催：基幹理工学研究科　数学応用数理専攻

問合せ：早稲田大学 理工センター 総務課

TEL：03-5286-3000

＊日時・会場は変更される場合があります。ウェブサイトにて最新情報をご確認下さい。