無限構造を扱うプログラム推論を用いたソフトウェア検証方法の確立

• 研究課題/領域番号: 15K00305
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 知能情報学
• 研究機関: 名古屋工業大学
• 研究代表者: 世木 博久 名古屋工業大学, 工学(系)研究科(研究院), 教授 (90242908)
• 研究期間 (年度): 2015-04-01 – 2018-03-31
• 研究課題ステータス: 完了 (2017年度)
• 配分額: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円); 2017年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2016年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2015年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
• キーワード: 計算論理 / 推論アルゴリズム / プログラム推論 / システム検証 / 探索・論理・推論アルゴリズム

研究成果の概要

本研究は，リアクティブ・システムなど無限に継続する状態を扱うソフトウェアの正当性検証に向けた方法論の確立を目的とする．そのために，計算論理に基づくプログラム推論技術を中核に用いる点に特徴がある．次のような3つの研究成果を得た．(1) 推論に用いる余論理プログラム(co-logic programs) とホーンμ-計算 (Horn μ-calculus)に関する諸性質やその応用を示した．(2) 検証に必要な仕様を実行ログから導出する仕様発見アルゴリズムを提案した. (3) 仕様表現に必要とされる時間等の量的制約も含むパターン発見アルゴリズムの設計と効率的な実装を行った．

研究成果

• [雑誌論文] Parallel Algorithms for Enumerating Closed Patterns from Multi-Relational Data (2018)
  • 著者名/発表者名: Hirohisa Seki, Masahiro Nagao
  • 雑誌名: Discrete Applied Mathematics 巻: 印刷中
  • 査読あり
• [雑誌論文] An FCA Approach to Mining Quantitative Association Rules from Multi-Relational Data (2018)
  • 著者名/発表者名: Masahiro Nagao, Hirohisa Seki
  • 雑誌名: International Journal of Computational Intelligence Studies 巻: 印刷中
  • 査読あり
• [雑誌論文] On dual programs in co-logic programming and the Horn mu-calculus (2017)
  • 著者名/発表者名: Hirohisa Seki
  • 雑誌名: Formal Aspects of Computing 巻: 29(3) 号: 3 ページ: 401-421
  • DOI: 10.1007/s00165-016-0404-0
  • 査読あり / 謝辞記載あり
• [雑誌論文] On Dual Programs in Co-logic Programming (2016)
  • 著者名/発表者名: Hirohisa Seki
  • 雑誌名: Lecture Notes in Computer Science 巻: 9527 ページ: 1-15
  • 査読あり / 謝辞記載あり
• [学会発表] Towards Efficient Mining of Non-Redundant Recurrent Rules from a Sequence Database (2017)
  • 著者名/発表者名: SeungYong Yoon, H. Seki
  • 学会等名: 2017 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA2017)
  • 国際学会
• [学会発表] Parallel Mining of Non-Redundant Recurrent Rules from a Sequence Database (2017)
  • 著者名/発表者名: SeungYong Yoon, H. Seki
  • 学会等名: 18th Int'l. Symp. on Advanced Intelligent Systems (ISIS 2017)
  • 国際学会
• [学会発表] An Efficient Java Implementation of a GA-based Miner for Relational Association Rules with Numerical Attributes (2017)
  • 著者名/発表者名: H. Seki, M. Nagao
  • 学会等名: 2017 IEEE Int'l. Conf. on Systems, Man and Cybernetics (SMC 2017)
  • 国際学会
• [学会発表] 形式概念の並列計算における負荷分散方式の検討 (2017)
  • 著者名/発表者名: 戸崎 友斗, 長尾 雅弘, 世木 博久
  • 学会等名: 情報処理学会第79回全国大会
  • 発表場所: 名古屋大学 (名古屋市)
• [学会発表] Mining Correlated Association Rules from Multi-Relational Data Using FCA (2016)
  • 著者名/発表者名: M. Nagao, H. Seki
  • 学会等名: Joint 8th Int’l. Conf. on Soft Computing and Intelligent Systems and 17th Int’l Symp. on Advanced Intelligent Systems
  • 発表場所: 北海学園大学 (札幌市)
  • 国際学会
• [学会発表] On Mining Quantitative Association Rules from Multi-Relational Data with FCA (2016)
  • 著者名/発表者名: M. Nagao, H. Seki
  • 学会等名: 2016 IEEE 9th Int'l. Workshop on Computational Intelligence and Applications
  • 発表場所: 江田島コミュニティセンター(江田島市)
  • 国際学会
• [学会発表] Towards Parallel Mining of Closed Patterns from Multi-Relational Data (2015)
  • 著者名/発表者名: Masahiro Nagao, Hirohisa Seki
  • 学会等名: 2015 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA)
  • 発表場所: 広島市立大学 (広島県・広島市)
  • 年月日: 2015-11-06
  • 国際学会
• [学会発表] Towards Efficient Mining of Closed Patterns from Multi-Relational Data (2015)
  • 著者名/発表者名: Masahiro Nagao, Hirohisa Seki
  • 学会等名: 11th Int'l. Conf. on Knowledge Managemengt (ICKM)
  • 発表場所: 大阪府立大学 (大阪府・大阪市)
  • 年月日: 2015-11-04
  • 国際学会
• [学会発表] On Dual Programs in Co-logic Programming (2015)
  • 著者名/発表者名: Hirohisa Seki
  • 学会等名: 25th Int'l. Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)
  • 発表場所: シエナ (イタリア)
  • 年月日: 2015-07-13
  • 国際学会