長崎大学 · 情報データ科学部 / 総合生産科学研究科

研究キーワードseparation logic・formal verification・Peano arithmetic・timed automata・conformance checking・infinite descent proofs・controller verification・logical complexity

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

• Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs Sohei Ito,Makoto Tatsuta Electronic Proceedings in Theoretical Computer Science 441巻166頁-184頁 2026年03月04日2026
• Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic Sohei Ito,Makoto Tatsuta Logical Methods in Computer Science 22巻2号 2026年05月25日2026
• Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic Sohei Ito,Makoto Tatsuta Logical Methods in Computer Science 22巻2号 2026年05月25日2026
• プレスバーガー算術上の線形リストの論理体系の決定可能性 伊藤 宗平,龍田 真 第28回プログラミングおよびプログラミング言語ワークショップ(PPL2026)発表予稿集 1頁-15頁 2026年03月2026

• ソフトウェア検証に適した算術体系の表現力および計算複雑性に関する研究 国立情報学研究所公募型共同研究 2024年04月 - 2025年03月 研究代表者2024
• 帰納的に定義されるデータ構造に関する推論体系の計算可能性に関する研究 国立情報学研究所公募型共同研究 2023年04月 - 2024年03月 研究代表者2023
• Petri netの循環証明による演繹的検証 国立情報学研究所公募型共同研究 2022年07月 - 2023年03月 研究代表者2022
• プロセスマイニングによる業務プロセスの形式モデル発見に関する研究 日本学術振興会 科学研究費助成事業 基盤研究(C) 2021年04月01日 - 2025年03月31日2021

• 公式プロフィール