ACL2を狙うなら、今補強すべきだが、そうで無いなら夏補強といいたいが、夏だったら補強出来るなんて絶対無いだろな今までみてたら