JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > D-IS. 博士（情報科学） >
制限付き構造規則を持つ部分構造論理
Orthologicsの意味論的研究
マイクロホン対を用いた雑音除去法に関する研究
Software Agents and Quality of Service Issues in Distributed Systems
項書換え系の停止性，AC停止性，依存対に関する研究
