1992 Fiscal Year Annual Research Report
Project/Area Number |
01420029
|
Research Institution | TOHOKU UNIVERSITY |
Principal Investigator |
伊藤 貴康 東北大学, 工学部, 教授 (80124551)
|
Keywords | 並列LISP言語 / PaiLisp / P-コンティニュエーション / PaiLisp-Kenel / 並列インタプリタ / 並列コンパイラ / 並列Prologの実現 / 構造化ネット操作システム |
Research Abstract |
人工知能やソフトウェア科学の分野における並列記号計算のために、並列LISP言語を設計・試作すると共に、ベンチマークプログラムによる性能評価や各種の並列記号計算への応用を行い、試作システムが研究レベルの実用に供し得ることを示した。 本研究において設計した並列LISP言語は、PaiLispと呼ばれ、豊富な並列構文を備えており、最も強力な並列LISP言語である。一方、PaiLispの核が抽出され、PaiLisp-Kernelと名付けられている。PaiLispには、様々な特徴があるが、特に重要な特徴は、 (1)P-コンティニュエーションという並列コンティニュエーションを導入した事 (2)PaiLisp-Kenelを抽出した事 (3)P-コンティニュエーションに基づく並列LISP言語の処理方式を与えた点にある。 PaiLispの処理系は、共有メモリ型並列計算機Alliant/FX80を用いて作成され、並列インタプリタと並列コンパイラが存在する。並列インタプリタは、開発後、1年余りの使用実績があり、ベンチマークプログラムだけでなく、各種の応用に利用される実用システムとなっている。並列コンパイラは、ベンチマークプログラムの実行はできるが、実用システムとするためには、更に、プログラミング環境を整える必要がある。 PaiLispの応用としては、並列PrologのPaiLisp上での実現、構造化ネット操作システムの実現、並行項書きの換系の実現、ATMSの並列処理や並列構文解析システムの実現、また並列数式処理への応用などが取り上げられ、システム評価にも使われた。
|
-
[Publications] T.Ito,M.Matsui: "A parallel Lisp language PaiLisp and its Kernel specification" Springer LNCS. 441. 58-100 (1990)
-
[Publications] T.Ito: "Lisp and parallelism" Artificial Interlligence and Mathematical Theory of Computation. 187-206 (1991)
-
[Publications] T.Ito,T.Seino: "On PaiLisp continuation and its implementation" Proc.ACM Workshop on Continuations. 73-90 (1992)
-
[Publications] T.Ito: "Parallel Symbolic Computing" 第29回東北大学電気通信研究所シンポジウム論文集. 29-31 (1993)
-
[Publications] T.Seino,S.Kawamoto,T.Ito: "PaiLisp interpreter and its applecations" Springer LNCS. (1993)