ACL2はヨーロッパリーグみたいなもんだけど、知名度と権威なさすぎる。
やっぱ今までのACLの流れを汲むACLE(ACLエリート)に参加しないと。