Rchr
J-GLOBAL ID：200901018732056992
Update date: Oct. 07, 2024
Ito Sohei
イトウ ソウヘイ | Ito Sohei
Affiliation and department：
Job title：
准教授
Research field (2)：
Information theory
, Software
Research keywords (6)：
Theoretical computer science
, Business Process
, Process Mining
, Software Engineering
, Mathematical Logic
, Formal Methods
Research theme for competitive and other funds (7)：
Papers (33)：
-
Sohei Ito, Makoto Tatsuta. Representation of Peano Arithmetic in Separation Logic. FSCD. 2024. 18:1-18:17
-
Sohei Ito, Kento Hamae. Conformance Checking on Timed Automaton Process Models. Proceedings of the 26th International Conference on Enterprise Information Systems. 2024. 545-556
-
伊藤 宗平, 濱江 堅登. 時間オートマトンプロセスモデルにおけるコンフォー マンスチェッキング. 日本ソフトウェア科学会第40回大会講演論文集. 2023. 1-17
-
伊藤 宗平, 龍田 真. ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性. 日本ソフトウェア科学会第40回大会講演論文集. 2023. 1-14
-
伊藤 宗平, 龍田 真. 帰納法に関する推論の計算複雑性. 第25回プログラミングおよびプログラミング言語ワークショップ発表予稿集. 2023. 1-16
ｍore...
MISC (21)：
-
伊藤 宗平. 計算機科学に基づくソフトウェア工学. 7th 長崎QDG. 2023
-
伊藤 宗平. 書評「形式的モデル化:離散事象/実時間/ハイブリッドシステムのモデル化と解析」(平石邦彦 著). 計測と制御. 2019. 58. 9. 727-727
-
伊藤 宗平. 形式手法を用いたビジネスプロセスモデリングとその検証技術に関する研究. 海洋水産エンジニアリング. 2019. 19. 146. 60-68
-
Sohei Ito. Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph. arXiv. 2018
-
Dominik Vymětal, Sohei Ito. The formalization of a Generic Trading Company Model Using Software Agents as Active elements. Working Paper in Interdisciplinary Economics and Business Research, Silesian University in Opava, School of Business Administration in Karviná. 2016. 29
ｍore...
Lectures and oral presentations (18)：
-
ソフトウェア科学に基づく計算機科学
(7th 長崎QDG 2023)
-
時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング
(日本ソフトウェア科学会第40回大会(JSSST2023) 2023)
-
ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性
(日本ソフトウェア科学会第40回大会(JSSST2023) 2023)
-
帰納法に関する推論の計算複雑性
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023) 2023)
-
形式手法を用いた PID制御装置の検証
(第29回ソフトウェア工学の基礎ワークショップ (FOSE2022) 2022)
ｍore...
Education (3)：
- 2005 - 2008 Tokyo Institute of Technology Graduate School of Information Science and Engineering Department of Computer Science
- 2003 - 2005 Tokyo Institute of Technology Graduate School of Information Science and Technology Department of Computer Science
- 1999 - 2003 Tokyo Institute of Technology
Professional career (1)：
Work history (7)：
- 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
Show all
Committee career (5)：
- 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 人工知能学会第二種研究会分子情報生物研究会 幹事
Awards (2)：
- 2023/09 - 日本ソフトウェア科学会 高橋奨励賞 帰納的推論の計算複雑性
- 2013/02 - BIOINFORMATICS/BIOSTEC 2013 Best Paper Award
Association Membership(s) (1)：
JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
