Ibaraki University's
Graduate School of Science and Engineering (Engineering)
Department of Computer and Information Sciences

Assistant Professor

Horita Hiroki


  1. 茨城大学 工学部情報工学科 助教 2017/02/01-Present

Academic background

  1. 青山学院大学 社会情報学部 社会情報学科 2012/03/31 Graduated 日本
  2. 電気通信大学大学院 情報システム学研究科 社会知能情報学専攻 Doctor prophase 2014/03/31 Completed 日本
  3. 電気通信大学大学院 情報システム学研究科 社会知能情報学専攻 Doctor later 2017/03/31 Completed 日本

Academic degrees

  1. 博士(工学) 電気通信大学

Research Areas

  1. Software
  2. Social systems engineering/Safety system
  3. Management

Research keywords

  1. ビジネスプロセスマネジメント
  2. ソフトウェア工学
  3. 要求工学
  4. プロセスマイニング


  1. Computer and Information Science (Business Process Verification and Restructuring LTL Formula Based on Machine Learning ) 2016/06


  1. Research paper (scientific journal) Joint Fairness Analysis in Goal-Oriented Requirements Selection Hiroki Horita and Junji Noguchi International Journal of Economics, Business and Management 2019/12/01
  2. Research paper (international conference proceedings) Joint A Method for Goal Model Repair Based on Process Mining 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2019) 2019/07
  3. Research paper (scientific journal) Joint 決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成 堀田大貴,平山秀昭,早瀬健夫,田原康之,大須賀昭彦 電子情報通信学会論文誌 Vol.J101-D/ No.3 (2018), 530-538 2018/03
  4. Research paper (international conference proceedings) Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga 5th IIAI International Congress on Advanced Applied Informatics (IIAI AAI 2016) 113-118 2016/07
  5. Research paper (international conference proceedings) Goal Achievement Analysis based on LTL Checking and Decision Tree for Improvements of PAIS Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga 31th Annual ACM Symposium on Applied Computing (SAC 2016) 1214-1216 2016/04

Research presentations

  1. Oral presentation(general) プロセスマイニングにおけるビジネスプロセスモデルの自動修正に対応したゴールモデルの修正手法 電子情報通信学会研究会 2018/07
  2. Oral presentation(general) ソースコードの変更によるデータフロー図の差異検出手法 日本ソフトウェア科学会第 34 回大会 2017/09
  3. Oral presentation(general) 制御ルールの並びに着目した反例分析手法の提案 日本ソフトウェア科学会第 34 回大会 2017/09
  4. Oral presentation(general) リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換 ソフトウェア工学の基礎ワークショップ FOSE 2013 2013/11

Alloted class

  1. プログラミング演習Ⅰ
  2. 情報工学実験
  3. ICTソリューション実践Ⅰ
  4. ソリューションプランニングⅠ
  5. ICTソリューション実践Ⅱ

Memberships of academic societies

  1. 人工知能学会 2018/04-Present
  2. 情報処理学会 2016/12-Present