研究集会「高性能大規模計算と精度保証付き計算に関するワークショップ」
`Workshop on High Performance Large Scale Computation and Guaranteed Accuracy Computation'

11 月 5 日 (月)

 13:30 - 14:10 大石 進一 (早稲田大学 理工学部)
               Shin'ichi Oishi (Waseda University)
               PCクラスタを用いた大規模行列方程式の解の精度保証　
	       Validation of solutions of large scale matrix equations
	       using PC-clusters  

 14:10 - 14:50 皆本 晃弥 (佐賀大学 理工学部)
               Teruya Minamoto (Saga University)
               Perturbed Gelfand方程式のdouble turning pointに対する解の
               数値的検証法
	       Numerical verification method of a double turning point
               of the perturbed Gelfand equation

 14:50 - 15:30 友枝 謙二 (大阪工業大学 工学部)
               Kenji Tomoeda (Osaka Institute of Technology)
               Numerical approach to the support splitting phenomena
               in some nonlinear diffusion equations

 15:45 - 16:25 河野 敏行, 仁木 滉 (岡山理科大学 総合情報学部)
               Toshiyuki Kohno, Hiroshi Niki (Okayama University of Science)
               Preconditioned SOR method

 16:25 - 17:05 山本 野人 (電気通信大学 情報工学科)
               Nobito Yamamoto (The University of Electro-Communications)
               非凸領域における有限要素法の誤差評価定数について
               On constants in error estimation of FEM on nonconvex
               polygonal domains

 17:05 - 17:45 渡部 善隆 (九州大学 情報基盤センター)
               Yoshitaka Watanabe (Kyushu University)
               逆反復法による特異値の数値計算
	       Numerical computations of the singular values by the
               inverse iteration

11 月 6 日 (火)

  9:15 - 10:15 Michael Plum (Universit\"at Karlsruhe)
               Computer-assisted proofs for boundary value and
               eigenvalue problems

 10:30 - 11:10 藤野 清次 (九州大学 情報基盤センター)
               Seiji Fujino (Kyushu University)
               双共役勾配法系統の反復解法の収束性向上について 
	       A strategy for improvement of convergence of BiCG like methods

 11:10 - 11:50 長藤 かおり (広島市立大学 情報科学部),
               中尾 充宏 (九州大学 大学院数理学研究院)
               Kaori Nagatou (Hiroshima City University),
	       Mitsuhiro T. Nakao (Kyushu University)
	       Numerical verification for a linearized eigenvalue
	       problem in Kolmogorov's problem of viscous incompressible
	       fluid on 2-D flat tori 

 13:30 - 14:30 Yuri Kuznetzov (University of Houston)
               Domain decomposition and fictitious domain methods with
               distributed Lagrange multipliers

 14:30 - 15:10 川中子 正 (東京工業大学 理工学研究科)
               Tadashi Kawanago (Tokyo Institute of Technology)
	       Computer assisted analysis for nonlinear vibrations

 15:25 - 16:05 陳 小君 (島根大学 総合理工学部)
               Xiaojun Chen (Shimane University) 
               相補性問題に対する精度保証付き計算
	       Verification methods for complementarity problems

 16:05 - 16:45 西田 詩 (鹿児島大学 理学部)
               Kotoba Nishida (Kagoshima University)
               2次元及び3次元外部領域におけるOseenの線形化方程式に対する
	       基本解法の適用 
	       On the fundamental solution method applied to the Oseen's
	       linearized equations in 2-dim. and 3-dim. exterior domains 

 16:45 - 17:25 土屋 卓也 (愛媛大学 理学部)
               Takuya Tsuchiya (Ehime University)
               Yamamoto's principle and its applications  
	       ---- An extension of Babuska-Osborn's theorems

11 月 7 日 (水)

  9:15 -  9:55 木村 正人 (九州大学 大学院数理学研究院)
               Masato Kimura (Kyushu University)
               符号付距離関数を用いたレベルセット法の単調性
	       Monotonicity of a level set method using the signed 
	       distance function

  9:55 - 10:35 中木 達幸 (九州大学 大学院数理学研究院)
               Tatsuyuki Nakaki (Kyushu University)
               Numerical computation and stability analysis to the 
	       motion of vortices in a plane

 10:50 - 11:30 若野 功 (京都大学 大学院情報学研究科)
               Isao Wakano (Kyoto University)
               Numerical analysis for stress intensity factors

 11:30 - 12:10 大塚 厚二 (広島国際学院大学 工学部)
               Kohji Otsuka (Hiroshima Kokusai Gakuin University)
               FreeFem+と有限要素計算の数理融合システムの設計
	       FreeFem+ and design of mathematics-calculation hybrid

 13:30 - 14:10 牛島 照夫, 千葉 文浩 (電気通信大学 情報工学科)
               Teruo Ushijima, Fumihiro Chiba 
	       (The University of Electro-Communications)
	       数値水槽 NWAT 計画における FSM 近似解法の役割
               A role of FSM, Fundamental Solution Method, in the
	       project NWAT, Numerical Water Tank 

 14:10 - 14:50 西田 孝明 (京都大学 大学院理学研究科)
               Takaaki Nishida (Kyoto University)
               Pattern formations of Rayleigh-Benard heat convection

 14:50 - 15:30 今井 仁司 (徳島大学 工学部)
               Hitoshi Imai (The University of Tokushima)
               無限精度数値計算と超数値シミュレーション
	       IPNS and super numerical simulation

 15:45 - 16:25 金山 寛, 田上 大助 (九州大学 大学院工学研究院)
               宮本 隆二, 井本 光一郎 (九州大学 大学院工学府)
               Hiroshi Kanayama, Daisuke Tagami,
	       Ryuji Miyamoto, Koichiro Imoto (Kyushu University)
               Some remarks on finite element methods for 3-D eddy
               current problems

 16:25 - 17:05 鈴木 厚, 田端 正久 (九州大学 大学院数理学研究院)
               Atsushi Suzuki, Masahisa Tabata (Kyushu University)
               温度依存粘性を持つ無限プラントル数ブシネ方程式の対流パ
               ターンの有限要素計算
	       Finite element computation of convection patterns of
               infinite Prandtl number Boussinesq equations with
               temperature-dependent viscosity 
 
 11月5日(月) に懇親会(18:45〜)を予定しています.