Nagoya University · Faculty of Informatics / Graduate School of Informatics · 准教授

Research keywords型理論・プログラム理論・数学基礎論・古典論理・ラムダ計算

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

• Admissibility of substitution rules in cyclic-proof systems2025 · 2025年9月
• Admissibility of Substitution Rule in Cyclic-Proof Systems2025 · arXiv 2025年10月
• Incorrectness Separation Logic with Arrays and Pointer Arithmetic2025 · arXiv 2025年3月
• Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions2025 · Archive for Mathematical Logic 2025年

• 論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発2024 · 研究課題/研究課題番号： 24K02900 2024年4月 - 2029年3月
• データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法2021 · 研究課題/研究課題番号： 21H03415 2021年4月 - 2026年3月
• 分離論理を用いたソフトウェア検証の発展2021 · 研究課題/研究課題番号： 21H03421 2021年4月 - 2024年3月
• 循環証明体系の証明論的分析2018 · 研究課題/研究課題番号： 18K11161 2018年4月 - 2021年3月

• Official profile