Kyoto University · Faculty of Integrated Human Studies・Graduate School of Human and Environmental Studies · 准教授

Research keywordscomputable analysis・exact real computation・certified program extraction・Coq formalization・analytic function complexity・Taylor models・ordinary differential equations・constructive type theory

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

• 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
• 連続な空間上の計算とその複雑さの研究

• Official profile