東京農工大学 · 総合情報メディアセンター · 准教授

研究キーワードprogram verification・constrained horn clauses・fixpoint logic・ownership types・termination verification・dijkstra monads

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

• Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types2026
• On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic2025
• Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem2025
• Asynchronous unfold/fold transformation for fixpoint logic.2024

• 高階不動点論理に基づくプログラム検証2020
• AI時代を見据えたプログラム検証技術2020
• 名前呼び計算体型のための型システムによるプログラム検証2018
• 自動デバッグを可能にする群衆知エコシステムの確立2018

• 公式プロフィール