JAIST Repository > JAIST > Theses > Doctor of Philosophy(Information Science) >
代数の表現と無限および述語論理のクリプキ完全性
オブジェクト指向方法論の形式化とその計算機支援環境
インターネット上での最終的決済に関する研究
An Algebraic Formal Method for Component based Software Developments
電子メールを利用したコミュニケーションにおける会話の円滑性の評価尺度とその計算法について