神戸大学准教授．SATやCSPソルバーおよびその応用に関する研究をしています．2018年のXCSP18国際CSPソルバー競技会の2部門で優勝しました! tsoh.org/jp/

ID: 1395836833

linkhttp://tsoh.org/jp/ calendar_today01-05-2013 23:46:40