演題:近似理論から計算機用証明への道―偏微分問題の精度保障―
日時:2018年6月7日(木) 16:00-17:30
会場:早稲田大学 西早稲田キャンパス 55号館N棟 1階 大会議室B(東側)
講師:中尾 充宏(九州大学 名誉教授)
対象:学部生、大学院生、教職員、学外者、一般
参加方法:入場無料、直接会場へ
主催:基幹理工学研究科 数学応用数理専攻
問合せ:早稲田大学 理工センター 総務課
TEL:03-5286-3000
*日時・会場は変更される場合があります。ウェブサイトにて最新情報をご確認下さい。