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

1992 年度 研究成果報告書概要

並列LISPとその処理系の研究

研究課題

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

一般研究(A)

配分区分補助金
研究分野 情報工学
研究機関東北大学

研究代表者

伊藤 貴康  東北大学, 工学部, 教授 (80124551)

研究期間 (年度) 1989 – 1992
キーワード並列LISP言語 / PaiLisp / P-コンティニュエーション / PaiLisp-Kernel / 並列インタプリタ / 並列コンパイラ / 並列Prologの実現 / 構造化ネット操作システム
研究概要

人工知能やソフトウェア科学の分野における並列記号計算のために、並列LISP言語を設計・試作すると共に、ベンチマークプログラムによる性能評価や各種の並列記号計算への応用を行い、試作システムが研究レベルの実用に供し得ることを示した。
本研究において設計した並列LISP言語は、PaiLispと呼ばれ、豊富な並列構文を備えており、最も強力な並列LISP言語である。一方、PaiLispの核が抽出され、PaiLisp-Kernelと名付けられている。PaiLispには、様々な特徴があるが、特に重要な特徴は、
(1)P-コンティニュエーションという並列コンティニュエーションを導入した事
(2)PaiLisp-Kernelを抽出した事
(3)P-コンティニュエーションに基づく並列LISP言語の処理方式を与えた点にある。
PaiLispの処理系は、共有メモリ型並列計算機ALLiant/FX80を用いて作成され、並列インタプリタと並列コンパイラが存在する。並列インタプリタは、開発後、1年余りの使用実績があり、ベンチマークプログラムだけでなく、各種の応用に利用される実用システムとなっている。並列コンパイラは、ベンチマークプログラムの実行はできるが、実用システムとするためには、更に、プログラミング環境を整える必要がある。
PaiLispの応用としては、並列PrologのPaiLisp上での実現、構造化ネット操作システムの実現、並行項書き換系の実現、ATMSの並列処理や並列構文解析システムの実現、また並列数式処理への応用などが取り上げられ、システム評価にも使われた。

  • 研究成果

    (11件)

すべて その他

すべて 文献書誌 (11件)

  • [文献書誌] T.Ito,M.Matsui: "A parallel Lisp language PaiLisp and its kernel specification" Springer LNCS. 441. 58-100 (1990)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] T.Ito: "Lisp and parallelism" Artificial Intelligence and Mathematical Theory of Computation. 187-206 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] T.Ito,T.Seino: "On PaiLisp continuation and its implementation" Proc.ACM Workshop on Continuations. 73-90 (1992)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] T.Ito: "Parallel Symbolic Computing" 第29回東北大学電気通信研究シンポジウム論文集. 29-31 (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] T.Seino,S.Kawamoto,T.Ito: "PaiLisp interpreter and its applications" Springer LNCS. (1993)

    • 説明
      「研究成果報告書概要(和文)」より
  • [文献書誌] T.Ito,M.Matsui: "A parallel Lisp language PaiLisp and its kernel specification." Springer LNCS. vol.441. 58-100 (1990)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] T.Ito,R.Halstead,Jr.: "Parallel Lisp: Languages and Systems" Springer LNCS. vol.441. (1990)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] T.Ito,H.Oyaizu: "Channel-Lisp: A parallel Lisp language based on channel communication" Proc.Princeton Conference on Information Sciences and Systems. 984-989 (1990)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] T.Ito: "Lisp and Parallelism" Artificial Intelligence and Mathematical Theory of Computation (ed. V.Lifschitz). 187-206 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] T.Ito and T.Seino: "On PaiLisp continuation and its implementation,Proc." ACM Workshop on Continuations(ed. O.Danvy and C.Talcott). 73-90 (1992)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [文献書誌] T.Seino,S.Kawamoto,T.Ito: "PaiLisp interpreter and its applications" Springer LNCS.

    • 説明
      「研究成果報告書概要(欧文)」より

URL: 

公開日: 1994-03-24  

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

Powered by NII kakenhi