研究集会「数値計算の高度化と高信頼化に関する札幌ワークショップ」
`Sapporo Workshop on High Performance and High Reliability Numerical Computation'

・研究代表者:田端正久,平成15年度科研費基盤研究A(1)
「高性能大規模計算に即した数値解析の構築」
・研究代表者:中尾充宏,平成15年度科研費基盤研究A(1)
「数値的検証法から計算機援用解析学の構築へ向けての総合的研究」
日時   : 2003 年 8月 18日 (月)−20日(水)
場所   : 北海道東海大学 札幌校舎 (札幌市南区南沢5条1丁目1-1) マルチメディアホール (国際交流会館 1階)
プログラム
8 月 18 日 (月)

 10:00 - 10:45 渡部 善隆 (九州大学 情報基盤センター)
               置換つき対称行列に対する反復解法の適用

 10:45 - 11:30 山本 野人 (電気通信大学 情報工学科)
               大規模行列の固有値に対する精度保証付き計算に関する考察

 13:00 - 13:45 川中子 正 (東京工業大学 大学院理工学研究科)
               概対角作用素列による線形微分作用素の近似定理とその応用

 13:45 - 14:30 村重 淳 (東京大学大学院 新領域創成科学研究科)
               特異積分方程式の精度保証付き数値計算と今後の計画

 14:30 - 15:15 大石 進一 (早稲田大学 理工学部)
               所望の精度を確保する高速な内積計算

 15:30 - 16:15 長藤 かおり (九州大学 大学院数理学研究院)
               Driven Cavity Problem の定常解に対する数値的検証法について

 16:15 - 17:00 木村 正人 (九州大学 大学院数理学研究院)
               符号付距離関数を用いたレベルセット法について               

 17:00 - 17:45 今井 仁司 (徳島大学 工学部共通講座)
               無限精度数値シミュレーションの応用

 18:00 - 20:00 懇親会


8 月 19 日 (火)

 10:00 - 10:45 皆本 晃弥 (佐賀大学 理工学部)
               Perturbed Gelfand方程式のTurning Pointに対する精度保証付き
               数値計算

 10:45 - 11:30 藤野 清次 (九州大学 情報基盤センター)
               新しい安定化積型BiCG法の収束特性について

 13:00 - 13:45 鈴木 厚 (九州大学 大学院数理学研究院)
               安定化有限要素離散化ストークス方程式に対する部分構造反復法

 13:45 - 14:30 田上 大助 (九州大学 大学院工学研究院)
               有限要素法による熱対流問題の数値解析

 14:45 - 15:30 金山 寛 (九州大学 大学院工学研究院)
               領域分割法による定常流計算

 15:30 - 16:15 牛島 照夫 (電気通信大学 情報工学科)
               大關 雅己 (電気通信大学 大学院電気通信学研究科)
               二次元外部帰着波動問題のFEM-FSM結合解法とその数値水槽への応用

 16:15 - 17:00 大塚 厚二 (広島国際学院大学)
               数理モデルと有限要素解析の知識貯蔵庫構築の試み
 
8 月 20 日 (水)

 10:00 - 10:45 中尾 充宏 (九州大学 大学院数理学研究院)
               楕円型方程式の解に対する数値的検証法の改良について
 
 10:45 - 11:30 田端 正久 (九州大学 大学院数理学研究院)
               時間2次精度特性有限要素法の性質
email: Q-NA-Sympo@math.kyushu-u.ac.jp
(最終更新 : 2003/07/18)