Nagoya University · Graduate School of Mathematics

Research keywords定理証明支援系・形式検証・型理論・量子計算・確率的システム・トポロジカルデータ解析

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

• Optimization of diagnostic kits usage based on symptomatic presentation: an application of military decision making in public health2026 · Health Care Management Science 29 巻 ( 2 ) 2026年3月
• A practical formalization of monadic equational reasoning in dependent-type theory.2025 · Journal of Functional Programming 35 巻 2025年1月
• Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation.2025 · 16th International Conference on Interactive Theorem Proving(ITP) 頁： 21 - 20 2025年9月
• Typed Compositional Quantum Computation with Lenses.2024 · 15th International Conference on Interactive Theorem Proving(ITP) 頁： 15 - 18 2024年9月

• 計算効果を持つプログラムの証明のための枠組みの構築2025 · 研究課題/研究課題番号： 25K03098 2025年4月 - 2029年3月
• 定理証明支援系を用いた数学的定理の発見的証明2024 · 研究課題/研究課題番号： 24K14820 2024年4月 - 2027年3月
• 物理的・確率的システムの検証を支える形式的基盤の構築2022 · 研究課題/研究課題番号： 22H00520 2022年4月 - 2026年3月
• モダン符号の形式化2013 · 研究課題/研究課題番号： 25289118 2013年4月 - 2016年3月

• Official profile