教員詳細情報

学歴

• 2009年03月, 九州大学大学院, 数理学府, 数理学専攻, 博士課程・博士後期課程, 修了

職歴

• 2009年04月 - 2010年03月 九州大学大学院数理学研究院 研究員
• 2010年04月 - 2012年12月 京都大学数理解析研究所 研究員
• 2013年01月 - 2017年03月 京都大学学際融合教育研究推進センター 特任講師
• 2013年04月 - 2017年03月 京都大学数理解析研究所数理解析研究交流センター 特任講師
• 2014年04月 - 2015年03月 同志社大学理工学部数理システム学科 特任講師
• 2019年04月 - 2020年08月 九州大学情報基盤研究開発センター 特任准教授
• 2020年09月 - 継続中 佐賀大学理工学部理工学科 准教授

専門分野

• 数学基礎・応用数学

所属学会

• 日本数学会, 日本応用数理学会

受賞歴

• EASIAM Student Paper Competition (First Prize) （2008年10月）

現在実施している研究テーマ

• 精度保証付き数値計算

主要業績

• Inclusion method of optimal constant with quadratic convergence for $H_0^1$-projection error estimates and its applications 2023年01月

原著論文

• Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces;　2023年01月
  発表情報;　Journal of Scientific Computing, 94
  著者;　Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao
  
• Inclusion method of optimal constant with quadratic convergence for $H_0^1$-projection error estimates and its applications;　2023年01月
  発表情報;　Journal of Computational and Applied Mathematics, 417, 114521
  著者;　Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
  
• On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators;　2022年09月
  発表情報;　Acta Cybernetica
  著者;　Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
  
• Numerical verification of solutions for nonlinear parabolic problems;　2020年06月
  発表情報;　Numerical Functional Analysis and Optimization, 41, 12, 1495--1514
  著者;　Kouji Hashimoto, Takehiko Kinoshita, Mitsuhiro T. Nakao
  
• Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space;　2020年
  発表情報;　Journal of Computational and Applied Mathematics, 369, 112561
  著者;　Kinoshita, T. , Watanabe, Y. and Nakao, M. T.
  
• Some improvements of invertibility verifications for second-order linear elliptic operators;　2020年
  発表情報;　Applied Numerical Mathematics, 154, 36–46
  著者;　Watanabe, Y., Kinoshita, T. and Nakao, M. T.
  
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces;　2019年
  発表情報;　Journal of Differential Equations, 266, 9, 5431–5447
  著者;　Kinoshita, T. , Watanabe, Y. and Nakao, M. T.
  
• An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space;　2019年
  発表情報;　Japan Journal of Industrial and Applied Mathematics, 36, 2, 407–420
  著者;　Watanabe, Y., Kinoshita, T. and Nakao, M. T.
  
• Validated constructive error estimations for biharmonic problems;　2017年
  発表情報;　Reliable Computing, 25, 168–177
  著者;　Kinoshita, T. , Watanabe, Y. and Nakao, M. T.
  
• Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators;　2016年
  発表情報;　Lecture Notes in Computer Science, 9553, 225–235
  著者;　Kinoshita, T. , Watanabe, Y. and Nakao, M. T.
  
• $H^3$ and $H^4$ Regularities of the Poisson Equation on Polygonal Domains;　2016年
  発表情報;　Lecture Notes in Computer Science, 9582, 199–201
  著者;　Kinoshita, T. , Watanabe, Y. and Nakao, M. T.
  
• Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains;　2016年
  発表情報;　Japan Journal of Industrial and Applied Mathematics, 33, 3, 629–636
  著者;　Kinoshita, T. , Watanabe, Y., Yamamoto, N. and Nakao, M. T.
  
• Some considerations of the invertibility verifications for linear elliptic operators;　2015年
  発表情報;　Japan Journal of Industrial and Applied Mathematics, 32, 19–31
  著者;　Nakao, M. T., Watanabe, Y., Kinoshita, T. , Kimura, T. and Yamamoto, N.
  
• Recurrence relations of orthogonal polynomials in $H_0^1$ and $H_0^2$;　2015年
  発表情報;　Nonlinear Theory and Its Applications, 6, 3, 404–409
  著者;　Kinoshita, T. , Watanabe, Y. and Nakao, M. T.
  
• An improvement of the theorem of a posteriori estimates for inverse elliptic operators;　2014年
  発表情報;　Nonlinear Theory and Its Applications, 5, 1, 47–52
  著者;　Kinoshita, T. , Watanabe, Y. and Nakao, M. T.
  
• On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems;　2014年
  発表情報;　Numerische Mathematik, 126, 679–701
  著者;　Kinoshita, T. , Kimura, T. and Nakao, M. T.
  
• Some remarks on the instability of approximate solutions for ODEs;　2013年
  発表情報;　Nonlinear Theory and Its Applications, 4, 1, 80–87
  著者;　Kimura, T., Kinoshita, T. and Nakao, M. T.
  
• Constructive a priori error estimates for a full discrete approximation of the heat equation;　2013年
  発表情報;　SIAM Journal on Numerical Analysis, 51, 3, 1525–1541
  著者;　Nakao, M. T., Kimura, T. and Kinoshita, T.
  
• Some remarks on the optimal $L^2$ error estimates for the finite element method on the L-shaped domain;　2013年
  発表情報;　2013 10th International Conference on Information Technology: New Generations, 173–178
  著者;　Kinoshita, T. and Nakao, M. T.
  
• A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations;　2013年
  発表情報;　Mathematics of Computation, 82, 1543–1557
  著者;　Watanabe, Y., Kinoshita, T. and Nakao, M. T.
  
• On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems;　2012年
  発表情報;　Computing, 94, 151–162
  著者;　Nakao, M. T., Kinoshita, T. and Kimura, T.
  
• A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations;　2011年
  発表情報;　Journal of Computational and Applied Mathematics, 236, 6, 1622–1636
  著者;　Kinoshita, T. , Kimura, T. and Nakao, M. T.
  
• On very accurate enclosure of the optimal constant in the a priori error estimates for $H_0^2$-projection;　2010年
  発表情報;　Journal of Computational and Applied Mathematics, 234, 2, 526–537
  著者;　Kinoshita, T. and Nakao, M. T.
  
• On the $L^2$ a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator;　2009年
  発表情報;　Numerical Functional Analysis and Optimization, 30, 3-4, 289–305
  著者;　Kinoshita, T. , Hashimoto, K. and Nakao, M. T.
  
• On Verified Computations of the Optimal Constant in the a Priori Error Estimates for $H_0^2$-Projection;　2009年
  発表情報;　AIP Conference Proceedings, 1168, 926–929
  著者;　Nakao, M. T. and Kinoshita, T.
  
• On very accurate verification of solutions for boundary value problems by using spectral methods;　2009年
  発表情報;　JSIAM Letters, 1, 21–24
  著者;　Nakao, M. T. and Kinoshita, T.
  
• Some remarks on the behaviour of the finite element solution in nonsmooth domains;　2008年
  発表情報;　Applied Mathematics Letters, 21, 12, 1310–1314
  著者;　Nakao, M. T. and Kinoshita, T.