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

P is not NP

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