>>748706
そうだね。だから多分ACL2でもエリートでも決勝まで行かない限りは1.5万人すら厳しいと思うよ。