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