メンバー(2022年度)

専攻科2年 R. I.

強化学習を用いた迷路探索システムのモデル検査ツールによる検証

専攻科2年 M. Y.

Fractional Encoding of At-Most-K Constraints on SAT
SATにおけるAt-Most-K制約の分数型符号化

専攻科1年 K. K.

骨格推定を用いた突き飛ばし被害の検知手法

専攻科1年 S. T.

本科5年 Y. A.

定理証明支援系Coqによる研究室配属アルゴリズムの形式的検証

本科5年 T. N.

SATソルバを用いた時間割編成における解空間の研究

本科5年 U. Y.