University of Tsukuba · Faculty of Engineering, Information and Systems · 准教授

Research keywordscomputer-assisted proofs・rigorous numerics・semilinear parabolic PDEs・orthogonal polynomials・Picard-Fuchs equations・monodromy・contour integral eigensolver・Julia language

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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)/研究＋αの活動支援プログラム

• Official profile