大石進一

大石進一
おおいししんいち大石進一
	文化功労者顕彰に際して; 公表された肖像写真
生誕	1953年5月9日（71歳）; 日本・静岡県浜松市
居住	日本
国籍	日本
研究分野	数学
研究機関	早稲田大学
出身校	早稲田大学高等学院卒業; 早稲田大学理工学部卒業; 早稲田大学大学院理工学研究科博士前期課程修了; 早稲田大学大学院理工学研究科博士後期課程修了
博士課程; 指導学生	柏木雅英; 尾崎克久; 荻田武史; 山中脩也; 高安亮紀; 関根晃太; 森倉悠介
主な業績	精度保証付き数値計算; INTLABの開発に協力
主な受賞歴	小野梓記念賞; 大川出版賞; 日本応用数理学会論文賞; 日本応用数理学会業績賞; 電子情報通信学会論文賞; 電気通信普及財団テレコムシステム技術賞
	プロジェクト:人物伝
	テンプレートを表示

大石進一（おおいししんいち、1953年 5月9日 - ）は、日本の数学者（応用数学）。学位は、工学博士（早稲田大学・1981年）。早稲田大学栄誉フェロー。文化功労者。

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

概要

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

来歴

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

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

賞歴

電子情報通信学会論文賞3回、電子情報通信学会猪瀬賞、電子情報通信学会NOLTA、IEICE Best Paper Award、日本応用数理学会論文賞、日本応用数理学会業績賞、日本応用数理学会ベストオーサー賞、大川出版賞、電気通信普及財団テレコムシステム技術賞、丹羽記念賞、小野梓記念賞、船井情報科学振興賞（2005年）^[8]

栄典

2012年紫綬褒章受章
2020年文化功労者^[9]

学術団体会員

電子情報通信学会フェロー
日本応用数理学会フェロー

著書

『精度保証付き数値計算の基礎』コロナ社 2018/7発行 (柏木雅英, 尾崎克久, 荻田武史, 山中脩也, 高安亮紀, 関根晃太, 森倉悠介, S. Rump と共著)
計算科学のためのHPC技術1, 下司雅章編／片桐孝洋，中田真秀，渡辺宙志，山本有作，吉井範行，Jaewoon Jung，杉田有治，石村和也，大石進一，関根晃太，森倉悠介，黒田久泰著, ISBN 978-4-87259-586-4, 2017年03月, 大阪大学出版会.
『応用数理ハンドブック』（日本応用数理学会20周年記念出版）、薩摩順吉・杉原正顯と共編朝倉書店 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

代表的な論文

計算機援用証明

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

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

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

数値線形代数

Oishi, S., & Rump, S. M. (2002). Fast verification of solutions of matrix equations. en:Numerische Mathematik, 90(4), 755-773.
太田貴久, 荻田武史, Siegfried M. Rump, 大石進一、「悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, <特集>平成17年研究部会連合発表会)」『日本応用数理学会論文誌』 2005年 15巻 3号 p.269-286, 日本応用数理学会
尾崎克久, 荻田武史, 大石進一、「有向丸めの変更を使用しないタイトな行列積の包含方法」『応用数理』 2011年 21巻 3号 p.186-196, doi:10.11540/bjsiam.21.3_186, 日本応用数理学会

最適化問題

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

数値積分

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

高性能計算

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

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

Liu, X., & Oishi, S. (2013). Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape. en:SIAM Journal on Numerical Analysis, 51(3), 1634-1654.
Liu, X., & Oishi, S. (2013). Guaranteed high-precision estimation for $P_{0}$ interpolation constants on triangular finite elements. Japan Journal of Industrial and Applied Mathematics, 30(3), 635-652.
Oishi, S. (1995). Numerical verification of existence and inclusion of solutions for nonlinear operator equations. en:Journal of Computational and Applied Mathematics, 60(1-2), 171-185.
Oishi, S. (1994). Two topics in nonlinear system analysis through fixed point theorems. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, 77(7), 1144-1153.
Y. Kanazawa and S. Oishi (2002), "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.

脚注

[脚注の使い方]

^ 大石進一、「なぜ精度保証付き数値計算の研究を追求したか -私の研究の原点-」『電子情報通信学会基礎・境界ソサイエティ Fundamentals Review』 2008年 2巻 2号 p.2_9-2_19, doi:10.1587/essfr.2.2_9, 電子情報通信学会
^ Core Research for Evolutional Science and Technology
^ 『精度保証付き数値計算の基礎』コロナ社 2018/7発行
^ 大石進一理工学術院教授が紫綬褒章を受章精度保証付き数値計算の研究が高く評価されました
^ “理工系の数学入門コース［新装版］フーリエ解析（新装版）”. 紀伊國屋書店ウェブストア｜オンライン書店｜本、雑誌の通販、電子書籍ストア. 2023年2月12日閲覧。
^ “基幹文化功労者 | 早稲田大学基幹理工学部・研究科”. 2023年2月12日閲覧。
^ 博士論文書誌データベースによる
^ ^a ^b http://www.oishi.info.waseda.ac.jp/~oishi/index-j.html
^ “令和2年度文化功労者”. 文部科学省 (2020年11月3日). 2020年11月9日閲覧。

外部リンク

精度保証付き数値計算学の確立

大石進一 - KAKEN 科学研究費助成事業データベース

先代: 山川宏

早稲田大学理工学術院長: 2014年 - 2016年

次代: 竹内淳

この項目は、学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:人物伝/P:教育）。

[1] 大石進一、「なぜ精度保証付き数値計算の研究を追求したか -私の研究の原点-」『電子情報通信学会基礎・境界ソサイエティ Fundamentals Review』 2008年 2巻 2号 p.2_9-2_19, doi:10.1587/essfr.2.2_9, 電子情報通信学会

[2] Core Research for Evolutional Science and Technology

[3] 『精度保証付き数値計算の基礎』コロナ社 2018/7発行

[4] 大石進一理工学術院教授が紫綬褒章を受章精度保証付き数値計算の研究が高く評価されました

[5] “理工系の数学入門コース［新装版］フーリエ解析（新装版）”. 紀伊國屋書店ウェブストア｜オンライン書店｜本、雑誌の通販、電子書籍ストア. 2023年2月12日閲覧。

[6] “基幹文化功労者 | 早稲田大学基幹理工学部・研究科”. 2023年2月12日閲覧。

[7] 博士論文書誌データベースによる

[oishi-8] ttp://www.oishi.info.waseda.ac.jp/~oishi/index-j.html

[9] “令和2年度文化功労者”. 文部科学省 (2020年11月3日). 2020年11月9日閲覧。

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

典拠管理データベース
全般	ISNI VIAF
国立図書館	日本
学術データベース	CiNii Books CiNii Research 2 ORCID