1474962☆ああ 2024/09/24 16:57 (Chrome)

>>1474956
ACL2の優勝賞金は250万ドル(3.6億円)。準優勝は100万ドル(1.4億円)。金銭的なメリットは無いと思うな。