ソフトウェアの形式的洗練化と検証に関する基礎的研究

プロトコルと通信ソフトウェアの設計に関する基礎的研究

書換え系の性質の形式的検証に関する研究

通信ソフトウェア仕様検証技術の効率向上に関する研究

ソフトウェアの見積モデルに関する研究

形式的陶冶の研究

構造物の形状最適化に関する基礎的研究

ソフトウェアの系統的な機能テスト法に関する研究

ランダムパターンの記述と生成に関する基礎的研究

セメント層の力学的挙動に関する基礎的研究

半溶融加工に関する基礎的研究

セラミックスの破壊靱性に関する基礎的研究

植物生長のモデリングに関する基礎的研究

金属合せ管の二次成形に関する基礎的研究

分散ソフトウェアの構築モデルに関する研究

道路材料の特性に関する基礎的研究

対人的位置関係に関する基礎的研究

難成形性粉末の衝撃固化に関する基礎的研究

無鉄心形超電導変圧器に関する基礎的研究

耐震フェイルセーフ構造に関する基礎的研究

ソフトゼラチンカプセル剤の崩壊性に関する基礎的研究

ねじの塑性域締結に関する基礎的研究

自揚式海洋作業台の洗掘防止工の評価に関する基礎的研究

ソフトウェア開発支援システムに関する研究

球形シェルの線形・非線形振動特性に関する基礎的研究