JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > D-IS. 博士(情報科学) >
述語階層, イベント性および内在的否定を導入した順序ソート論理
エージェント技術を利用した匿名通信に関する研究
様相論理に対する代数とフレーム
個性を考慮した情緒あるピアノ曲の自動演奏に関する研究
再利用可能な拡張機構を備えた言語処理系