ACL2もし出れるなら、もうちょい選手必要な気がする
十分このメンバーでも大丈夫だと思うけど