| 研究分担者 |
玉井 哲雄 東京大学, 大学院・総合文化研究科, 教授 (60217172)
上田 和紀 早稲田大学, 理工学部, 教授 (10257206)
荒木 啓二郎 九州大学, 大学院・システム情報科学研究科, 教授 (40117057)
富樫 敦 静岡大学, 情報学部, 教授 (20172140)
二木 厚吉 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50251971)
|
|---|
| 研究概要 |
1、通信相手を特定しないを導入し,解放分散系におけるソフトウェアの発展的な変更や拡張を効率的に行うことを可能とした。
2、オブジェクトの原始プログラムの計量化を行い、クラスの行数,メソッド数などの頻度分布は負の2項分布に従うことなどのオブジェクトの進化パターンを抽出した.
3、仕様を代数仕様言語CafeOBJを用いてモジュール化し,それらの合成によって全体の仕様を構成する方法を取り,合成のパターンを再利用可能な形に分類した.
4、事例研究を通して,モデル形成の過程および形式仕様の構成と記述の過程を分析し,システム仕様記述の発展過程について形式仕様記述の特徴や意義を考察した.
5、並行理論プログラミングにおける強モード体系を基礎として,仕様なしでプログラムの軽微な誤りの箇所を固定し,さらに誤りを自動修正する枠組みを提案した.
6、システム要求を命題述語と述語論理に基づいて定義し,これを動作モデルとなる形式仕様(状態遷移システム)に変換する方法を提案し、その健全性と完全性を証明した
7、マルチプロセス,マルチスレッドの環境で稼働し,フィールド機構マイグレーション機能マルチエージェントシステム記述用言語の開発を行った.
8、「細胞に基づくプログラミング」,さらにπ計算を基盤とした「能動形プログラミング」を提案し,効率の良い実装のため可変回路部をもつJavaプロセッサLSIを作成した.
9、データ構造の分散化(分散データ構造)に着目し,いくつかの異なる観点から分散データ構造の性質の解明とその効率のよい実装法の開発を行った.
|
