研究者
J-GLOBAL ID:200901018732056992   更新日: 2020年09月18日

伊藤 宗平

イトウ ソウヘイ | Ito Sohei
所属機関・部署:
職名: 准教授
研究分野 (2件): 生命、健康、医療情報学 ,  ソフトウェア
研究キーワード (8件): ビジネスプロセス ,  マルチエージェントシステム ,  プロセスマイニング ,  オントロジ ,  数理論理学 ,  システム生物学 ,  ソフトウェア工学 ,  形式手法
競争的資金等の研究課題 (1件):
  • 2014 - 2016 形式手法を用いた遺伝子ネットワーク解析手法に関する研究
論文 (24件):
もっと見る
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 東京大学 大学院情報理工学系研究科 特任研究員
全件表示
委員歴 (4件):
  • 2015/09 - 現在 アメリカ数学会 Mathematical Reviews 査読者
  • 2015 - 現在 International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO) プログラム委員
  • 2014 - 現在 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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る