COB (C with OBject)は著者らが開発しているオブジェクト指向言語である.COBの主眼点は,オブジェクト指向を基本にして,それに近年のプログラミング言語技術で有効性が実証されている主要な手法を結合することにより,プログラム,およびその開発プロセスの質的向上をねらった汎用言語を提供することにある. 本論文では,現在実現されているCOBのオブジェクト指向について説明する.まずCOBの設計方針について述べ,以下,クラス,多重継承,型,そしてクラスのビューについてその基本的な内容を説明する.最後に現時点でのCOBの使用経験について述べる.

並列オブジェクト指向言語を,分散環境すなわち共有メモリを持たない多重プロセッサシステム上で実現する際に問題となる点として, 1. 分散環境上での実現に適した言語の設計. 2. 分散環境上でのオブジェクトの管理・実現方法. 3. 並列実行機構の実現方法. の3点が挙げられる. 本論文では,1.に関しては,分散環境上での実現を考慮しながら兼列オブジェクト指向モデルABCM/1に基づき設計された,並列オブジェクト指向言語ABCL/Mについて述べている.また,2.と3.に関しては,オブジェクトをあるノード上のヒープ領域内にスタックとして実現し,オブジェクトへのポインタを,そのノードのノードIDとスタックを指しているオブジェクトテーブルのインデックスの組からなるDOOP (Distributed Object-Oriented Pointer)として実現することによって解決している. さらに,分散環境におけるオブジェクトのガーベッジコレクション(GC)に関しては,生きているオブジェクトの参照のリンク辿りのバッファリングを目的とした"マーカー方式のGC"と,システム全体を停止することなしにMark& Sweep方式のGCを行うために,Chandy& LamportのDistributed Snapshotsのアルゴリズムを応用する方法について述べている.

従来,ネットワークを実装する場合には,ネットワーク参照モデルに基づく,プロトコルレイヤを単位としたモジュール化を行ってきた.しかし,この実装モデルでは,新たなプロトコルをサポートしたり,既存プロトコルを変更する場合,モジュールを直接書き換えなければならない.このため,バグの混入などの大きな影響を,既存のモジュールに与えてしまう. 本論文では,バーチャルコネクションをモジュール単位とする,コネクション指向型実装モデルを提案する.コネクション指向型実装モデルは,上記の問題点を解決し,プロトコルの拡張および変更に対して柔軟なネットワークシステムの構築を可能とする.また,この実装モデルには,オブジェクト指向の枠組みを用いて容易に実現できるという利点もある. これらの,コネクション指向型実装モデルの有効性を検証するために,AIワークステーションELIS上で,核言語TAOのオブジェクト指向機能を用いてTCP/IPネットワークを実現した.本ネットワークシステムの特徴は,プロトコルの特徴である階層性を考慮し,各プロトコルレイヤに対して一つのクラスを対応させ,下位プロトコルレイヤをスーパークラスとしたオブジェクトとしてネットワークストリームを実現したこと,および,一つのオブジェクト上で,複数のプロセスが走行して処理が行われることである.

並列性が内在する問題を計算機上で表現する時,1対1の通信を基礎とするモデルでは不自然な表現を強いられる場合が存在する.そこで,オブジェクト同士が制限付きブレードキャストによって相互作用を行う並列計算モデルを提案し,そのモデルによる同期や相互排除の表現について論じる.また,分散協調型問題解決システムを構築する道具として本モデルを適用した場合の有効性に関しても述べている.

本論文では,計算機による空間の定性的表現と推論に関する研究の一環として,特に「近さ」の表現を取り上げ,「近さ」の知識表現と,その対話処理システムにおけるインプリメンテーションについて述べる.まずはじめに「近さ」の意味の文脈依存性について述べ,そこで必要となる「参照枠(reference frame)」の概念を定義する.次に,この概念のインプリメンテーションと実行例について説明する.