>>677444
それはでかいね。
ただ、ふと思ったけどACLEが競合揃いになるって事はACL2の方が日本勢の優勝する可能性高まらない？笑 賞金自体ははエリートの方が良いに決まってるけど。