経歴：
1981年早稲田大学大学院博士了(工博)．
1980年より早稲田大学勤務．
1989年教授．
現在、早稲田大学理工学術院基幹理工学部応用数理学科・数学応用数理専攻教授
日本応用数理学会: 理事、計算の品質部会部会長
電子情報通信学会: 企画理事、Nonlinar Theory and Its Applications, IEICE Editor in Chief、非線形理論とその応用サブソサイエティ会長、基礎境界ソサイエティ副会長（元会長）
日本シミュレーション学会： 理事、精度保証付きシミュレーション研究会委員長
論文一覧
精度保証付き数値計算が大変高速に行え、実用的であることを示しています。また、浮動小数点数の無誤差変換の概念を提唱し、どんな悪条件の問題もほぼ最適の時間で精度保証付きに数値計算で解を求められることを示しています。これらの新しい展開により、絶対に誤ることのない計算幾何学アルゴリズムや非線形問題の計算機援用証明など多様な応用が得られています。数値計算は精度保証付き数値計算に置き換わるというパラダイム変換が起きようとしてしていると思います。これらについては
大石進一：なぜ精度保証付き数値計算の研究を追求したか―私の研究の原点- , Fundamentals Review, 電子情報通信学会基礎境界ソサイエティ誌 Vol. 2, No.2 (2008) pp.9-19
に解説を書きました。また、以上の結果を示した論文を含む著者の論文リストを
論文一覧
にまとめていますのでぜひご参照ください。また、入門となる特集号を編集しました。それが、精度保証付き数値計算の特集号が数学セミナー 2008.11 566号として出版されました：
特集 計算の品質----精度・誤差・効率
いま問われる計算の品質とは？ 大石進一 10
品質を落とさない数値計算法／無誤差変換と高精度計算 荻田武史 15
線型代数と数値計算 大石進一 20
精度保証付き数値計算の応用：流体の方程式 中尾充宏 24
精度保証付き数値計算の応用：カオス／渾沌を殺さず七竅を鑿つために 荒井 迅 31
誤らない計算幾何学アルゴリズム 尾崎克久 36
講義録や作品
精度保証付き数値計算(2005/3/31更新)
このページには精度保証付き数値計算を中心に数値計算関係の理論とツールの情報やプログラムに関する情報を幅広く掲載している。
数値計算・数値解析・数値計算ツール
数値計算・数値解析・数値計算ツールに関する情報を掲載する。
精度保証付き数値計算の理論とツール
精度保証付き数値計算の理論とそのためのツールに関する講義録
Slab:著者が作成したフリーな精度保証付き数値計算ツール
Slab1.20:
MATLAB的な数値計算ツールで精度保証モードをもっています。これをGNU-ライセンスで公開しました。(2002/8/15，[2003/5/11] Slab1.23にバージョンアップ(ATLASによる高速化BLASを組み込んだコンパイル済みバージョンをLinux
on Centrino, WindowsXP + Cygwin + Centrino, PowerBook g4 Mac OS
X.2.6の3つのOSについて公開))
著作一覧
- Matlabによる数値計算 大石進一 著 培風館 2800円 2001/7発行 ISBN4-563-01495-8
- 微積分とモデリングの数理 大石 進一 著 朝倉書店 3,200円 2000/11発行 ISBN4-254-28501-9
- Ｌｉｎｕｘ数値計算ツール 大石 進一 著 コロナ社 2,200円 2000/10発行 ISBN4-339-02378-7
- 精度保証付き数値計算 大石 進一 著 コロナ社 2,200円 1999/12発行 ISBN4-339-02605-0
- 数値計算 大石 進一 著 裳華房 2,000円 1999/03発行 ISBN4-7853-1514-8
- 電子情報通信と数学 大石 進一 編著 電子情報通信学会 編 電子情報通信学会 2,700円 1998/02発行 ISBN4-88552-149-1
- 非線形解析入門 大石 進一 著 コロナ社 2,800円 1997/04発行 ISBN4-339-02600-X
- グラフィックス 大石 進一、牧野光則 著 日本評論社
2,900円 1994/07発行 ISBN4-535-60816-4
- 例にもとずく情報理論入門 大石 進一 著 講談社 2,136円 1993/06発行 ISBN4-06-153803-9
- フーリエ解析 大石 進一
著 岩波書店 2,400円 1989/06発行 ISBN4-00-007776-7
.files/okuma8.jpg)
