ACL2って、、、
どうなの？

疲労やタイトなスケジュールになって
リーグに影響出るリスクまでおかして出る価値あるのかよくわからない