ACL2捨てるのはちょっともったいないような気もするけど 今の選手層では単なる罰ゲームとしか思えないんだよな。