> > PかつPならばPであるというのを証明したりする勉強を始めた
> ｺﾝﾋﾟｭｰﾀって数学とか人間より得意そうなのに数学者の方が上なんだよな(;´Д`)

でも最近は数学の証明もｺﾝﾋﾟｭｰﾀｰで全探索するってどっかで読んだ気がする

参考：2017/03/12(日)00時14分35秒