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