Segmentという単位で分割して記述する手法を提唱しており、そのプロトタイプとして並列分散フレームワークAliceを開発している。Aliceが分散プログラムを記述する能力を有することは確認された。Segmentの形式を選択できる機能が必要である。SegmentをObject型、MessagePackを使ったByteArray型、圧縮されたByteArray型の3つの形式で表現できるメタ計算の設計と実装を行った。Segmentという単位で分割して記述する手法を提唱しており、それに基づく並列分散フレームワークAliceを開発している。Aliceが分散プログラムを記述する能力を有することは、Aliceを用いた水族館の例題、分散データベースJungle、木構造画面共有システムAliceVNCによって確認された。Segmentを圧縮形式で扱える機能が必要である。Segmentの多態性を用いた圧縮機能を実現した。Segment、タスクをCodeSegmentという単位で分割して記述する並列分散フレームワークAliceの開発を行っている。Computationとして提供することで、スケーラブルな分散プログラムを信頼性高く記述できる環境を実現している。+並列指向プログラミング言語Erlangでは、プロセスと呼ばれる独立性を備えたスレッドにPidという識別子+が対応しており、Pidを指定してメッセージを送受信する手法を用いて並列分散環境を実現している。Lindaは、タプルというIDで番号付けられたデータの集合を相互接続された複数のタプルスペース(LindaServer)に出し入れするプログラミングモデルである。+一方、AliceではString型のkeyに対応するQueueにデータが入っており、タスクはkeyを指定して必要なデータのみを出し入れするモデルを採用している。そのためタスクとデータの依存関係を分かりやすく記述でき、依存しない部分の並列実行が行える。Computationとして提供することで、スケーラブルな分散プログラムを信頼性高く記述できる環境を実現している。分散プログラムを記述する能力を有することは確認された。分散プログラムを記述する能力を有することは確認された。実用的な分散プログラムを作成するためには、受け取ったデータをそのまま転送したい場合や圧縮されたデータ形式で通信を行いたい場合がある。