<li>信頼性とスケーラビリティに優れた分散プログラムをプログラマが一から記述することは容易ではない。いう単位で分割して記述する<strong>並列分散フレームワークAlice</strong>の開発を行っている。<li>Aliceは分散環境の構築のためのAPIが提供されており、スケーラブルな分散プログラムを信頼性高く記述できる環境を実現する。<li>当研究室が開発している並列分散フレームワークAliceではスケーラブルな分散プログラムを信頼性高く記述できる環境を実現する。<li>Aliceのメタ計算として、通信が切断した際の処理やデータを圧縮する処理等を提供することで、プログラマがコードを大きく変更することなくプログラムの振る舞いを変えることを可能にする。<li>水族館の例題等において、Aliceが分散プログラムを記述する能力を有することは確認された。<li>実用的な分散プログラムを作成するためには、圧縮形式のデータで通信する機能等が必要だとわかった。いう単位に分割してプログラミングを行う。<li>DSはAliceが内部にもつデータベースにより管理されており、CSはDSに対応する一意のkeyを使ってDSを操作する。Segmentの多態性を実現しノード間通信における自由度の向上を図る。DS(出力されるDS)を持つ。<li>CSはkeyで指定されたDSが揃うと実行されるという性質を持つ。<li>複数の関係のない要素を1つのデータオブジェクトで表現した場合、全ての操作でlockが必要になり、スケラビリティーを低下させる。データを細かく分割して記述する。