研究者
J-GLOBAL ID：200901018732056992   更新日: 2023年03月16日

伊藤 宗平

イトウ ソウヘイ | Ito Sohei
所属機関・部署：
長崎大学 情報データ科学部

長崎大学 情報データ科学部 について


職名： 准教授
研究分野 (2件)： 情報学基礎論 ,  ソフトウェア
研究キーワード (6件)： 理論計算機科学 ,  ビジネスプロセス ,  プロセスマイニング ,  ソフトウェア工学 ,  数理論理学 ,  形式手法
競争的資金等の研究課題 (3件)：
  • 2021 - 2025 プロセスマイニングによる業務プロセスの形式モデル発見に関する研究
  • 2022 - 2023 Petri netの循環証明による演繹的検証
  • 2014 - 2016 形式手法を用いた遺伝子ネットワーク解析手法に関する研究
論文 (29件)：
  • 伊藤 宗平, 龍田 真. 帰納法に関する推論の計算複雑性. 第25回プログラミングおよびプログラミング言語ワークショップ発表予稿集. 2023. 1-16
  • 浦岡 竜太郎, 伊藤 宗平. 形式手法を用いたPID制御装置の検証. ソフトウェア工学の基礎29. 2022. 73-78
  • 伊藤 宗平, 龍田 真. 帰納的推論の計算複雑性. 日本ソフトウェア科学会第39回大会講演論文集. 2022. 1-12
  • 伊藤 宗平, 辻 優磨. 近似によるリアクティブシステムの仕様検証効率化. ソフトウェア工学の基礎. 2021. 28. 33-38
  • Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Efficient Realizability Checking by Modularization of LTL Specifications. The Computer Journal. 2021
もっと見る
MISC (20件)：
  • 伊藤 宗平. 書評「形式的モデル化:離散事象/実時間/ハイブリッドシステムのモデル化と解析」(平石邦彦 著). 計測と制御. 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
  • 楫取 和明, 青木 邦匡, 伊藤 宗平. 数学教育支援システムQDBについて. 水産大学校研究報告. 2014. 62. 4. 137-146
もっと見る
講演・口頭発表等 (11件)：
  • An introduction to model checking: application to business process verification
    (Scientific seminar, Silesian University in Opava, School of Business Administration in Karvina 2017)
  • Qualitative analysis of gene regulatory networks using temporal logic
    (Yamaguchi Workshop on Computational Network Biology 2016)
  • Qualitative Analysis of Gene Networks with Alternative Splicing
    (13th conference on Computational Methods for Systems Biology (CMSB2015) 2015)
  • Application of formal logic to informatics
    (Invited lecture, Silesian University in Opava, School of Business Administration in Karvina 2014)
  • Formal logic and information modeling
    (Invited lecture, Silesian University in Opava, School of Business Administration in Karvina 2014)
もっと見る
学歴 (3件)：
  • 2005 - 2008 東京工業大学 大学院情報理工学研究科 計算工学専攻
  • 2003 - 2005 東京工業大学 大学院情報理工学研究科 計算工学専攻
  • 1999 - 2003 東京工業大学 工学部 情報工学科
学位 (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 人工知能学会第二種研究会分子情報生物研究会 幹事
受賞 (1件)：
  • 2013/02 - BIOINFORMATICS/BIOSTEC 2013 Best Paper Award
所属学会 (1件)：
日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM