ACL2ではユースの子達に経験積ませるんかな
まぁ強度高い国際大会とか高校年代の子らには一生の財産になるしええと思う