名古屋大学 · 情報学部 / 情報学研究科 · 准教授

研究キーワード型理論・プログラム理論・数学基礎論・古典論理・ラムダ計算

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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月

• 公式プロフィール