研究キーワード	research interests	理論計算機科学,形式手法,数理論理学,ソフトウェア工学,プロセスマイニング,ビジネスプロセス	Theoretical computer science,Formal Methods,Mathematical Logic,Software Engineering,Process Mining,Business Process

研究分野	research research_areas	情報学基礎論,ソフトウェア	Information theory,Software

学歴	education	2005年04月 － 2008年03月 東京工業大学 大学院情報理工学研究科 2003年04月 － 2005年03月 東京工業大学 大学院情報理工学研究科 1999年04月 － 2003年03月 東京工業大学 工学部 2005/04 － 2008/03 Tokyo Institute of Technology Graduate School of Information Science and Engineering 2003/04 － 2005/03 Tokyo Institute of Technology Graduate School of Information Science and Technology 1999/04 － 2003/03 Tokyo Institute of Technology 工学部

経歴	experience	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月 東京大学 大学院情報理工学系研究科 特任研究員 2010年04月 － 2012年03月 東京工業大学 大学院情報理工学研究科 特任助教 2008年04月 － 2010年03月 東京工業大学 大学院情報理工学研究科 特任助教 2020/04 － Nagasaki University School of Information and Data Sciences Associate Professor 2016/04 － 2020/03 National Fisheries University Department of Fisheries Distribution and Management Research Associate 2016/10 － 2017/09 Silesian University in Opava, School of Business Administration in Karviná Institute of Interdisciplinary Research Research Fellow 2013/04 － 2016/03 National Fisheries University Department of Fisheries Distribution and Management Research Associate 2012/04 － 2013/03 The University of Tokyo The Graduate School of Information Science and Technology Research Associate 2010/04 － 2012/03 Tokyo Institute of Technology Graduate School of Information Science and Engineering Research Associate 2008/04 － 2010/03 Tokyo Institute of Technology Graduate School of Information Science and Engineering Research Associate

委員歴	committee memberships	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月 人工知能学会第二種研究会分子情報生物研究会 幹事 2022/06 － 電気情報通信学会ソフトウェアサイエンス研究会 専門委員 2015/09 － American Mathematical Society Reviewer for Mathematical Reviews 2015 － 2020 International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO) Program comittiee 2014 － 2020 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) Program comittiee 2010/08 － 2012/03 人工知能学会第二種研究会分子情報生物研究会 幹事

所属学協会	association memberships	日本ソフトウェア科学会	JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY

受賞	awards	2023年09月 日本ソフトウェア科学会 高橋奨励賞 帰納的推論の計算複雑性 2013年02月 BIOINFORMATICS/BIOSTEC 2013 Best Paper Award 2023年09月 日本ソフトウェア科学会 高橋奨励賞 2013年02月 BIOINFORMATICS/BIOSTEC 2013 Best Paper Award

論文	papers	Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic Sohei Ito,Makoto Tatsuta Logical Methods in Computer Science 22巻2号 2026年05月25日 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日 プレスバーガー算術上の線形リストの論理体系の決定可能性 伊藤 宗平,龍田 真 第28回プログラミングおよびプログラミング言語ワークショップ(PPL2026)発表予稿集 1頁-15頁 2026年03月 Conformance Checking with Time Attributes Sohei Ito,Kento Hamae,Atsushi Takayanagi Lecture Notes in Business Information Processing 567巻352頁-375頁 2025年10月29日 Verifying Pid Controller of Robot Car by Deltareachability Analysis Sohei Ito,Zen Haneda,Ryutaro Uraoka 2025 17th International Conference on Computer and Automation Engineering (ICCAE) 485頁-489頁 2025年03月20日 Conformance Checking on Timed Automaton Process Models Sohei Ito,Kento Hamae Proceedings of the 26th International Conference on Enterprise Information Systems 545頁-556頁 2024年 Representation of Peano Arithmetic in Separation Logic. Sohei Ito,Makoto Tatsuta FSCD 18:1頁-18:17頁 2024年 ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性 伊藤 宗平,龍田 真 日本ソフトウェア科学会第40回大会講演論文集 1頁-14頁 2023年09月 時間オートマトンプロセスモデルにおけるコンフォー マンスチェッキング 伊藤 宗平,濱江 堅登 日本ソフトウェア科学会第40回大会講演論文集 1頁-17頁 2023年09月 帰納法に関する推論の計算複雑性 伊藤 宗平,龍田 真 第25回プログラミングおよびプログラミング言語ワークショップ発表予稿集 1頁-16頁 2023年03月 Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic Sohei Ito,Makoto Tatsuta Logical Methods in Computer Science 22.2. 2026/05/25 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 プレスバーガー算術上の線形リストの論理体系の決定可能性 伊藤 宗平,龍田 真 第28回プログラミングおよびプログラミング言語ワークショップ(PPL2026)発表予稿集 1-15 2026/03 Conformance Checking with Time Attributes Sohei Ito,Kento Hamae,Atsushi Takayanagi Lecture Notes in Business Information Processing 567.352-375 2025/10/29 Verifying Pid Controller of Robot Car by Deltareachability Analysis Sohei Ito,Zen Haneda,Ryutaro Uraoka 2025 17th International Conference on Computer and Automation Engineering (ICCAE) 485-489 2025/03/20 Conformance Checking on Timed Automaton Process Models Sohei Ito,Kento Hamae Proceedings of the 26th International Conference on Enterprise Information Systems 545-556 2024 Representation of Peano Arithmetic in Separation Logic. Sohei Ito,Makoto Tatsuta FSCD 18:1-18:17 2024 ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性 伊藤 宗平,龍田 真 日本ソフトウェア科学会第40回大会講演論文集 1-14 2023/09 時間オートマトンプロセスモデルにおけるコンフォー マンスチェッキング 伊藤 宗平,濱江 堅登 日本ソフトウェア科学会第40回大会講演論文集 1-17 2023/09 帰納法に関する推論の計算複雑性 伊藤 宗平,龍田 真 第25回プログラミングおよびプログラミング言語ワークショップ発表予稿集 1-16 2023/03 さらに表示する more

MISC

サイバーセキュリティ啓蒙における教材開発の検討 近川 瑞樹,枦 健一,福田 豊,櫻井 健一,伊藤 宗平 第78回電気・情報関係学会九州支部連合大会 1頁-2頁 2025年09月18日 Conformance checking with time attributes Sohei Ito Seminar, VIT-Chennai 2025年09月17日 Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic Sohei Ito,Makoto Tatsuta arXiv 1頁-31頁 2025年08月 計算機科学に基づくソフトウェア工学 伊藤 宗平 7th 長崎QDG 2023年09月 書評「形式的モデル化：離散事象／実時間／ハイブリッドシステムのモデル化と解析」（平石邦彦 著） 伊藤 宗平 計測と制御 58巻9号727頁-727頁 2019年09月10日 形式手法を用いたビジネスプロセスモデリングとその検証技術に関する研究 伊藤 宗平 海洋水産エンジニアリング 19巻146号60頁-68頁 2019年07月 Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph Sohei Ito arXiv 2018年 An introduction to model checking: application to business process verification Sohei Ito Scientific seminar, Silesian University in Opava, School of Business Administration in Karvina 2017年05月11日 Qualitative analysis of gene regulatory networks using temporal logic Sohei Ito Yamaguchi Workshop on Computational Network Biology 2016年03月 The formalization of a Generic Trading Company Model Using Software Agents as Active elements Dominik Vymětal,Sohei Ito Working Paper in Interdisciplinary Economics and Business Research, Silesian University in Opava, School of Business Administration in Karviná 29巻 2016年 近川 瑞樹,枦 健一,福田 豊,櫻井 健一,伊藤 宗平 第78回電気・情報関係学会九州支部連合大会 1-2 2025/09/18 Conformance checking with time attributes Sohei Ito Seminar, VIT-Chennai 2025/09/17 Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic Sohei Ito,Makoto Tatsuta arXiv 1-31 2025/08 伊藤 宗平 7th 長崎QDG 2023/09 伊藤 宗平 計測と制御 58.9.727-727 2019/09/10 伊藤 宗平 海洋水産エンジニアリング 19.146.60-68 2019/07 Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph Sohei Ito arXiv 2018 An introduction to model checking: application to business process verification Sohei Ito Scientific seminar, Silesian University in Opava, School of Business Administration in Karvina 2017/05/11 Qualitative analysis of gene regulatory networks using temporal logic Sohei Ito Yamaguchi Workshop on Computational Network Biology 2016/03 The formalization of a Generic Trading Company Model Using Software Agents as Active elements Dominik Vymětal,Sohei Ito Working Paper in Interdisciplinary Economics and Business Research, Silesian University in Opava, School of Business Administration in Karviná 29. 2016 さらに表示する more

書籍等出版物	books

講演・口頭発表等	conference	プレスバーガー算術上の線形リストの論理体系の決定可能性 伊藤 宗平,龍田 真 第28回プログラミングおよびプログラミング言語ワークショップ(PPL2026) 2026年03月10日 2026年03月09日 2026年03月12日 ソフトウェア科学に基づく計算機科学 伊藤 宗平 7th 長崎QDG 2023年09月15日 2023年09月15日 2023年09月15日 時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング 伊藤 宗平,濱江 堅登 日本ソフトウェア科学会第40回大会(JSSST2023) 2023年09月13日 2023年09月12日 2023年09月14日 ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性 伊藤 宗平,龍田 真 日本ソフトウェア科学会第40回大会(JSSST2023) 2023年09月12日 2023年09月12日 2023年09月14日 帰納法に関する推論の計算複雑性 伊藤 宗平,龍田 真 第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023) 2023年03月07日 2023年03月06日 2023年03月08日 形式手法を用いた PID制御装置の検証 浦岡 竜太郎,伊藤 宗平 第29回ソフトウェア工学の基礎ワークショップ （FOSE2022） 2022年11月11日 2022年11月10日 2022年11月12日 帰納的推論の計算複雑性 伊藤 宗平,龍田 真 日本ソフトウェア科学会第39回大会(JSSST2022) 2022年09月01日 2022年08月31日 2022年09月02日 近似によるリアクティブシステムの仕様検証効率化 伊藤 宗平,辻 優磨 第28回ソフトウェア工学の基礎ワークショップ （FOSE2021） 2021年11月11日 2021年11月11日 2021年11月13日 An introduction to model checking: application to business process verification Sohei Ito Scientific seminar, Silesian University in Opava, School of Business Administration in Karvina 2017年05月 Qualitative analysis of gene regulatory networks using temporal logic Sohei Ito Yamaguchi Workshop on Computational Network Biology 2016年03月 プレスバーガー算術上の線形リストの論理体系の決定可能性 伊藤 宗平,龍田 真 第28回プログラミングおよびプログラミング言語ワークショップ(PPL2026) 2026/03/10 2026/03/09 2026/03/12 ソフトウェア科学に基づく計算機科学 伊藤 宗平 7th 長崎QDG 2023/09/15 2023/09/15 2023/09/15 時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング 伊藤 宗平,濱江 堅登 日本ソフトウェア科学会第40回大会(JSSST2023) 2023/09/13 2023/09/12 2023/09/14 ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性 伊藤 宗平,龍田 真 日本ソフトウェア科学会第40回大会(JSSST2023) 2023/09/12 2023/09/12 2023/09/14 帰納法に関する推論の計算複雑性 伊藤 宗平,龍田 真 第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023) 2023/03/07 2023/03/06 2023/03/08 形式手法を用いた PID制御装置の検証 浦岡 竜太郎,伊藤 宗平 第29回ソフトウェア工学の基礎ワークショップ （FOSE2022） 2022/11/11 2022/11/10 2022/11/12 帰納的推論の計算複雑性 伊藤 宗平,龍田 真 日本ソフトウェア科学会第39回大会(JSSST2022) 2022/09/01 2022/08/31 2022/09/02 近似によるリアクティブシステムの仕様検証効率化 伊藤 宗平,辻 優磨 第28回ソフトウェア工学の基礎ワークショップ （FOSE2021） 2021/11/11 2021/11/11 2021/11/13 An introduction to model checking: application to business process verification Sohei Ito Scientific seminar, Silesian University in Opava, School of Business Administration in Karvina 2017/05 Qualitative analysis of gene regulatory networks using temporal logic Sohei Ito Yamaguchi Workshop on Computational Network Biology 2016/03 さらに表示する more

担当経験のある項目	teaching experience	オペレーティングシステムI,オペレーティングシステムII,コンパイラ,プログラミング演習IV,並列分散処理工学特論,オートマトンと言語理論,初年次セミナー,並行システム特論,コンパイラ,コンピュータ基礎,情報処理,情報科学,応用数学特論,情報科学特殊講義：形式手法とその応用	Operationg Systems I,Operationg Systems II,Compilers,Practice in Software Programming IV,Parallel and Distributed Processing,オートマトンと言語理論,初年次セミナー,Concurrent Systems Theory,Compilers,コンピュータ基礎,情報処理,情報科学,応用数学特論,情報科学特殊講義：形式手法とその応用

Works

競争的資金等の研究課題	research grants	プロセスマイニングによる業務プロセスの形式モデル発見に関する研究 日本学術振興会 科学研究費助成事業 基盤研究(C) 2021年04月01日 - 2025年03月31日 ソフトウェア検証に適した算術体系の表現力および計算複雑性に関する研究 国立情報学研究所公募型共同研究 2024年04月 - 2025年03月 研究代表者 帰納的に定義されるデータ構造に関する推論体系の計算可能性に関する研究 国立情報学研究所公募型共同研究 2023年04月 - 2024年03月 研究代表者 Petri netの循環証明による演繹的検証 国立情報学研究所公募型共同研究 2022年07月 - 2023年03月 研究代表者 特定第3種漁港における輸出促進のための水産物高付加価値化 山口県 2017年04月 - 2020年03月 研究分担者 魚肉練り製品の欧州輸出の実現可能性に関する調査 水産大学校 2016年04月 - 2017年03月 研究代表者 形式手法を用いた遺伝子ネットワーク解析手法に関する研究 日本学術振興会 科学研究費補助金 2014年04月 - 2016年03月 研究代表者 プロセスマイニングによる業務プロセスの形式モデル発見に関する研究 日本学術振興会 科学研究費助成事業 基盤研究(C) 2021/04/01 - 2025/03/31 ソフトウェア検証に適した算術体系の表現力および計算複雑性に関する研究 国立情報学研究所公募型共同研究 2024/04 - 2025/03 principal_investigator 帰納的に定義されるデータ構造に関する推論体系の計算可能性に関する研究 国立情報学研究所公募型共同研究 2023/04 - 2024/03 principal_investigator Petri netの循環証明による演繹的検証 国立情報学研究所公募型共同研究 2022/07 - 2023/03 principal_investigator 特定第3種漁港における輸出促進のための水産物高付加価値化 山口県 2017/04 - 2020/03 coinvestigator 魚肉練り製品の欧州輸出の実現可能性に関する調査 水産大学校 2016/04 - 2017/03 principal_investigator 形式手法を用いた遺伝子ネットワーク解析手法に関する研究 日本学術振興会 科学研究費補助金 2014/04 - 2016/03 principal_investigator

特許	patents

社会貢献活動	social contribution	長崎県教育委員会高大連携推進委員 講師 2021年04月01日 - 2025年03月31日 長崎県教育委員会高大連携推進委員 lecturer 2021/04/01 - 2025/03/31

メディア報道	media_coverage

学術貢献活動	academic_contribution	Mathematical Reviews 審査・評価,査読 2015年01月01日 - 電子情報通信学会和文論文誌D 査読 2022年04月 - 2023年03月 IEICE Transactions on Information and Systems 査読 2021年12月 - 2022年03月 Swiss National Science Foundation 審査・評価 2021年12月 - 2022年01月 Mathematical Reviews review,peer_review 2015/01/01 - 電子情報通信学会和文論文誌D peer_review 2022/04 - 2023/03 IEICE Transactions on Information and Systems peer_review 2021/12 - 2022/03 Swiss National Science Foundation review 2021/12 - 2022/01

その他	etc