JAIST Repository > JAIST > Theses > Doctor of Philosophy(Information Science) >
協調共有力覚提示型仮想現実環境のシステムアーキテクチャに関する研究
直観主義線形論理に対するペトリネットモデル
疎結合分散環境における耐故障性と適応性を実現するソフトウェアの構成に関する研究
格子結合型並列計算機の自律再構成ハードウエアに関する研究
適切様相論理の意味論的研究