代数的ソフトウェア向き多重文脈型推論基盤システムのスケーラブルな並列実装と応用

• 研究課題/領域番号: 22500022
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 北海道大学
• 研究代表者: 栗原 正仁 北海道大学, 大学院・情報科学研究科, 教授 (50133707)
• 連携研究者: 佐藤 晴彦 北海道大学, 大学院・情報科学研究科, 助教 (30543178)
• 研究期間 (年度): 2010 – 2012
• 研究課題ステータス: 完了 (2012年度)
• 配分額: 4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円); 2012年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2011年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2010年度: 2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
• キーワード: 項書換え系 / 並列化 / 多重文脈型推論 / 人工知能 / ソフトウェア / 代数 / 項書換えシステム / 並列プログラミング / 多重文脈推論 / 停止性検証 / ソフトウェア学 / 代数学

研究概要

多重文脈型推論基盤システムを,物理的に並列実行できる枠組みに広げるために,等式や書換え規則の生成・更新処理を含む停止性検証の処理、特にプロセス間のシステム終了(成功)条件の判定処理等の実装を対象として,関数型言語Erlangを採用して,並列計算機におけるスケーラブルな並列実装方式を開発してシステムのパワーを格段に高めた。また,システムを帰納的定理証明等の応用課題に適用して,その可用性を高めた。

研究成果

• [雑誌論文] Multi-Completion with Termination Tools (2013)
  • 著者名/発表者名: Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
  • 雑誌名: Journal of Automated Reasoning 巻: Vol. 50, No.3 ページ: 317-354
  • NAID: 120005228268
  • 査読あり
• [雑誌論文] Multi-context rewriting induction with termination checkers (2010)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 雑誌名: IEICE Transactions on Information and Systems 巻: Vol.E93-D, No.5 ページ: 942-952
  • NAID: 10026815209
  • 査読あり
• [学会発表] Parallelization of termination checker for term rewriting system (2012)
  • 著者名/発表者名: Rui Ding, Haruhiko Sato, Masahito Kurihara
  • 学会等名: The 2012 IEEE International Conference on Systems, Man, and Cybernetics, 1824-1829
  • 発表場所: Seoul(韓国)COEX 国際会議場
  • 年月日: 2012-10-15
• [学会発表] Parallelization of termination checker of term rewriting systems (2012)
  • 著者名/発表者名: Rui Ding, Haruhiko Sato, Masahito Kurihara
  • 学会等名: The International MultiConference of Engineers and Computer Scientists 2012
  • 発表場所: 香港(中国)ロイヤルガーデンホテル
  • 年月日: 2012-03-15
• [学会発表] Parallelization of Termination Checker of Term Rewriting Systems (2012)
  • 著者名/発表者名: Rui Ding, Haruhiko Sato, Masahito Kurihara
  • 学会等名: International MultiConference of Engineers and Computer Scientists
  • 発表場所: The Royal Garden Hotel(香港)
  • 年月日: 2012-03-14
• [学会発表] Parallelization of termination checker using dependency pair method (2012)
  • 著者名/発表者名: 丁睿, 佐藤晴彦, 栗原正仁
  • 学会等名: 情報処理学会第74回全国大会
  • 発表場所: 名古屋工業大学(名古屋)
  • 年月日: 2012-03-08
• [学会発表] Multi-context rewriting induction with termination checkers (2012)
  • 著者名/発表者名: Haruhiko Sato, Masahito Kurihara
  • 学会等名: The 5th International Symposium on Global COE Program of Center for Next-GenerationInformation Technology Based on Knowledge Discovery and Knowledge Federation
  • 発表場所: 札幌 ,北海道大学
  • 年月日: 2012-01-16
• [学会発表] Comment-based keyword programming (2011)
  • 著者名/発表者名: Yusuke Sakamoto, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
  • 学会等名: International MultiConference of Engineers and Computer Scientists
  • 発表場所: ロイヤルガーデンホテル,香港,中国
  • 年月日: 2011-03-17
• [学会発表] Optimizing mkbTT (2010)
  • 著者名/発表者名: Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
  • 学会等名: The 21st International Conference on Rewriting Techniques and Applications
  • 発表場所: Edinburgh(英国)エジンバラ大学
  • 年月日: 2010-07-12
• [学会発表] Optimizing mkbTT (2010)
  • 著者名/発表者名: Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
  • 学会等名: 21st International Conference on Rewriting Techniques and Applications
  • 発表場所: エジンバラ大学,エジンバラ,英国
  • 年月日: 2010-07-11
• [学会発表] Parallelization of Termination Checker for Term Rewriting System
  • 著者名/発表者名: Masahito Kurihara
  • 学会等名: IEEE International Conference on Systems, Man, and Cybernetics
  • 発表場所: COEX会議場（ソウル）
• [備考]
  • URL: http://kussharo.complex.eng.hokudai.ac.jp/file/satoh.pdf