筑波大学 · システム情報系 · 准教授

研究关键词computer-assisted proofs・rigorous numerics・semilinear parabolic PDEs・orthogonal polynomials・Picard-Fuchs equations・monodromy・contour integral eigensolver・Julia language

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces2026 · 論文
• カナダ，モントリオール大学・数学研究所滞在記2025 · 論文
• A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory2025 · 論文
• Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs2025 · 論文

• 無限次元力学系に対する時間変数境界値問題の計算機援用証明の研究2026 · 日本学術振興会/科学研究費助成事業 基盤研究(B)
• 計算機援用証明によるナヴィエ-ストークス方程式の解析2025 · 科学技術振興機構/JST創発的研究支援事業
• 無限次元力学系に対する厳密な数値求積法の研究2022 · 日本学術振興会/科学研究費補助金 基盤研究(C)
• 無限次元力学系に対する計算機援用証明を通した国際共同研究2021 · 科学技術振興機構(JST)/研究＋αの活動支援プログラム

• 官方个人主页