本科5年 K. O.
定理証明支援系言語による定性空間表現の形式化に関する研究
本科5年 T. S.
ハードウェア開発手法を用いないFPGA実装による画像分類処理の高速化
本科5年 E. T.
リアクティブプログラミング言語による非同期アプリケーションの速度向上
本科5年 R. T.
Kinectを用いた弓道の模範姿勢モデルの作成
本科5年 S. N.
不完全情報ゲームをプレイする人工知能の開発