研究者
J-GLOBAL ID:200901071730747074   更新日: 2024年02月14日

大石 進一

オオイシ シンイチ | Oishi Shinichi
所属機関・部署:
職名: 教授
ホームページURL (1件): http://www.oishi.info.waseda.ac.jp/~oishi
研究分野 (4件): 通信工学 ,  情報学基礎論 ,  応用数学、統計数学 ,  数学基礎
研究キーワード (1件): 数値数学、応用数学、計算理論、非線形理論・回路、情報理論、精度保証付き数値計算
競争的資金等の研究課題 (24件):
  • 2015 - 2018 非線形放物型方程式に対する解の精度保証付き数値計算理論の研究
  • 2008 - 2011 非線形現象解明に向けた計算機援用解析学の構築
  • 2008 - 2010 デジタル解析学の構築
  • 2005 - 2009 精度保証付き数値計算学の確立
  • 2003 - 2006 数値的検証法から計算機援用解析学の構築へ向けての総合的研究
全件表示
論文 (255件):
  • 中野 夏樹, 関根 晃太, 大石 進一. 外力項を加えた池田遅延微分方程式における分数調波解の精度保証付き数値計算. 日本応用数理学会論文誌. 2023. 33. 4. 132-148
  • Makoto Mizuguchi, Kouta Sekine, Kouji Hashimoto, Mitsuhiro T. Nakao, Shin’ichi Oishi. Rigorous numerical inclusion of the blow-up time for the Fujita-type equation. Japan Journal of Industrial and Applied Mathematics. 2022. 40. 1. 665-689
  • Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi. Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains. Communications in Nonlinear Science and Numerical Simulation. 2022. 108
  • Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, Shin'ichi Oishi. Rigorous Numerical Enclosures for Positive Solutions of Lane-Emden's Equation with Sub-Square Exponents. NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION. 2022. 43. 3. 322-349
  • Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi. Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems. Computers & Mathematics with Applications. 2022. 106. 18-26
もっと見る
MISC (70件):
  • Tanaka Kazuaki, Sekine Kouta, Oishi Shin'ichi. Numerical verification method for positivity of solutions to elliptic equations (現象解明に向けた数値解析学の新展開(2)). 数理解析研究所講究録. 2017. 2037. 125-140
  • Tanaka Kazuaki, Sekine Kouta, Oishi Shin'ichi. Numerical verification method for positivity of solutions to elliptic equations (現象解明に向けた数値解析学の新展開(2)). 数理解析研究所講究録. 2017. 2037. 125-140
  • 関根 晃太, 田中 一成, 大石 進一. ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 (現象解明に向けた数値解析学の新展開(2)). 数理解析研究所講究録. 2017. 2037. 96-105
  • Yanagisawa Yuka, Ogita Takeshi, Oishi Shin'ichi. A modified algorithm for accurate inverse Cholesky factorization (応用数理と計算科学における理論と応用の融合). 数理解析研究所講究録. 2016. 2005. 56-64
  • 小林領, 木村拓馬, 大石進一, 大石進一. カントロビッチの定理を用いた凸二次計画問題の精度保証. 日本応用数理学会年会講演予稿集(CD-ROM). 2015. 2015. ROMBUNNO.9GATSU9NICHI,13:30,G,
もっと見る
書籍 (10件):
  • 回路理論
    コロナ社 2013 ISBN:9784339008494
  • 待ち行列理論
    コロナ社 2003
  • MATLABによる数値計算
    培風館 2001
  • 数値計算ツール
    コロナ社 2001
  • 微積分とモデリングの数理
    朝倉書店 2001
もっと見る
学歴 (2件):
  • - 1981 早稲田大学 理工学研究科 電気工学
  • - 1976 早稲田大学 理工学部 電子通信学科
学位 (3件):
  • 工学博士 (早稲田大学)
  • Dr. eng
  • 博士(工学) (早稲田大学)
経歴 (8件):
  • 2010/09 - 2014/09 早稲田大学理工学術院基幹理工学部長・基幹理工学研究科長
  • 2014/09 - 現在 早稲田大学 理工学術院 学術院長
  • 1989 - 早稲田大学理工学部電子通信学科 教授
  • 1984 - 1985 早稲田大学理工学部 助教授
  • 1984 - 1985 早稲田大学理工学部情報学科 教授
全件表示
委員歴 (2件):
  • IEICE Trans. Fundamentals Editor
  • IEICE Nonlinear Theory and its Applications Editor in Chief
受賞 (15件):
  • 2020/11 - 文部科学省 文化功労者 精度保証付計算法と無誤差変換という画期的な数値計算法を編み出した.
  • 2013/06 - 日本応用数理学会フェロー
  • 2012/04 - Best Paper Award, Nonlinear Theory and Its Applications , IEICE
  • 2012/04 - 紫綬褒章
  • 2012/03 - 日本応用数理学会業績賞
全件表示
所属学会 (3件):
日本シミュレーション学会 ,  日本応用数理学会 ,  電子情報通信学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る