研究者番号 |
80732239
|
その他のID |
|
所属 (現在) |
2024年度: 千葉工業大学, 情報変革科学部, 准教授
|
所属 (過去の研究課題情報に基づく) *注記 |
2021年度 – 2023年度: 千葉工業大学, 情報科学部, 准教授
2017年度 – 2018年度: 東洋大学, 情報連携学部, 助教
2016年度: 早稲田大学, 理工学術院, 助教
|
審査区分/研究分野 |
- 研究代表者
-
小区分12040:応用数学および統計数学関連 /
数学基礎・応用数学
- 研究代表者以外
-
小区分12040:応用数学および統計数学関連
|
キーワード |
- 研究代表者
-
計算機援用証明法 / 関数方程式 / 解の非存在証明 / 精度保証数値計算 / 応用数学 / 分数冪 / 連立非線形楕円型偏微分方程式 / ラプラス作用素の分数冪 / 固有値問題 / 線形化作用素
… もっと見る
/ 計算機援用存在証明法 / 数値解析 / 楕円型偏微分方程式 / 精度保証付き数値計算
… もっと見る
- 研究代表者以外
-
有限要素法 / 並列計算 / 鞍点型の固有値問題 / 非自己共役作用素 / 計算機援用証明法 / ナビエ・ストークス方程式の定常解 / Hypercircle法 / Divergence-free条件 / 精度保証付き数値計算 / 固有値問題の厳密評価 / 厳密計算ライブラリ / 計算機援用証明 / ナビエ・ストークス方程式
隠す
|