大石進一のソースを表示

{{Infobox Scientist
|name = 大石 進一
|native_name = おおいし しんいち
|image = Shinichi Oishi cropped 1 Shinichi Oishi 202011.jpg
|image_width = 200px
|alt = 文化功労者顕彰に際して公表された肖像写真
|caption = 文化功労者顕彰に際して<br />公表された肖像写真
|birth_name =
|birth_date = {{生年月日と年齢|1953|5|9}}
|birth_place ={{JPN}}・[[静岡県]][[浜松市]]
|death_date =
|death_place =
|death_cause =
|residence = {{JPN}}
|citizenship =
|nationality = {{JPN}}
|field = [[数学]]
|workplaces = [[早稲田大学]]
|alma_mater = [[早稲田大学高等学院・中学部|早稲田大学高等学院]]卒業<br />[[早稲田大学]][[理工学部]]卒業<br />早稲田大学[[大学院]][[理工学研究科]][[博士前期課程]]修了<br />早稲田大学大学院理工学研究科[[博士後期課程]]修了
|doctoral_advisor =
|academic_advisors =
|doctoral_students = 柏木雅英<br />尾崎克久<br />荻田武史<br />山中脩也<br />高安亮紀<br />関根晃太<br />森倉悠介
|notable_students =
|known_for = 精度保証付き数値計算<br />INTLABの開発に協力
|influences =
|influenced =
|awards = [[小野梓記念賞]]<br />[[大川出版賞]]<br />[[日本応用数理学会]]論文賞<br />[[日本応用数理学会]]業績賞<br />[[電子情報通信学会]]論文賞<br />[[電気通信普及財団]]テレコムシステム技術賞
|author_abbreviation_bot =
|author_abbreviation_zoo =
|signature =
|signature_alt =
|footnotes =
}}
'''大石 進一'''（おおいし しんいち、[[1953年]][[5月9日]] - ）は、[[日本]]の[[数学者]]（[[応用数学]]）。学位は、[[博士（工学）|工学博士]]（[[早稲田大学]]・1981年）。[[早稲田大学理工学術院|早稲田大学]]栄誉フェロー。[[文化功労者]]。

[[早稲田大学]][[理工学部]]教授、[[早稲田大学大学院基幹理工学研究科・基幹理工学部|早稲田大学基幹理工学部]]学部長、早稲田大学理工学術院学術院長などを歴任した。

== 概要 ==
1953年5月9日生まれの日本の応用数学者である。[[ソリトン]]、ホモトピー法などの非線形の構成的解析の研究を経て、1990年より[[精度保証付き数値計算]]の研究に従事し<ref>大石進一、「[https://doi.org/10.1587/essfr.2.2_9 なぜ精度保証付き数値計算の研究を追求したか -私の研究の原点-]」『電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review』 2008年 2巻 2号 p.2_9-2_19, {{doi|10.1587/essfr.2.2_9}}, 電子情報通信学会</ref>、[[文部科学省]][[科学研究費助成事業|科研費]]の特別推進研究や3度にわたる[[科学技術振興機構|JST]] CREST<ref>[https://www.jst.go.jp/kisoken/crest/en/ Core Research for Evolutional Science and Technology]</ref>の研究費をはじめとして国から大きな支援を受けた<ref>『[[精度保証付き数値計算]]の基礎』 コロナ社 2018/7発行</ref>。2012年[[紫綬褒章]]受章<ref>[https://www.waseda.jp/top/news/6307 大石進一理工学術院教授が紫綬褒章を受章 精度保証付き数値計算の研究が高く評価されました]</ref>。2014年9月より[[早稲田大学]]理工学術院長。早稲田大学理工学術院基幹理工学部応用数理学科元教授。2024年4月より早稲田大学栄誉フェロー。

== 来歴 ==
[[ファイル:Shinichi Oishi and Hinako Yokota 20201104.jpg|thumb|left|200px|2020年11月4日、[[文化功労者]]顕彰式にて[[文部科学副大臣]][[高橋比奈子|横田比奈子]]（右）から顕彰状を受領]]
[[静岡県]][[浜松市]]生まれ<ref>{{Cite web|和書|title=理工系の数学入門コース［新装版］ フーリエ解析 （新装版） |url=https://www.kinokuniya.co.jp/f/dsg-01-9784000298889 |website=紀伊國屋書店ウェブストア｜オンライン書店｜本、雑誌の通販、電子書籍ストア |access-date=2023-02-12 |language=ja}}</ref>。1972年3月[[早稲田大学高等学院・中学部|早稲田大学高等学院]]卒業<ref>{{Cite web|和書|title=基幹文化功労者 {{!}} 早稲田大学 基幹理工学部・研究科 |url=https://www.fse.sci.waseda.ac.jp/cultural-merit/ |access-date=2023-02-12 |language=ja}}</ref>、1976年3月[[早稲田大学理工学術院|早稲田大学理工学部]]電子通信学科卒業、1978年3月[[早稲田大学]][[早稲田大学#学術院|大学院]][[理工学研究科]][[大学院#修士課程・博士前期課程|博士前期課程]]修了、1981年3月[[早稲田大学]][[早稲田大学#学術院|大学院]][[理工学研究科]][[大学院#博士後期課程・後期3年博士課程|博士後期課程]]修了。[[博士（工学）|工学博士]]（[[早稲田大学]]）。[[論文#学位請求論文|学位論文]]の題は「非線形信号伝送系における波動伝搬に関する研究 : [[ソリトン]]波及びその周辺に関する解析」<ref>博士論文書誌データベースによる</ref>。

1980年4月早稲田大学[[早稲田大学理工学部|理工学部]]助手、1982年4月早稲田大学理工学部[[講師 (教育)#高等教育|専任講師]]、1984年4月早稲田大学助教授、1989年4月早稲田大学教授、2010年9月[[早稲田大学]][[早稲田大学理工学術院|理工学術院]]基幹理工学部長、2014年9月[[早稲田大学理工学術院|理工学術院]]長<ref name="oishi">http://www.oishi.info.waseda.ac.jp/~oishi/index-j.html</ref>

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

== 栄典 ==
* 2012年[[紫綬褒章]]受章
* 2020年[[文化功労者]]<ref>{{Cite web|和書|date=2020-11-03 |url=https://www.mext.go.jp/b_menu/houdou/2020/attach/1422025_00001.htm |title=令和2年度 文化功労者 |publisher=文部科学省 |accessdate=2020-11-09}}</ref>

== 学術団体会員 ==
*[[電子情報通信学会]]フェロー
*[[日本応用数理学会]]フェロー

==著書==
* 『精度保証付き数値計算の基礎』 [[コロナ社 (出版社)|コロナ社]] 2018/7発行 (柏木雅英, 尾崎克久, 荻田武史, 山中脩也, 高安亮紀, 関根晃太, 森倉悠介, S. Rump と共著)
* [[計算科学]]のための[[高性能計算|HPC]]技術1, 下司雅章 編／片桐孝洋，中田真秀，渡辺宙志，山本有作，吉井範行，Jaewoon Jung，杉田有治，石村和也，大石進一，関根晃太，森倉悠介，黒田久泰 著, {{ISBN2|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. [[:en:Experimental Mathematics (journal)|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, 大石進一、「[https://doi.org/10.11540/jsiamt.15.3_269 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, <特集>平成17年研究部会連合発表会)]」『日本応用数理学会論文誌』 2005年 15巻 3号 p.269-286, 日本応用数理学会
* 尾崎克久, 荻田武史, 大石進一、「[https://doi.org/10.11540/bjsiam.21.3_186 有向丸めの変更を使用しないタイトな行列積の包含方法]」『応用数理』 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 <math>P_0</math> 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 (国際研究集会)|SCAN]]'02 - 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics.

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist|30em}}

==外部リンク==
* [https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-17002012/ 精度保証付き数値計算学の確立]
{{kaken|20139512}}
* {{日本の研究.com|129340}}
* {{researchmap|name=大石進一}}
* {{JGLOBAL ID|200901071730747074|大石進一}}
* {{webcat|201293|大石進一}}
* {{ResearchGate|Shinichi_Oishi}}


{{先代次代|早稲田大学理工学術院長|2014年 - 2016年|[[山川宏]]|[[竹内淳 (物理学者)|竹内淳]]}}
{{Normdaten}}
{{Academic-bio-stub}}

{{DEFAULTSORT:おおいし しんいち}}
[[Category:20世紀日本の数学者]]
[[Category:21世紀日本の数学者]]
[[Category:日本の数値解析研究者]]
[[Category:応用数学]]
[[Category:工学博士取得者]]
[[Category:早稲田大学の教員]]
[[Category:早稲田大学高等学院・中学部出身の人物]]
[[Category:早稲田大学出身の人物]]
[[Category:文化功労者]]
[[Category:紫綬褒章受章者]]
[[Category:1953年生]]
[[Category:存命人物]]
[[Category:数学に関する記事]]