京都大学 · 総合人間学部・人間・環境学研究科 · 准教授

研究关键词computable analysis・exact real computation・certified program extraction・Coq formalization・analytic function complexity・Taylor models・ordinary differential equations・constructive type theory

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

• Computable Analysis for Extraction of Certified Programs and Its Applications2025 · 2025年
• Analytic functions and small complexity classes2016 · CCA 2016 - 13th International Conference on Computability and Complexity in Analysis - Proceedings,
• Analytic functions in IrRAM2014 · CCA 2014 - 11th International Conference on Computability and Complexity in Analysis, Proceedings,
• Average-Case Polynomial-Time Computability of Hamiltonian Dynamics.Leibniz International Proceedings in Informatics, LIPIcs,

• 連続な空間上の計算とその複雑さの研究
• 常微分方程式の完全精度解法の高速な実装に向けて
• Research on Computable Analysis and Verification of Efficient Exact Real Computation
• 連続な空間上の計算とその複雑さの研究

• 官方个人主页