ACL2はタイとか東南アジアあたりのチームとやるんだからそりゃヌルい。
コスパは最高だな。
天皇杯取る方が間違いなく難易度高いけど身入りがまるで違うもんな。