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. 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 決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成 堀田大貴,平山秀昭,早瀬健夫,田原康之,大須賀昭彦 電子情報通信学会論文誌 2018/03
  2. 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) 2016/07
  3. 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
  4. Research paper (scientific journal) Joint リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換 堀田 大貴, 本田 耕三, 平山 秀昭, 清 雄一, 中川 博之, 田原 康之, 大須賀 昭彦 コンピュータ ソフトウェア Japan Society for Software Science and Technology 32/ 4, 4_141-4_160 2015/11 0289-6540 URL
  5. Research paper (international conference proceedings) Joint Towards Goal-Oriented Conformance Checking Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara and Akihiko Ohsuga International Conference on Software Engineering and Knowledge Engineering (SEKE2015) 722-724 2015/07

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. アルゴリズムとデータ構造Ⅱ
  4. 情報工学実験

Memberships of academic societies

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