ACL2なんて優勝したって2部のタイトルだし、若手の育成の場で良い。
とにかく国内のタイトルを取るために頑張って欲しい。