伊藤宗平

イトウソウヘイ | Ito Sohei

所属機関・部署：
職名：准教授

研究分野 (2件)：情報学基礎論 , ソフトウェア

研究キーワード (6件)：理論計算機科学 , ビジネスプロセス , プロセスマイニング , ソフトウェア工学 , 数理論理学 , 形式手法

競争的資金等の研究課題 (7件)：

全件表示

論文 (38件)：

Sohei Ito, Makoto Tatsuta. Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs. Electronic Proceedings in Theoretical Computer Science. 2026. 441. 166-184
伊藤宗平, 龍田真. プレスバーガー算術上の線形リストの論理体系の決定可能性. 第28回プログラミングおよびプログラミング言語ワークショップ(PPL2026)発表予稿集. 2026. 1-15
Sohei Ito, Kento Hamae, Atsushi Takayanagi. Conformance Checking with Time Attributes. Lecture Notes in Business Information Processing. 2025. 567. 352-375
Sohei Ito, Zen Haneda, Ryutaro Uraoka. Verifying Pid Controller of Robot Car by Deltareachability Analysis. 2025 17th International Conference on Computer and Automation Engineering (ICCAE). 2025. 485-489
Sohei Ito, Makoto Tatsuta. Representation of Peano Arithmetic in Separation Logic. FSCD. 2024. 18:1-18:17

MISC (37件)：

近川瑞樹, 枦健一, 福田豊, 櫻井健一, 伊藤宗平. サイバーセキュリティ啓蒙における教材開発の検討. 第78回電気・情報関係学会九州支部連合大会. 2025. 1-2
Sohei Ito. Conformance checking with time attributes. Seminar, VIT-Chennai. 2025
Sohei Ito, Makoto Tatsuta. Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic. arXiv. 2025. 1-31
伊藤宗平. 計算機科学に基づくソフトウェア工学. 7th 長崎QDG. 2023
伊藤宗平. 書評「形式的モデル化:離散事象/実時間/ハイブリッドシステムのモデル化と解析」(平石邦彦著). 計測と制御. 2019. 58. 9. 727-727

講演・口頭発表等 (19件)：

プレスバーガー算術上の線形リストの論理体系の決定可能性
(第28回プログラミングおよびプログラミング言語ワークショップ(PPL2026) 2026)
ソフトウェア科学に基づく計算機科学
(7th 長崎QDG 2023)
時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング
(日本ソフトウェア科学会第40回大会(JSSST2023) 2023)
ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性
(日本ソフトウェア科学会第40回大会(JSSST2023) 2023)
帰納法に関する推論の計算複雑性
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023) 2023)

学歴 (3件)：

学位 (1件)：

経歴 (7件)：

2020/04 - 現在長崎大学情報データ科学部准教授
2016/04 - 2020/03 国立研究開発法人水産研究・教育機構水産大学校水産流通経営学科助教
2016/10 - 2017/09 Silesian University in Opava, School of Business Administration in Karviná Institute of Interdisciplinary Research 客員研究員
2013/04 - 2016/03 独立行政法人水産大学校水産流通経営学科助教
2012/04 - 2013/03 東京大学大学院情報理工学系研究科特任研究員

全件表示

委員歴 (5件)：

2022/06 - 現在電気情報通信学会ソフトウェアサイエンス研究会専門委員
2015/09 - 現在アメリカ数学会 Mathematical Reviews 査読者
2015 - 2020 International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO) プログラム委員
2014 - 2020 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) プログラム委員
2010/08 - 2012/03 人工知能学会第二種研究会分子情報生物研究会幹事

受賞 (2件)：

所属学会 (1件)：

日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

伊藤 宗平