日時 2003年10月29日（水） ～ 11月1日（土）
会場 コーワパークホテル由布院倶楽部（大分県）
世話人 荻田 武史（早稲田大学）・山本 野人（電気通信大学）・中村 佳正（京都大学）
18:30 コーワパークホテル集合・全体説明・夕食「湯の岳庵」
8:30 ~ 9:30
講演１ 中村 佳正（京都大学）・辻本 諭（京都大学）
「ロトカ・ボルテラ系の差分化と特異値計算」
9:45 ~ 10:45
講演２ 岩﨑 雅史（京都大学）
「可積分な特異値分解アルゴリズムINT-SVDの基礎」
11:00 ~ 12:00
講演３ 山本 哲由（京都大学）・阪野 真也（京都大学）
「INT-SVDの精度解析と分割統治型INT-SVDの開発の現状」
15:00 ~ 16:00
講演４ 荻田 武史（早稲田大学）・大石 進一（早稲田大学）
「線形計算における精度保証の大規模化と高精度化」
16:15 ~ 17:15
講演５ 中谷 祐介（早稲田大学）・大石 進一（早稲田大学）
「非線形方程式に対する解の存在検証の効率化について」
17:30 ~ 18:30
講演６ 宮島 信也（早稲田大学）
「アフィン演算とその応用に関する研究」
8:30 ~ 9:30
講演７ 岡田 正巳（東京都立大学）・上野 敏秀（東京都立大学）
「非線形発展方程式の力学系と wavelet/spline 選点近似計算による数値解法」
9:45 ~ 10:45
講演８ 井手 貴範（東京都立大学／アイシン・エィ・ダブリュ（株）第1技術部）
「物理的な性質を保つ有限要素スキームの構成について」
11:00 ~ 12:00
講演９ 峯崎 征隆（京都大学）・中村 佳正（京都大学）
「全保存量を保つ離散化の非可積分系への応用」
15:00 ~ 16:00
講演１０ 渡部 善隆（九州大学情報基盤センター）
「精度保証付き数値計算のエッセンス --微分方程式編--」
16:15 ~ 17:15
講演１１ 山本 野人（電気通信大学）
「作用素の固有値に関する精度保証付き計算の基礎定理」
17:30 ~ 18:30
講演１２ 小林 健太（九州大学／学振PD研究員）
「Nekrasov方程式の正値解の大域的一意性に対する数値的検証法」
8:30 ~ エクスカーション