>>1095024
ACL2って何ですが？そんなのあったの？ACLEならフロンターレも出たことあるから知ってるけど。