卒業論文

2016年度

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

2015年度

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