メンバー

(2017年度)

本科5年 K. O.

定理証明支援系言語による定性空間表現の形式化に関する研究

本科5年 T. S.

ハードウェア開発手法を用いないFPGA実装による画像分類処理の高速化

本科5年 E. T.

リアクティブプログラミング言語による非同期アプリケーションの速度向上

本科5年 R. T.

Kinectを用いた弓道の模範姿勢モデルの作成

本科5年 S. N.

不完全情報ゲームをプレイする人工知能の開発

本科5年 Y. W.

定理証明支援系言語CoqからのJavaプログラム抽出