>>4850768
ACLEの7節、8節の時は同じタイミングでACL2はトーナメント戦やってたけどな。