1 0 0 0 負触媒を持つ抽象化学系の計算万能性
化学反応にヒントを得て計算モデルを構築しようという試みはいくつかある。ブロダクションシステムの自己組織化を化学反応に見立てた金田の化学的キャスティングモデル(CCM)、並行計算の理論的記述に化学反応メタファを生かしたBerry、Boudolの化学抽象機械CHAM(CHemical Abstract Machine)などであり、またペトリネットとの対応も古くから指摘されている。我々は特に創発計算を目指した化学反応のモデル化を試みてきている。 本稿では、最も基本的な抽象化学系と、その拡張である負触媒を持つ系について述べる。抽象化学系では特にセルオートマトンが記述可能であることを指摘し、負触媒を持つ系では特に抑止アークつきペトリネットとの等価性と計算万能性を指摘する。
1 0 0 0 OA 並列 lisp によるXインタフェース
- 著者
- 近藤 奈々 中西 正和
- 雑誌
- 情報処理学会研究報告プログラミング(PRO)
- 巻号頁・発行日
- vol.1992, no.49(1992-PRO-065), pp.1-7, 1992-06-12
従来のウインドウ環境におけるインタフェースにおいて、1つの処理を始めるとそれが終わるまで、他のイベントを受け付けないので、ユーザを待たせる原因となっている。これはインタフェースを記述するプログラムが並列性を持っていないためである。本稿では、Xウインドウシステムインタフェースを記述する言語に並列性を導入し、Xサーバと通信機能をもつ並列 lisp 処理系 Momolisp について報告する。Momolisp は Unix 上の1つのプロセスの中で動作し、その中で複数のスレッドを実行させる。
- 著者
- 岩井 輝男 中西 正和
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告. 記号処理研究会報告
- 巻号頁・発行日
- vol.93, no.52, pp.9-16, 1993-06-18
Lisp ServerはMach OS 3.0 と似ていて,単純な機能とLispインタプリタを備えたOSである.この基本となる考えはシンプルで,拡張性のあるカーネルの通信を持っている.この目的はすべてのOSの処理がカーネルを通してユーザプログラム(スレッド)間の通信で可能になるまで,OSの機能をカーネルの外に出すことである.極端に言えば,カーネルはユーザプログラム間の通信をサポートするだけとなる.このような思想のもとに設計したLisp ServerはMulti-User Multi-Threadであり,すべてのLispのセルを共有した,環境をユーザに与えるOSである.
1 0 0 0 ISLisp言語処理系のバイトコードインタプリタの実装
Lispは1962年のLisp1.5の発表以来、記号処理用言語として発展し続けている。そのなかで、ISO(International Organization for Standardization)により設計されたLispの標準化案に、ISLispがある。ISLispは、Common Lispをベースの言語とし、小さく、効率の良い処理系の作成を目的として設計されたLisp言語である。本研究は、ISLisp言語処理系の実装を目的とする。本システムは原始プログラムを中間コードに変換するコンパイラ部分と、中間コードを解釈、実行するインタプリタ部分とから成り、中間コードにはバイトコードを用いる。本稿ではISLisp言語処理系のインタプリタ部分であるバイトコードインタプリタILBIについて、その実装方法と、インタプリタの効率化について報告する。
1 0 0 0 バイトコードインタプリタを用いたLispコンパイラシステム
世界的に行われているLisp言語の標準化の活動の1つとして、国際標準機構ISOによるものがあり、ISLispと呼ばれている。ISLispの特徴は、Common Lispの仕様から使用頻度の低い機能を取り除いたものである。このため、Common Lispに比べ処理系の作成が容易である。また、オブジェクト指向機能も兼ね備えている。本研究では、ISLispに準拠したLispの実装をバイトコードインタプリタにより行なった。この実装は2段階に分けられる。第1段階(本システム):コンパイラがLispのプログラムを後置記法に直し、中間コードに変換する。そして、このコードに最適化を施し、バイトコードで書かれたファイルに変換する(これ以降この作業をコンパイルという)。第2段階:バイトコードインタプリタがバイトコードに変換されたプログラムを読み込み、解読し、スタック機械により実行する。本稿では、第1段階のコンパイラの実装および、中間コードに最適化を施した際の実行効率について述べる。