中尾充宏 (Mitsuhiro NAKAO) - マイポータル

基本情報

所属: 早稲田大学理工学術院総合研究所招聘研究員
: 九州大学名誉教授

学位: 理学博士(九州大学)

J-GLOBAL ID: 200901073323647211
researchmap会員ID: 1000043123

研究キーワード

研究分野

経歴

2018年4月 - 現在

早稲田大学招聘研究員
2010年4月 - 現在

九州大学, 名誉教授 (名誉教授)
2016年12月 - 2018年3月

早稲田大学, 理工学術院総合研究所, 研究院教授（上級研究員）
2010年4月 - 2016年3月

佐世保工業高等専門学校長
2007年4月 - 2010年3月

九州大学産業技術数理研究センター長
2009年5月

九州大学主幹教授
2003年8月 - 2008年3月

21世紀COEプログラム「機能数理学の構築と展開」拠点リーダー
2002年7月 - 2006年7月

九州大学大学院数理学研究院長, 大学院数理学府長
1994年6月

九州大学教授（大学院数理学研究科, 2000年4 月より数理学研究院）
1988年10月

九州大学助教授（理学部）
1982年4月

九州工業大学講師（工学部）, 1984 年10 月同助教授
1980年1月

九州大学助手（理学部）
1974年4月

日本電信電話公社（現NTT）横須賀電気通信研究所研究員

学歴

委員歴

2011年 - 現在

日本応用数理学会フェロー
2014年 - 2022年3月

科学技術振興機構 CREST 「現代の数理科学と連携するモデリング手法の構築」領域アドバイザー
2006年 - 2017年

日本学術会議連携会員
2008年 - 2013年

井上科学振興財団選考委員会委員
2008年 - 2012年

-: 日本数学会教育研究資金問題検討委員会委員
2012年

大学評価・学位授与機構外部検証委員会委員
2007年 - 2011年

-: 京都大学数理解析研究所運営委員
1999年 - 2002年

-: 文部科学省理学視学委員

受賞

2014年4月

Prizes for Science and Technology, Research Category, Ministry of Education, Culture, Sports, Science and Technology

NAKAO Mitsuhiro T
2014年4月

文部科学大臣表彰科学技術賞（研究部門）

中尾充宏
2012年9月

Autumn Prize, The Mathematical Society of Japan

NAKAO Mitsuhiro T
2012年9月

日本数学会賞秋季賞
2011年9月

日本応用数理学会論文賞（JJIAM部門)
2007年12月

「ナイスステップな研究者」選定（文部科学省科学技術政策研究所）

論文

Constructive error estimates for a full-discretized periodic solution of heat equation by spatial finite-element and time spectral method

Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao

Computers & Mathematics with Applications 181 248-258 2025年3月
Constructive error estimates for a full-discretized periodic solution of heat equation by spatial finite-element and time spectral method

Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao

Computers and Mathematics with Applications 181 248-258 2025年3月1日
Inclusion method of optimal constant with quadratic convergence for $H_0^1$-projection error estimates and its applications

Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Journal of Computational and Applied Mathematics 417 114521-114521 2023年1月査読有り
Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces

Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

JOURNAL OF SCIENTIFIC COMPUTING 94(2) 2023年1月
Rigorous numerical inclusion of the blow-up time for the Fujita-type equation

Makoto Mizuguchi, Kouta Sekine, Kouji Hashimoto, Mitsuhiro T. Nakao, Shin’ichi Oishi

Japan Journal of Industrial and Applied Mathematics 40(1) 665-689 2022年11月5日査読有り
On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

Acta Cybernetica 26(1) 71-82 2022年9月2日
Computer-assisted proof for the stationary solution existence of the Navier–Stokes equation over 3D domains

Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi

Communications in Nonlinear Science and Numerical Simulation 108 2022年5月
Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation

Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao

Computational Methods in Applied Mathematics 2022年5月
A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems

Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi, Masahide Kashiwagi

Applied Numerical Mathematics 169 87-107 2021年11月査読有り
Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation

Makoto Mizuguchi, Mitsuhiro T. Nakao, Kouta Sekine, Shin’ichi Oishi

Journal of Scientific Computing 89(2) 2021年11月査読有り
Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations

Xuefeng Liu, Mitsuhiro T. Nakao, Chun’guang You, Shin’ichi Oishi

Japan Journal of Industrial and Applied Mathematics 38(2) 545-559 2021年6月
Numerical verification methods for a system of elliptic PDEs, and their software library

Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi

IEICE NONLINEAR THEORY AND ITS APPLICATIONS 12(1) 41-74 2021年査読有り
A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator

Kouta Sekine, Mitsuhiro T. Nakao, Shin’ichi Oishi

Numerische Mathematik 146(4) 907-926 2020年10月査読有り
Numerical Verification of Solutions for Nonlinear Parabolic Problems

Kouji Hashimoto, Takehiko Kinoshita, Mitsuhiro T. Nakao

Numerical Functional Analysis and Optimization 41(12) 1495-1514 2020年9月9日
Some improvements of invertibility verifications for second-order linear elliptic operators

Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

Applied Numerical Mathematics 154 36-46 2020年8月
Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

Journal of Computational and Applied Mathematics 369 112561-112561 2020年5月
Constructive error estimates for full discrete approximation of periodic solution for heat equation

Takuma Kimura, Teruya Minamoto, Mitsuhiro T. Nakao

Journal of Computational and Applied Mathematics 368 2020年4月1日査読有り
Constructive error analysis of a full-discrete finite element method for the heat equation

Hashimoto Kouji, Kimura Takuma, Minamoto Teruya, Nakao Mitsuhiro T

JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS 36(3) 777-790 2019年9月査読有り
An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space

Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao

Japan Journal of Industrial and Applied Mathematics 36(2) 407-420 2019年7月査読有り
An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces

Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao

Journal of Differential Equations 266(9) 5431-5447 2019年4月査読有り

もっとみる

MISC

有限要素法の構成的誤差評価とその計算機援用証明への応用 (現象解明に向けた数値解析学の新展開(2))

中尾充宏

数理解析研究所講究録 (2037) 54-56 2017年7月
放物型方程式の全離散近似解に対するオーダー最良な構成的誤差評価について

木村拓馬, 皆本晃弥, 中尾充宏

日本応用数理学会年会講演予稿集(CD-ROM) 2015 ROMBUNNO.9GATSU9NICHI,09:30,G, 2015年9月2日
Numerical verification method of solutions for nonlinear elliptic and evolutional problems (Mathematical Analysis of Viscous Incompressible Fluid : RIMS研究集会報告集)

中尾充宏

数理解析研究所講究録 1905 112-131 2014年7月
［short invited paper］放物型問題の解の検証における計算上の注意

木村拓馬, 木下武彦, 中尾充宏

ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集 2013(2013) 122-122 2013年1月8日
偏微分方程式の解に対する精度保証付き数値計算

数学 65 113-132 2013年査読有り招待有り
数値シミュレーションの品質保証(総括,<小特集>数値シミュレーションの品質保証)

中尾充宏

シミュレーション 31(3) 133-135 2012年9月15日
放物型初期境界値問題の数値解に対する精度保証について (科学技術計算における理論と応用の新展開)

中尾充宏, 木村拓馬, 木下武彦

数理解析研究所講究録 1791(1791) 112-121 2012年4月
常微分方程式の初期値問題に対する数値解の意外な挙動について (科学技術計算における理論と応用の新展開)

木村拓馬, 中尾充宏

数理解析研究所講究録 1791(1791) 196-205 2012年4月
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems

Mitsuhiro T. Nakao, Takehiko Kinoshita, Takuma Kimura

COMPUTING 94(2-4) 151-162 2012年3月
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems

Mitsuhiro T. Nakao, Takehiko Kinoshita, Takuma Kimura

Computing 94(2-4) 151-162 2012年3月
線形化逆作用素を用いた非線形常微分方程式系に対する解の検証方法について

木下武彦, 木村拓馬, 中尾充宏

日本応用数理学会年会講演予稿集(CD-ROM) 2012 259-260 2012年
放物型初期値境界値問題に対する計算機援用証明について

木村拓馬, 木下武彦, 中尾充宏

日本応用数理学会年会講演予稿集(CD-ROM) 2012 291-292 2012年
A numerical verification method for a periodic solution of a delay differential equation

Teruya Minamoto, Mitsuhiro T. Nakao

Journal of Computational and Applied Mathematics 235(3) 870-878 2010年12月1日
Delayed Feedback制御に基づくレスラー方程式の周期軌道に対する数値的検証法について (数値解析と数値計算アルゴリズムの最近の展開)

皆本晃弥, 中尾充宏

数理解析研究所講究録 1719 97-105 2010年11月
無限次元固有値問題に対する固有値の非存在証明

渡部善隆, 長藤かおり, Plum Michael, 中尾充宏

数理解析研究所講究録: 数値解析と数値計算アルゴリズムの最近の展開 1719 118-129 2010年11月
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems (vol 43, pg 388, 2010)

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim

JOURNAL OF SCIENTIFIC COMPUTING 44(1) 107-107 2010年7月
Special Issue on State of the Art in Self-Validating Numerical Computations Preface

Mitsuhiro T. Nakao, Shin'ichi Oishi

JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS 26(2-3) 123-124 2009年10月
偏微分方程式の解に対する数値的存在検証-研究の原点とその展開-

中尾充宏

Fundamentals Review 2(3) 19-28 2009年
A numerical verification method for solutions of nonlinear parabolic problems

Nakano Mitsuhiro T., Hashimoto Kouji

JMI 1 69-72 2009年
A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow

Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao

ZAMM-ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK 89(1) 5-18 2009年1月

もっとみる

書籍等出版物

Numerical verification methods and computer-assisted proofs for partial differential equations

中尾, 充宏, Plum, Michael, 渡部, 善隆 (担当:共著)

Springer 2019年11月 (ISBN: 9789811376689)
実例で学ぶ精度保証付き数値計算---理論と実装---

サイエンス社 2011年10月
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年
Numerical verification methods for solutions of free boundary problems

Proceedings of MSCOM Yamaguchi, 2000, LNCSE, Springer-Verlag 2001年
A guaranteed bound of the optimal constant in the error estimates for linear triangular element Part

Proceedings Volume for Invited Lectures of SCAN 2000, Springer-Verlag 2001年
精度保証付き数値計算

日本評論社 1998年
Guaranteed error bounds for finite element solutions of the Stokes problem

Scinetific computing and validated numerics 1996年
Computable L∞ error estimates in the finite element method with application to nonlinear elliptic problems

World Scientific Series in Appliable Analysis 1993年
Computable error estimates for FEM and numerical verifications of solutions for nonlinear PDEs

Computational and Applied Mathematics I (North-Holland) 1992年

所属学協会

共同研究・競争的資金等の研究課題

3次元領域におけるレイノルズ数の大きい流れの計算機援用証明

日本学術振興会科学研究費助成事業基盤研究(B) 2021年4月 - 2025年3月

劉雪峰, 中尾充宏, 渡部善隆, 荻田武史, 小林健太, 関根晃太
偏微分方程式の解に対する数値的検証法の新たな高度化の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2024年3月

中尾充宏
無限次元精度保証付き数値計算の新展開に向けての基礎的研究

日本学術振興会科学研究費助成事業基盤研究(C) 2018年4月 - 2022年3月

中尾充宏
無限次元非線形数理モデルに対する高精度数値的検証理論の構築

日本学術振興会科学研究費助成事業基盤研究(C) 2015年4月 - 2018年3月

中尾充宏, 渡部善隆, 木村拓馬, 木下武彦
非線形発展方程式の解に対する精度保証付き数値計算法

日本学術振興会科学研究費助成事業基盤研究(C) 2012年4月 - 2015年3月

中尾充宏, 木村拓馬, 渡部善隆, 木下武彦
精度保証付き数値計算による無限次元逆作用素の最適評価とその応用

日本学術振興会科学研究費助成事業基盤研究(B) 2012年4月 - 2015年3月

渡部善隆, 長藤かおり, 中尾充宏
非線形現象解明に向けた計算機援用解析学の構築

日本学術振興会科学研究費助成事業基盤研究(S) 2008年 - 2011年

中尾充宏, 栄伸一郎, 田端正久, 長藤かおり, 村重淳, 山本野人, 渡部善隆, 大石進一
無限多倍長数値計算環境における高精度数値計算法の確立とその逆問題解析への適用

日本学術振興会科学研究費助成事業基盤研究(B) 2007年 - 2009年

磯祐介, 西村直志, 山本裕, 杉本直三, 藤原宏志, 東森信就, 今井仁司, 西田孝明, 大西和榮, 山本昌宏, 西田詩, 松田哲也, 岡本久, 坂上貴之, 中村玄, 田沼一実, 代田健二, 中尾充宏, 友枝謙二
流れ問題のための高品質数値解法の開発と解析とシミュレーション

日本学術振興会科学研究費助成事業基盤研究(S) 2004年 - 2008年

田端正久, 中尾充宏, 中木達幸, 渡部善隆, 木村正人, 長藤かおり, 鈴木厚
非線形系の大域理論に向けての応用解析学的研究

日本学術振興会科学研究費助成事業基盤研究(B) 2005年 - 2007年

西田孝明, 中尾充宏, 国府寛司, 川中子正, 田中和永
数値処理と数式処理の融合による計算機援用解析学の可能性に関する基礎的研究

日本学術振興会科学研究費助成事業萌芽研究 2005年 - 2007年

中尾充宏, 吉川敦, 横山和弘
数値的検証法から計算機援用解析学の構築へ向けての総合的研究

日本学術振興会科学研究費助成事業基盤研究(A) 2003年 - 2006年

中尾充宏, 田端正久, 今井仁司, 土屋卓也, 西田孝明, 陳小君, 大石進一
非線形系の応用解析学的研究

日本学術振興会科学研究費助成事業基盤研究(B) 2002年 - 2004年

西田孝明, 國府寛司, 川中子正, 中尾充宏, 小薗英雄, 松村昭考, 池田勉, 増田久弥, 岡本久
記号・代数計算による最適化問題解法と定理自動証明の研究

日本学術振興会科学研究費助成事業萌芽研究 2002年 - 2003年

横山和弘, 吉川敦, 鈴木昌和, 中尾充弘, 穴井宏和
計算機による解析学創設の可能性に関する基礎的研究

日本学術振興会科学研究費助成事業萌芽研究 2001年 - 2003年

中尾充宏, 渡部善隆, 吉川敦
高性能大規模計算に即した数値解析の構築

日本学術振興会科学研究費助成事業基盤研究(A) 2001年 - 2003年

田端正久, 金山寛, 牛島照夫, 今井仁司, 中尾充宏, 菊地文雄, 友枝謙二, 大塚厚二
精度保証付き数値計算法の新展開を目ざしての総合的研究

日本学術振興会科学研究費助成事業基盤研究(B) 2001年 - 2002年

中尾充宏, 大石進一, 今井仁司, 磯祐介, 山本哲朗, 西田孝明
遅い流れの熱対流問題を解く実用的計算コードの作成

日本学術振興会科学研究費助成事業基盤研究(B) 1999年 - 2001年

田端正久, 福本康秀, 本多了, 中尾充宏, 鈴木厚, 山本野人
偏微分方程式に対する非標準的な有限要素近似解法の研究

日本学術振興会科学研究費助成事業基盤研究(B) 1999年 - 2001年

加古孝, 田端正久, 河原田秀夫, 大塚厚二, 張紹良, 中尾充宏, 竹田辰興, 牛島照夫, 菊地文雄
保存系の計算数理の総合的研究

日本学術振興会科学研究費助成事業基盤研究(A) 1999年 - 2001年

三井斌友, 杉原正顯, 小藤俊幸, 小澤一文, 吉田春夫, 前田茂, 中尾充宏, 伊藤利明, 三好哲彦

もっとみる

中尾充宏

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

受賞

論文

MISC

書籍等出版物

所属学協会

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧