0280Nanashi_et_al.垢版 | 大砲2016/10/09(日) 13:09:00.26 数学の論文って、コンピューターで論理破綻を見つけ出すこととかできないかね? まぁ将来的にの話だが・・・