ACL2で学んだはずや、あのスカッドで優勝できてんから‥って三冠の時みたいな寝言を言う訳がない
ケチャドバ発表が楽しみや