>>2023475
Ｘ 今だに
◯ 未だに
ACLEとACL2の出場資格は公式発表してないのに、未だにはないだろ。