大石進一

大石 進一は、日本の数学者。学位は、工学博士。早稲田大学理工学術院教授、文化功労者。

早稲田大学理工学部教授、早稲田大学基幹理工学部学部長、早稲田大学理工学術院学術院長などを歴任した。

1. 概要
-----

1953年5月9日生まれの日本の応用数学者である。ソリトン、ホモトピー法などの非線形の構成的解析の研究を経て、1990年より精度保証付き数値計算の研究に従事し、文部科学省科研費の特別推進研究や3度にわたるJST CRESTの研究費をはじめとして国から大きな支援を受けた。2012年紫綬褒章受章。2014年9月より早稲田大学理工学術院長。早稲田大学理工学術院基幹理工学部応用数理学科教授。

2. 来歴
-----

静岡県浜松市生まれ。1972年3月早稲田大学高等学院卒業、1976年3月早稲田大学理工学部電子通信学科卒業、1978年3月早稲田大学大学院理工学研究科博士前期課程修了、1981年3月早稲田大学大学院理工学研究科博士後期課程修了。工学博士。学位論文の題は「非線形信号伝送系における波動伝搬に関する研究 : ソリトン波及びその周辺に関する解析」。

1980年4月早稲田大学理工学部助手、1982年4月早稲田大学理工学部専任講師、1984年4月早稲田大学助教授、1989年4月早稲田大学教授、2010年9月早稲田大学理工学術院基幹理工学部長、2014年9月理工学術院長

3. 賞歴
-----

電子情報通信学会論文賞3回、電子情報通信学会猪瀬賞、電子情報通信学会NOLTA、IEICE Best Paper Award、電子情報通信学会フェロー、日本応用数理学会論文賞、日本応用数理学会業績賞、日本応用数理学会ベストオーサー賞、日本応用数理学会フェロー、大川出版賞、電気通信普及財団テレコムシステム技術賞、丹羽記念賞、小野梓記念賞

4. 栄典
-----

2012年紫綬褒章受章
2020年文化功労者

5. 著書
-----

『精度保証付き数値計算の基礎』 コロナ社 2018/7発行 
計算科学のためのHPC技術1, 下司雅章 編／片桐孝洋，中田真秀，渡辺宙志，山本有作，吉井範行，Jaewoon Jung，杉田有治，石村和也，大石進一，関根晃太，森倉悠介，黒田久泰 著, 978-4-87259-586-4}}, 2017年03月, 大阪大学出版会.
『応用数理ハンドブック』、薩摩順吉・杉原正顯と共編 朝倉書店 2013.
『回路理論』 コロナ社 2013/5発行
『シミュレーション辞典』日本シミュレーション学会編、コロナ社 2012.
『待ち行列理論』 コロナ社 2003/5発行 ISBN 9784339060737
『MATLABによる数値計算』 培風館 2001/7発行 ISBN 4-563-01495-8
『微積分とモデリングの数理』 朝倉書店 2000/11発行 ISBN 4-254-28501-9
『Linux数値計算ツール』 コロナ社 2000/10発行 ISBN 4-339-02378-7
『精度保証付き数値計算』 コロナ社 1999/12発行 ISBN 4-339-02605-0
『数値計算』 裳華房 1999/03発行 ISBN 4-7853-1514-8
『電子情報通信と数学』 電子情報通信学会 編 1998/02発行 ISBN 4-88552-149-1
『非線形解析入門』 コロナ社 1997/04発行 ISBN 4-339-02600-X 
『グラフィックス』 牧野光則と共著 日本評論社 1994/07発行 ISBN 4-535-60816-4
『例にもとづく情報理論入門 』 講談社 1993/06発行 ISBN 4-06-153803-9
『フーリエ解析』 岩波書店 1989/06発行 ISBN 4-00-007776-7

6. 代表的な論文
---------

6.1. 計算機援用証明
------------

Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S., & Takayasu, A. . Verified computations for hyperbolic 3-manifolds. Experimental Mathematics, 25, 66-78.

6.2. 高精度計算・エラーフリー変換
-------------------

Ogita, T., Rump, S. M., & Oishi, S. . Accurate sum and dot product. :en:SIAM Journal on Scientific Computing, 26, 1955-1988.
Rump, S. M., Ogita, T., & Oishi, S. . Accurate floating-point summation part I: Faithful rounding. :en:SIAM Journal on Scientific Computing, 31, 189-224.
Rump, S. M., Ogita, T., & Oishi, S. . Accurate floating-point summation part II: Sign, K-fold faithful and rounding to nearest. :en:SIAM Journal on Scientific Computing, 31, 1269-1302.

6.3. 数値線形代数
-----------

Oishi, S., & Rump, S. M. . Fast verification of solutions of matrix equations. :en:Numerische Mathematik, 90, 755-773.
太田貴久, 荻田武史, Siegfried M. Rump, 大石進一、「[1]」『日本応用数理学会論文誌』 2005年 15巻 3号 p.269-286, 日本応用数理学会
尾崎克久, 荻田武史, 大石進一、「[2]」『応用数理』 2011年 21巻 3号 p.186-196, 10.11540/bjsiam.21.3_186}}, 日本応用数理学会

6.4. 最適化問題
----------

Oishi, S., & Tanabe, K. . Numerical Inclusion of Optimum Point for Linear Programming. 日本応用数理学会 Letters, 1, 5-8.

6.5. 数値積分
---------

Yamanaka, N., Okayama, T., Oishi, S., & Ogita, T. . A fast verified automatic integration algorithm using double exponential formula. Nonlinear Theory and Its Applications, IEICE, 1, 119-132.
Yamanaka N., Okayama T., Oishi S.  Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. In: Kotsireas I., Rump S., Yap C.  Mathematical Aspects of Computer and Information Sciences. MACIS 2015. Lecture Notes in Computer Science, vol 9582. Springer, Cham.

6.6. 高性能計算
----------

Morikura, Y., Ozaki, K., & Oishi, S. . Verification methods for linear systems using ufp estimation with rounding-to-nearest. Nonlinear Theory and Its Applications, IEICE, 4, 12-22.
Ozaki, K., Ogita, T., Oishi, S., & Rump, S. M. . Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. Numerical Algorithms, 59, 95-118.

6.7. ODE/PDEの解に対する精度保証付き数値計算
----------------------------

Liu, X., & Oishi, S. . Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape. :en:SIAM Journal on Numerical Analysis, 51, 1634-1654.
Liu, X., & Oishi, S. . Guaranteed high-precision estimation for interpolation constants on triangular finite elements. Japan Journal of Industrial and Applied Mathematics, 30, 635-652.
Oishi, S. . Numerical verification of existence and inclusion of solutions for nonlinear operator equations. :en:Journal of Computational and Applied Mathematics, 60, 171-185.
Oishi, S. . Two topics in nonlinear system analysis through fixed point theorems. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, 77, 1144-1153.
Y. Kanazawa and S. Oishi , "A numerical method of proving the existence of solutions for nonlinear ODEs using affine arithmetic". Proc. SCAN'02 - 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics.

7. 脚注
-----

8. 外部リンク
--------

[3]