伊藤宗平

イトウソウヘイ | Ito Sohei

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

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

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

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

全件表示

論文 (33件)：

Sohei Ito, Makoto Tatsuta. Representation of Peano Arithmetic in Separation Logic. FSCD. 2024. 18:1-18:17
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

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

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

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

学歴 (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の登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

伊藤 宗平