JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > D-IS. 博士（情報科学） >
協調共有力覚提示型仮想現実環境のシステムアーキテクチャに関する研究
直観主義線形論理に対するペトリネットモデル
疎結合分散環境における耐故障性と適応性を実現するソフトウェアの構成に関する研究
格子結合型並列計算機の自律再構成ハードウエアに関する研究
適切様相論理の意味論的研究
