卒業論文

2017年度

山崎 友也:
Linked Dataを用いた理論グリッドのWebインターフェースの開発
大塚 拓実 :
汎用前向き推論サーバFreeEnCal Webの実用化
辻 陽成:
簡潔データ構造LOUDSを用いた省メモリ版汎用前向き推論エンジ ンFreeEnCalの実装
鎌田 陽平:
汎用電子アンケートサーバENQUTE-BAISEのデータ可搬性の向上
梅舘 拓也:
Linked Dataを用いた理論グリッド構築法の有用性の実証

2016年度

阿部 卓也:
交流会で使用できるモバイル端末を用いた グループ分け支援ツールの開発
日暮 悠貴:
施設における故障や不具合の通報支援サービスの開発
佐久間 亜都武:
理論グリッドの構築:NBG集合論の形式理論フラグメントを用いた事例研究

2015年度

伊藤 拓也:
汎用前向き推論エンジン FreeEnCal におけるデフォルト推論を扱える推論機構の実現
吹留 寛陸:
汎用前向き推論エンジンFreeEnCalの省メモリ化