■ 研究室
|
■ 学位
1. |
2011/04~2014/03
|
早稲田大学 基幹理工学研究科 数学応用数理専攻 博士課程修了 博士(工学)
|
|
■ 専門分野
キーワード:数値解析、精度保証付き数値計算、計算機援用証明
|
|
■ メールアドレス
|
■ 所属学会
1.
|
|
日本応用数理学会
|
2.
|
2022/06~
|
∟ 理事
|
|
■ 著書・論文・作品
1.
|
著書
|
The Art of High Performance Computing for Computational Science, Vol. 1: Techniques of speedup and parallelization for genereal purposes (共著) 2019/05
|
2.
|
著書
|
精度保証付き数値計算の基礎 (共著) 2018/07
|
3.
|
著書
|
計算科学のためのHPC技術 (共著) 2017/03
|
4.
|
論文
|
抽象的なHilbert空間の有限次元部分空間への直交射影の誤差に対する最良定数 日本応用数理学会論文誌 34(1),19-32頁 (共著) 2024/03/25
|
5.
|
論文
|
連立遅延エルニーニョ方程式における分数調波解の存在の計算機援用証明 日本応用数理学会論文誌 34(1),1-18頁 (共著) 2024/03/25
|
6.
|
論文
|
外力項を加えた池田遅延微分方程式における分数調波解の精度保証付き数値計算 日本応用数理学会論文誌 33(4),132-148頁 (共著) 2023/12/25
|
7.
|
論文
|
Rigorous numerical inclusion of the blow-up time for the Fujita-type equation Japan Journal of Industrial and Applied Mathematics 40(1),pp.665-689 (共著) 2023/01
|
8.
|
論文
|
Rigorous Numerical Enclosures for Positive Solutions of Lane-Emden's Equation with Sub-Square Exponents NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION 43(3),pp.322-349 (共著) 2022/04
|
9.
|
論文
|
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems Computers & Mathematics with Applications 106,pp.18-26 (共著) 2022/01
|
10.
|
論文
|
A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems Applied Numerical Mathematics 169,pp.87-107 (共著) 2021/11
|
11.
|
論文
|
Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation Journal of Scientific Computing 89(2) (共著) 2021/09
|
12.
|
論文
|
Inclusion of periodic solutions for forced delay differential equation modeling El Niño Nonlinear Theory and Its Applications, IEICE 12(3),pp.575-610 (共著) 2021
|
13.
|
論文
|
Numerical verification methods for a system of elliptic PDEs, and their software library Nonlinear Theory and Its Applications, IEICE 12(1),pp.41-74 (共著) 2021
|
14.
|
論文
|
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 Numerische Mathematik 146(4),pp.907-926 (共著) 2020
|
15.
|
論文
|
偏微分方程式の解の計算機援用存在証明法のためのC++を用いた精度保証付き数値計算ライブラリの構築 情報処理学会プログラミング・シンポジウム予稿集 59th (単著) 2018
|
16.
|
論文
|
Numerical verification method for positivity of solutions to elliptic equations (現象解明に向けた数値解析学の新展開(2)) 数理解析研究所講究録 (2037),pp.125-140 (共著) 2017/07
|
17.
|
論文
|
ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 (現象解明に向けた数値解析学の新展開(2)) 数理解析研究所講究録 (2037),96-105頁 (共著) 2017/07
|
18.
|
論文
|
Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains Journal of Inequalities and Applications 2017(1),pp.1-18 (共著) 2017
|
19.
|
論文
|
Sharp numerical inclusion of the best constant for embedding H<inf>0</inf>1(Ω)↪Lp(Ω) on bounded convex domain Journal of Computational and Applied Mathematics 311,pp.306-313 (共著) 2017
|
20.
|
論文
|
有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法 Proceedings of the Twenty-Eighth RAMP Symposium (共著) 2016/10
|
21.
|
論文
|
Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator Journal of Inequalities and Applications 2015(1),pp.1-23 (共著) 2015
|
22.
|
論文
|
Improved error bounds for linear systems with H-matrices Nonlinear Theory and Its Applications, IEICE 6(3),pp.377-382 (共著) 2015
|
23.
|
論文
|
Numerical verification of positiveness for solutions to semilinear elliptic problems JSIAM Letters 7(0),pp.73-76 (共著) 2015
|
24.
|
論文
|
An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations Nonlinear Theory and Its Applications, IEICE 5(1),pp.64-79 (共著) 2014
|
25.
|
論文
|
Fast verified solutions of sparse linear systems with H-matrices Reliable Computing 19(2),pp.127-141 (共著) 2013
|
5件表示
|
全件表示(25件)
|
|
■ 研究題目
1. |
2023/04~2026/03
|
関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発 基盤研究(C)
|
|
■ ホームページ
|
■ 委員会・協会等
1. |
2022/04/01~ |
日本応用数理学会 ネットワーク委員会 委員長
|
2. |
2021/04/01~ |
日本応用数理学会 研究部会 若手の会 幹事
|
3. |
2017/04/01~ |
日本応用数理学会 ネットワーク委員会 委員
|
|