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

研究キーワードterm rewrite systems・concurrent program transformation・reversible debugging・constrained rewriting・reachability analysis・equivalence of constrained terms・semaphore programs・bisimulation

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

• 制約付き書換えにおける複数の項に関する合流性の同時証明のためのナローインググラフについて2026 · 情報処理学会第88回全国大会講演論文集 頁： 251 - 252 2026年3月
• アージェントロケーションを持つUppaal記述から論理制約付き項書き換え系への変換について2026 · 情報処理学会第88回全国大会講演論文集 頁： 249 - 250 2026年3月
• On Transforming Prioritized Multithreaded Programs into Logically Constrained Term Rewrite Systems2025 · Informal Proceedings of the 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025) 頁： 39 - 51 2025年7月
• A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems2025 · Journal of Logical and Algebraic Methods in Programming 144 巻 頁： 1 - 15 2025年3月

• 論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発2024 · 研究課題/研究課題番号： 24K02900 2024年4月 - 2029年3月
• 書換え帰納法を利用したプログラム等価性検証技術の開発2018 · 2018年4月 - 2023年3月
• 実時間性を持つ並行プログラムに対するデバッグのための逆方向計算モデル2017 · 2017年4月 - 2021年3月
• 単射性を持つ関数型プログラムの逆計算プログラム生成に関する研究2009 · 2009年4月 - 2013年3月

• 公式プロフィール