JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > D-IS. 博士(情報科学) >
代数の表現と無限および述語論理のクリプキ完全性
オブジェクト指向方法論の形式化とその計算機支援環境
インターネット上での最終的決済に関する研究
An Algebraic Formal Method for Component based Software Developments
電子メールを利用したコミュニケーションにおける会話の円滑性の評価尺度とその計算法について