2000年6月8日 「特別講演： 実用段階に到達した精度保証付き数値計算」 大石 進一(早稲田大学) (第２９回数値解析シンポジウム テーマ「数値計算の21世紀に向けて」)
2000年8月10日 (招待講演) Computer Assisted Analysis of Nonlinear Dynamical Systems, SIAM Dinamical System Workshop (Maui, Hawaii)
2000年10月5日 (招待講演) Accuracy of approximate solution of matrix equation can be verified with the cost of calculating it. (Worksyop on Numerical Analysis, Ehime University)
2000年10月8日 特別講演:実用に耐える精度保証付き数値計算 大石進一 (日本応用数理学会 (東工大))
2000年10月26日 日本シミュレーション学会の国際ワークショップで精度保証付き数値計算のセッションをオーガナイズ(東工大)
2000年10月27日 (依頼セミナー) 大石 進一 （早稲田大学理工学部情報学科） 精度保証付き数値計算の入門から最近の話題まで (数理談話会(東京大学大学院工学系研究科計数工学専攻 ))
2000年11月10日 (招待講演) 大石 進一（早稲田大学） 「数値線形代数の高速精度保証」 (情報技術革命の基礎としての： 計算科学の最前線( Frontiers of Computational Science - Basis of IT revolution - ) 平成12年11月9日（木）-10日（金） 場所 電気通信大学西９号館３階ＡＶホール)
2000年11月21日 【特別講演】 大石 進一 (早稲田大学・理工) 固有値の高速精度保証と相対誤差精度保証 (11 月 21 日 (火) ) (京都大学 数理解析研究所 共同研究集会 「偏微分方程式の数値解法とその周辺 II」プログラム 日時 : 2000 年 11 月 20 日 (月) 11:00 〜 11 月 22 日 (水) 16:25 場所 : 京都大学数理解析研究所 4 階 420 号室 京都市左京区北白川追分町 )
2000年11月 (招待講演) 高速精度保証 (Workshop on Verified Numerical Computation (島根大学))
2000年12月16日 (招待講演) 大石進一 線形問題については，精度保証付き数値計算による，厳密な誤差評価が，近似計算の手間と同程度になるか，時には，精度保証の方が短くてすむ International GAMM Workshop on Inclusion Methods for Nonlinear Problems with Applications in Engineering, Economics and Physics(Munich, Germany)
2001年1月31日 (招待講演) 数値線形代数における高速精度保証法 (数値計算研究集会(愛媛大学))
2001年2月23日 (招待講演) Fast verification methods in numerical linear algebra (Workshop on numerical methods for linear/nonlinear equatios (Ehime University))
2001/2/21-23 愛媛大学で
Workshop on numerical methods for linear/nonlinear equations
が山本哲朗先生主催で開催される。
Ivo Marek(Charles University, Prague)氏が
Comparison theorem for convergent factor for iterative methods for singular systems
Aggregation methods for Markovian process
の2つの講演をする。筆者は
Fast verification methods in numerical linear algebra
とう題目で講演した。土屋卓也(愛媛大学)氏は
Finite element approximation of H-surfaces
Xianjun Chen(島根大学)女氏は
A superlinearly and globally convergence for reaction and diffusion problems with a non-Lipschitzian operator
Quin Fang(Ehime University)氏は
SuperConvergence of fineite difference methods for convection-diffusion problems
という講演をした。また，田辺国士（統数研）氏は
氏の開発した線形方程式解法についての講演をした。ゆったりとした講演時間と質問時間があり，楽しめた。 (2001/2/23)
2001年3月7日１５：００〜１７：００ (依頼セミナー) 発表者：大石 進一（早稲田大学理工学部） 題目：線形数値計算の精度保証は数値解をもう一度計算する手間でできる (LA研究会 第１７回研究会 で講演します。 場所： 東京大学理学部７号館２１４講義室 東大行き都営バス終点、バスの折り返し場所近くの小豆色の建物)
題目：線形数値計算の精度保証は数値解をもう一度計算する手間でできる
概要： 連立一次方程式の直接解法、反復解法、固有値問題、特異値問題など多くの線形数値代数問題の数値解は、その解を計算する手間と同程度の手間で精度保証できることを理論的または実例に基づいて示した。また、それより若干手間をかけると近似解がもつ精度近くまで、精度の保証ができる場合が多いことも論じた。さらに、MatlabやMatlabクローンな数値計算ツールによる非常に簡単で見通しのよい精度保証プログラミングについても言及した。
2001年5月8,9日 Workshop on Numerical Calculation with Guaranteed Accuracy
主催 早稲田大学，日本シミュレーション学会，電子情報通信学会，日本応用数理学会
(2001/5/8,9) を主催した(プログラム)。
2001年9月18日 電子情報通信学会 【 基礎・境界ソサイエティ大会 】パネル討論 「PA−2．精度保証付き数値計算とその最近のトピックス」を企画した。 9月18日13:00-17:00 座長 大石進一（早大） ・パネラー：山本哲朗（愛媛大）、中尾充宏（九大）、渡部善隆（九大）、大石進一（早大），山本野人（電通大）、荻田武史（早大）、村重 淳（東大）、伊理正夫（中大）．
2001年9月20日 (招待講演) 13th RAMP ２０日(木)14:00-17:15 数値計算法の最前線
「こんなに簡単にはやくできるようになった精度保証」 大石進一 （早稲田大学）
主 催：日本オペレーションズリサーチ学会 期 日：２００１年９月１９日（水），２０日（木） 開 催 地：浜松アクトシティコングレスセンター４階
最終更新: 2001/11/4
©Shin'ichi OISHI
URI: http://www.oishi.info.waseda.ac.jp/~oishi/invited.htm