メンバー(2018年度)

専攻科1年 T. S.

Towards automated proof of HOL by machine learning using graph structure
機械学習によるHOLの自動証明に関する研究

専攻科1年 Y. W.

本科5年 D. I.

植物画像の三次元復元による芽かき位置に関する研究

本科5年 N. O.

リアクティブプログラミングを用いたソフトウェア保守性の向上

本科5年 A. G.

人狼ゲームにおける人工知能と人間の知能との差異の研究

本科5年 Y. K.

インターネット上における短文投稿の攻撃性評価

本科5年 K. F

語句言い換えを用いた対話システムの精度向上