線形計算研究会(NLA)
日時： ２０１２年９月１４日（金）１６：００～１８：００
講演者： 木村 拓馬　（早稲田大学 理工学術院　）
タイトル：放物型初期値境界値問題に対する計算機援用証明について
概要： 熱方程式に対する時間方向に補間を用いた近似の誤差評価，線形放物型問題に解を与える作用素のノルム評価，及びこれらの応用による非線形問題の解の存在に対する計算機援用証明など，放物型初期値境界値問題に関連する研究成果を紹介する．なお本研究は，中尾充宏校長（佐世保工業高等専門学校），木下武彦研究員（京都大学RIMS）との共同研究である．
http://nla.na.cse.nagoya-u.ac.jp/index.php