鯉人
No.610708
まあ、ACL2の初代王者になるチャンスがあると思えば、それはそれでいいんじゃないかな。
ACL2でも6億くらいの賞金だよね？
まあ、ACL2の初代王者になるチャンスがあると思えば、それはそれでいいんじゃないかな。
ACL2でも6億くらいの賞金だよね？
まあ、ACL2の初代王者になるチャンスがあると思えば、それはそれでいいんじゃないかな。
ACL2でも6億くらいの賞金だよね？