Nagoya University · Graduate School of Mathematics · 教授

Research keywords関数型言語 型理論 ラムダ計算・Theoretical・computer・science・Programming・language・Algorithm・Correctness

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

• Typed Compositional Quantum Computation with Lenses2026 · Journal of Automated Reasoning 70 巻 ( 10 ) 2026年5月
• モナド等式変形によるwhile 文の形式検証2025 · 第26プログラミングおよびプログラミング言語研究会 2025年3月
• An Approach to Formalize Information-Theoretic Security of Multiparty Computation Protocols2025 · FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2025 15732 巻 頁： 182 - 192 2025年6月
• A practical formalization of monadic equational reasoning in dependent-type theory2025 · JOURNAL OF FUNCTIONAL PROGRAMMING 35 巻 2025年1月

• 計算効果を持つプログラムの証明のための枠組みの構築2025 · 研究課題/研究課題番号： 25K03098 2025年4月 - 2029年3月
• 物理的・確率的システムの検証を支える形式的基盤の構築2022 · 研究課題/研究課題番号： 22H00520 2022年4月 - 2026年3月
• 確率的グラフィカルモデルの形式検証とその人工知能への応用2018 · 研究課題/研究課題番号： 18H03204 2018年4月 - 2021年3月
• 多機能型システムを持ったプログラミング言語のための型付き中間言語の設計2016 · 研究課題/研究課題番号： 16K00095 2016年4月 - 2019年3月

• Official profile