>  2017/03/12 (日) 00:14:35        [misao]
> PかつPならばPであるというのを証明したりする勉強を始めた

コンピュータって数学とか人間より得意そうなのに数学者の方が上なんだよな(;´Д`)

参考:2017/03/12(日)00時12分56秒