ACL2なんてないほうがいいよ
いつまでもチーム作り直しやってる馬鹿チームには重すぎる