>>830379
今じゃなくて今後ACL2に出場する時の条件が知りたいんです。