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

書換え計算モデル論に基づく宣言型言語の並列性の解析および制御

研究課題

研究課題/領域番号 05219201
研究種目

重点領域研究

配分区分補助金
研究機関筑波大学

研究代表者

井田 哲雄  筑波大学, 電子・情報工学系, 教授 (70100047)

研究分担者 ミデルドープ アート  筑波大学, 電子・情報工学系, 講師 (30251044)
清木 康  筑波大学, 電子・情報工学系, 助教授 (10169956)
田中 二郎  筑波大学, 電子・情報工学系, 助教授 (20251043)
研究期間 (年度) 1993
研究課題ステータス 完了 (1993年度)
配分額 *注記
2,500千円 (直接経費: 2,500千円)
1993年度: 2,500千円 (直接経費: 2,500千円)
キーワード超並列宣言型言語 / 項書換え系 / 条件付き項書換え系 / 制約解消系 / ナローイング
研究概要

宣言型言語で書かれたプログラムに暗黙的に存在する並列性を活用し、超並列計算環境下で高速に宣言型プログラムを実行できることを実証しようというのが、本研究の目的である。
本研究では、宣言型言語の計算モデルとして、項書換え系に着目している。研究の課題を、
(1)項書換え系の超並列計算の理論的な問題点の解明、
(2)項書換え超並列計算の実現、
(3)項書換え系を計算モデルとする超並列計算に適した宣言型言語の設計
に分け、研究を推進した。以下に具体的な研究成果を述べる。
項書換え系の簡約戦略
項書換え系の簡約戦略における並列処理と逐次処理の長短得失について、理論的な検討を行った。逐次戦略には計算可能性と計算コストの双方を損なわないで、より広いクラスの項書換え系を対象とする正規化戦略がある。これまでに、簡約における巡経路を巧妙に検出し、逐次でも正規化戦略となる知的逐次戦略を見出した。この新たな逐次戦略は従来の逐次戦略の限界であった強逐次正交項書換え系より広い項書換え系に適用することができる。
項書換え超並列計算の実現
条件付き項書換え系のナローイング戦略を検討した。ナローイングの完全性を保証する戦略として、LOI戦略(Leftmost Outside-In戦略)を定義し、その完全性を示した。完全性は、strict-equationを条件にもつ正交条件付き項書換え系に対して保証される。この結果をさらに作用型条件付き項書換え系に拡張し、高階プログラミングが可能な言語の計算モデルを設計した。
並列/分散環境下での制約解決系
ナローイング計算系と制約解消系を組み合わせた計算系、制約ナローイング計算系を設計した。

報告書

(1件)
  • 1993 実績報告書
  • 研究成果

    (6件)

すべて その他

すべて 文献書誌 (6件)

  • [文献書誌] T.Ida and S.Okui: "Outside-In Conditional Narrowing" IEICE trans.Inf.& syst.(発表予定).

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] T.Ida and K.Nakahara: "Leftmost Outside-In Narrowing Calculi" Third Workshop on Functional Logic Programming Schwarzenberg. (1994)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] A.Middeldorp and Y.Toyama: "Completeness of Combinations of Constructor Systems" Journal of Symbol Computation. 15. 331-348 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] A.Middeldorp: "Modular Properties of Conditional Term Rewriting Systems" Information and Computation. 104. 110-158 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] A.Middeldorp and B.Gramlich: "Simple Termination is Difficult,Proceedings of the 5th International Conference on Rewriting Techniques and Applications,Montreal" Lecture Notes in Computer Science. 690. 228-242 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] A.Middeldorp: "Completeness of Combinations of Conditional Constructor Systems" Journal of Symbolic Computation. (発表予定).

    • 関連する報告書
      1993 実績報告書

URL: 

公開日: 1993-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi