• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2012 年度 研究成果報告書

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

研究課題

  • PDF
研究課題/領域番号 22500022
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 ソフトウエア
研究機関北海道大学

研究代表者

栗原 正仁  北海道大学, 大学院・情報科学研究科, 教授 (50133707)

連携研究者 佐藤 晴彦  北海道大学, 大学院・情報科学研究科, 助教 (30543178)
研究期間 (年度) 2010 – 2012
キーワード項書換え系 / 並列化 / 多重文脈型推論 / 人工知能 / ソフトウェア / 代数
研究概要

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

  • 研究成果

    (7件)

すべて 2013 2012 2010 その他

すべて 雑誌論文 (2件) (うち査読あり 2件) 学会発表 (4件) 備考 (1件)

  • [雑誌論文] Multi-Completion with Termination Tools2013

    • 著者名/発表者名
      Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
    • 雑誌名

      Journal of Automated Reasoning

      巻: Vol. 50, No.3 ページ: 317-354

    • 査読あり
  • [雑誌論文] Multi-context rewriting induction with termination checkers2010

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: Vol.E93-D, No.5 ページ: 942-952

    • 査読あり
  • [学会発表] Parallelization of termination checker for term rewriting system2012

    • 著者名/発表者名
      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 systems2012

    • 著者名/発表者名
      Rui Ding, Haruhiko Sato, Masahito Kurihara
    • 学会等名
      The International MultiConference of Engineers and Computer Scientists 2012
    • 発表場所
      香港(中国)ロイヤルガーデンホテル
    • 年月日
      2012-03-15
  • [学会発表] Multi-context rewriting induction with termination checkers2012

    • 著者名/発表者名
      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
  • [学会発表] Optimizing mkbTT2010

    • 著者名/発表者名
      Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
    • 学会等名
      The 21st International Conference on Rewriting Techniques and Applications
    • 発表場所
      Edinburgh(英国)エジンバラ大学
    • 年月日
      2010-07-12
  • [備考]

    • URL

      http://kussharo.complex.eng.hokudai.ac.jp/file/satoh.pdf

URL: 

公開日: 2014-08-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi