ACLE、ACL2への参加資格が意味わからんすぎる。
正味の話、参戦できる可能性は高いのか低いのか。それさえよく分からん