専攻科2年 T. S.
グラフ構造を用いた機械学習によるHOLの自動証明に関する研究Towards automated proof of HOL by machine learning using graph structure
機械学習によるHOLの自動証明に関する研究
ハードウェア開発手法を用いないFPGA実装による画像分類処理の高速化
専攻科2年 Y. W.
形式仕様記述言語AlloyからのC#コードの生成定理証明支援系言語CoqからのJavaプログラム抽出
本科5年 M. A.
音声反訳を用いた日本語文章の難易度推定
本科5年 S. E.
キクの芽かきロボット実現に向けたわき芽の三次元位置の推定
本科5年 R. S.
VRコントローラの常時モーション検出システムの実装
本科5年 I. H.
人狼ゲームにおける人工知能が学習困難な戦術の研究