研究者
J-GLOBAL ID:200901018732056992   更新日: 2020年05月25日

伊藤 宗平

イトウ ソウヘイ | Ito Sohei
所属機関・部署:
職名: 准教授
ホームページURL (1件): http://www.fish-u.ac.jp/~ito/
研究分野 (2件): 生命、健康、医療情報学 ,  ソフトウェア
研究キーワード (8件): ビジネスプロセス ,  マルチエージェントシステム ,  プロセスマイニング ,  オントロジ ,  ソフトウェア工学 ,  システム生物学 ,  数理論理学 ,  形式手法
競争的資金等の研究課題 (1件):
  • 2014 - 2016 形式手法を用いた遺伝子ネットワーク解析手法に関する研究
論文 (13件):
  • Sohei Ito, Dominik Vymětal, Roman Šperka, Michal Halaška. Process mining of a multi-agent business simulator. Computational and Mathematical Organization Theory. 2018. 24. 4. 500-531
  • Sohei Ito. Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph. arXiv. 2018
  • Sohei Ito. Temporal Logic Based Framework to Model and Analyse Gene Networks with Alternative Splicing. 7th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2016). 2016. 151-158
  • Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. Formulation of Homeostasis by Realisability on Linear Temporal Logic. ommunications in Computer and Information Science. 2015. 511. 149-164
  • Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. Qualitative analysis of gene regulatory networks by temporal logic. Theoretical Computer Science. 2015. 594. 23. 151-179
もっと見る
学歴 (2件):
  • 2003 - 2008 東京工業大学 大学院情報理工学研究科 計算工学専攻
  • 1999 - 2003 東京工業大学 工学部 情報工学科
学位 (1件):
  • 博士(工学) (東京工業大学)
経歴 (6件):
  • 2020/04 - 現在 長崎大学 准教授
  • 2016/04 - 2020/03 国立研究開発法人水産研究・教育機構 水産大学校 助教
  • 2016/10 - 2017/09 Silesian University in Opava, School of Business Administration in Karviná 客員研究員
  • 2013/04 - 2016/03 独立行政法人水産大学校 助教
  • 2012/04 - 2013/03 東京大学 特任研究員
全件表示
受賞 (1件):
  • 2013/02 - BIOINFORMATICS/BIOSTEC 2013 Best Paper Award
所属学会 (1件):
日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る