電気通信大学情報理工学研究科長・加古孝教授は、本年３月３１日をもってご退職なさいます。これを記念して、以下のような研究集会を企画いたしました。
研究集会名：International WorkShop on Computational Science and Numerical Analysis
日時：２０１２年３月２４日（土）２５日（日）２６日（月）
会場：電気通信大学 西９号館３階 AVホール
本研究集会は、日本応用数理学会「科学技術計算と数値解析」研究部会・「行列と固有値」研究部会・「計算の品質」研究部会の後援を受け、加古先生が長年 携わってこられた科学技術計算と数値解析の分野を中心に、国内から１５名程度、海外から１０名程度の研究者を招いてご講演いただき、またディスカッションを行います。
皆様には年度末でお忙しく、また日本数学会（東京理科大）の日程とも一部重なっておりますが、ぜひご参加いただきますようお願い申し上げます。 研究集会プログラム等の詳細は
研究集会URL： http://www.im.uec.ac.jp/IWCSNA
にてお知らせいたします．
なお、３月２６日（月）の夕刻から調布クレストンホテルにて懇親会を計画しています。 こちらにもご参加ください。
実行委員代表： 山本野人
電気通信大学情報理工学研究科
yamamoto@im.uec.ac.jp
研究集会事務局： 小山大介
電気通信大学情報理工学研究科
koyama@im.uec.ac.jp
計算の品質研究部会OS (KQ)[H1]： 9/16（金） 9:00〜10:20
座長：劉 雪峰（早稲田大学）
時間 講演者・題目 9:00-9:20 (KQ01) 逐次反復に基づく関数方程式の計算機援用証明
渡部 善隆（九州大学）9:20-9:40 (KQ02) アメリカンオプションの最適権利行使境界に対する数値的検証法
小林 健太（一橋大学商学研究科）9:40-10:00 (KQ03) 線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について
☆木下 武彦（京都大学），渡部 善隆（九州大学），中尾 充宏（佐世保工業高等専門学校）10:00-10:20 (KQ04) 高精度な精度保証付き対数計算法
☆山中 脩也（早稲田大学），大石 進一（早稲田大学）
計算の品質研究部会OS (KQ)[H2]： 9/16（金） 10:30〜11:50
座長：渡部 善隆 (九州大学)
時間 講演者・題目 10:30-11:10 (KQ05) [特] Faithful roundings of sum, dot product and polynomial evaluation with nonnegative entries
Stef Graillat（LIP6, Pierre and Marie Curie University）9:20-9:40 (KQ06) 行列積から総和への無誤差変換の一般化
☆尾崎 克久（芝浦工業大学），荻田 武史（東京女子大学）9:40-10:00 (KQ07) 連立一次方程式の精度保証法に関するGPUを用いた速度精度比較
☆森倉 悠介（早稲田大学），尾崎 克久（芝浦工業大学 & JST/CREST），大石 進一（早稲田大学 & JST/CREST）
計算の品質研究部会OS (KQ)[H3]： 9/16（金） 13:00〜14:00
座長：小林 健太 (一橋大学)
時間 講演者・題目 13:00-13:20 (KQ08) On verified evaluation of several interpolation error constants
☆Xuefeng LIU, Shin'ichi OISHI (Waseda Univfersity)13:20-13:40 (KQ09) Some remarks on verified numerical computations for two-point boundary value problems
☆高安 亮紀（早稲田大学），大石 進一（早稲田大学/CREST JST）9:40-10:00 (KQ10) 特異関数を用いた非凸領域におけるラプラス作用素の高精度固有値評価
☆南畑 淳史(早稲田大学)，劉 雪峰(早稲田大学)，大石 進一(早稲田大学)