>>4889673
ACLは昔あった大会。
ACL2はACLEのオマケみたいな感じ。