回路理論の講義ノート
コロナ社より回路理論を2013年5月9日(還暦の日)に出版しました．
経歴：
1981年早稲田大学大学院博士了(工博)．
1980年より早稲田大学勤務．
1989年教授．（理工学術院基幹理工学部応用数理学科・数学応用数理専攻）
2010年9月〜2014年9月20日 早稲田大学理工学術院基幹理工学部長・基幹理工学研究科長．
2014年9月21日より 早稲田大学理工学術院長．
日本応用数理学会: 理事、計算の品質部会部会長
電子情報通信学会: Nonlinar Theory and Its Applications, IEICE Editor in Chief
日本シミュレーション学会： 副会長、精度保証付きシミュレーション研究会委員長
2011年8月 フランスパリ第６大学(UPMC)に客員教授として滞在
論文一覧
（１） 著者の論文リストを
論文一覧
にまとめていますのでぜひご参照ください。
（２） 精度保証付き数値計算が大変高速に行え、実用的であることを示しています。また、浮動小数点数の無誤差変換の概念を提唱し、どんな悪条件の問題もほぼ最適の時間で精度保証付きに数値計算で解を求められることを示しています。これらの新しい展開により、絶対に誤ることのない計算幾何学アルゴリズムや非線形問題の計算機援用証明など多様な応用が得られています。数値計算は精度保証付き数値計算に置き換わるというパラダイム変換が起きようとしてしていると思います。これらについては
大石進一：なぜ精度保証付き数値計算の研究を追求したか―私の研究の原点- , Fundamentals Review, 電子情報通信学会基礎境界ソサイエティ誌 Vol. 2, No.2 (2008) pp.9-19
に解説を書きました。
（３） 入門となる特集号を編集しました。それが、精度保証付き数値計算の特集号が数学セミナー 2008.11 566号として出版されました：
特集 計算の品質----精度・誤差・効率
いま問われる計算の品質とは？ 大石進一 10
品質を落とさない数値計算法／無誤差変換と高精度計算 荻田武史 15
線型代数と数値計算 大石進一 20
精度保証付き数値計算の応用：流体の方程式 中尾充宏 24
精度保証付き数値計算の応用：カオス／渾沌を殺さず七竅を鑿つために 荒井 迅 31
誤らない計算幾何学アルゴリズム 尾崎克久 36
（４） 最近，Japan Journal of Industrial and Applied Mathematicsに精度保証付き数値計算の特集号が組まれた．
M. T. Nakao, S. Oishi ed., Special Issue on State of the Art in Self-Validating Numerical Computations, Japan Journal of Industrial and Applied Mathematics, 26:2-3 (2009) pp.1-530.
須永氏の区間解析を提唱した論文の再掲からスタートし，基本演算，線形問題の精度保証，非線形問題の精度保証，半正定値問題の最適化，悪条件線形問題の精度保証，偏微分方程式の解の数値的存在証明，固有値問題の精度保証，数式処理と精度保証の融合などの精度保証付き数値計算の基礎の最近までの到達点がサーベイされ，計算幾何学，非線形回路，球面上のt-デザイン，非線形力学系，非線形楕円型方程式の解の分岐，有限要素法の誤差解析などの応用に関する論文が収録されている．
（５） 計測と制御 2010年5月号 特集：実用化されつつある高品質数値計算とその画期的応用
制御等への応用を中心として，特集が組まれました．
講義録や作品
精度保証付き数値計算(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について公開))
著作一覧
- 薩摩，大石，杉原編 応用数理ハンドブック，（日本応用数理学会20周年記念出版), 朝倉書店2013.
- 回路理論 大石進一 著 コロナ社 2013/5発行 (書評(JSIAM, 西哲夫先生)，(通信学会誌，篠田庄司先生))
- シミュレーション辞典，日本シミュレーション学会編（編集委員会委員長 大石進一），コロナ社 2012.
- 待ち行列理論 大石進一 著 コロナ社 1800円 2003/5発行 ISBN9784339060737
- 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
