研究者
J-GLOBAL ID：200901073323647211   更新日: 2024年01月31日

中尾 充宏

ナカオ ミツヒロ | NAKAO Mitsuhiro
所属機関・部署：
早稲田大学 理工学術院総合研究所

早稲田大学 理工学術院総合研究所 について


職名： 招聘研究員
その他の所属（所属・部署名・職名） (1件)：
  • 九州大学  名誉教授
研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
研究キーワード (8件)： 解析学における計算機援用証明 ,  偏微分方程式の解に対する数値的検証法 ,  有限要素法の誤差解析 ,  近似解の事後誤差評価 ,  偏微分方程式の数値解法 ,  精度保証付き数値計算 ,  計算数学 ,  Computational Mathematics
競争的資金等の研究課題 (58件)：
  • 2021 - 2025 3次元領域におけるレイノルズ数の大きい流れの計算機援用証明
  • 2021 - 2024 偏微分方程式の解に対する数値的検証法の新たな高度化の研究
  • 2018 - 2022 無限次元精度保証付き数値計算の新展開に向けての基礎的研究
  • 2015 - 2018 無限次元非線形数理モデルに対する高精度数値的検証理論の構築
  • 2012 - 2015 非線形発展方程式の解に対する精度保証付き数値計算法
全件表示
論文 (71件)：
  • Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao. Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications. Journal of Computational and Applied Mathematics. 2023. 417. 114521-114521
  • Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao. Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces. JOURNAL OF SCIENTIFIC COMPUTING. 2023. 94. 2
  • 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
  • Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao. On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators. Acta Cybernetica. 2022. 26. 1. 71-82
  • 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
もっと見る
MISC (90件)：
もっと見る
書籍 (11件)：
  • Numerical verification methods and computer-assisted proofs for partial differential equations
    Springer 2019 ISBN:9789811376689
  • 実例で学ぶ精度保証付き数値計算---理論と実装---
    サイエンス社 2011
  • State of the Art for Self-Validating Numerical Computations, Special Issue of Japan Journal of Industrial and Applied Mathematics 26-2/3.
    Kinokuniya, Tokyo 2009
  • 偏微分方程式から数値シミュレーションへ/計算の信頼性評価, 現代技術への数学入門シリーズ
    講談社 2008
  • Special Issue: Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004)
    Journal of Computational and Applied Mathematics 199/2, Elsevier, 2007
もっと見る
学歴 (4件)：
  • 1984 - 理学博士(九州大学)
  • 1974 - 九州大学大学院 理学研究科 数学専攻修士課程修了
  • 1972 - 九州大学理学部数学科卒業
  • 1968 - 国立佐世保工業高等専門学校機械工学科卒業
学位 (1件)：
  • 理学博士 (九州大学)
経歴 (13件)：
  • 2018/04 - 現在 早稲田大学 招聘研究員
  • 2010/04 - 現在 九州大学 名誉教授
  • 2016/12 - 2018/03 早稲田大学 理工学術院総合研究所 研究院教授(上級研究員)
  • 2010/04 - 2016/03 佐世保工業高等専門学校長
  • 2007/04 - 2010/03 九州大学産業技術数理研究センター長
全件表示
委員歴 (8件)：
  • 2011 - 現在 日本応用数理学会フェロー
  • 2014 - 2022/03 科学技術振興機構 CREST 「現代の数理科学と連携するモデリング手法の構築」 領域アドバイザー
  • 2006 - 2017 日本学術会議連携会員
  • 2008 - 2013 井上科学振興財団選考委員会委員
  • 2008 - 2012 -: 日本数学会教育研究資金問題検討委員会委員
全件表示
受賞 (6件)：
  • 2014/04 - Prizes for Science and Technology, Research Category, Ministry of Education, Culture, Sports, Science and Technology
  • 2014/04 - 文部科学大臣表彰科学技術賞(研究部門)
  • 2012/09 - Autumn Prize, The Mathematical Society of Japan
  • 2012/09 - 日本数学会賞秋季賞
  • 2011/09 - 日本応用数理学会論文賞(JJIAM部門)
全件表示
所属学会 (3件)：
情報処理学会 ,  日本応用数理学会 ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM