ごめんなさい…教えて欲しいのですが、4位でACL2は確定になったのでしょうか？まだ何か出場には条件があるのでしょうか？すみません…何かいろんな記事が出ててよくわかりませんので…