ああ 2025/09/16 21:39 iOS18.6.2 No.1403715 ACL2の優勝賞金って250万ドル？ 計算間違ってたらごめんやけど、3億円程の賞金やんね ACLEより下のカテゴリかもしれんけど、気合い入るなぁ
