研究発表

オブジェクト指向の概念にもとづいた知識の表現方法およびそれを用いてファジイ推論を行うためのメカニズムの提案。

並行オブジェクト指向言語のためのガーベージコレクション方式の提案。

著者らが開発中の並行オブジェクト指向言語ABCL/c+の概説。

ベル研で開発されたオペレ-ティングシステムXINUをABCL/c+で書き換えた結果を踏まえ並行オブジェクト指向言語の有用性を報告。

我が国におけるオブジェクト指向計算に係わる研究活動を具体的に紹介。

並行オブジェクト指向言語でオペレーティングシステム核を記述する際の問題点とその解決策について発表。

次世代コンピュータが目指すべきものは何かについて論述。

第五世代コンピュータが社会に与えるインパクトは何かについて論述。

Smalltalk-80，SimulaおよびDeltaをとりあげオブジェクトの捉え方、属性の参照方法、並行構文等広範囲にわたる比較研究。

Smalltalk-80の並行性および並行プログラムを作成する際の留意点について報告。

オブジェクト指向言語の代表であるSmalltalk-80とSimulaの構文および意味上での比較研究。

情報伝達のための抽象データであるストリームとメッセージ通信との結合によるUnixのパイプ機能の実現方式の提案。

M68000を用い，クラスの概念を導入した高水準言語COMPLによる単一使用者，多重プロセスの個人的計算環境の開発経過報告。

情報を転送するときの媒体であり抽象データであるストリームをクラスの概念で実現するための方法の提案。

著者らが提案した強制論理を用いる並列プロセス仕様記述言語作成上の問題および具体的な言語の提案。

同期基本命令の変遷を紹介すると共に事例を挙げて数理的証明法の必要性を説く。

並行処理の記述に「高々」操作と「少なくとも」操作が有効であることおよびそれらの実現方法の提案。

M68000系で個人用計算環境を作成するまでの中間段階としてCromencoをベースとした環境の開発経過報告。

多数の学生実習をさばくためにJCLを自動生成し画面エディタをもつマイクロコンピュータを中継装置とすることによりTSS端末の欠陥を克服する方式の提案。

著者らが提案する並列プロセス仕様記述法PDRの記述方法，証明法等について発表。