Takahisa TODA (戸田貴久)

0110100_Ⅰ類（情報系）, 0110000_情報理工学域, The University of Electro-Communications

Constraint Satisfaction | 制約充足

Satisfiability | 充足可能性

論理と推論

Artificial Intelligence | 人工知能

Discrete Algorithm | 離散アルゴリズム