鯉人 2023/12/19 19:21 iOS17.1.2 No.610708 >>610705 まあ、ACL2の初代王者になるチャンスがあると思えば、それはそれでいいんじゃないかな。 ACL2でも6億くらいの賞金だよね?