>>670
反論というか当然コストはかかる
コンピュータに入力して確認終わりなんて時代は当分来ない
でも、そうやってコストかけずに証明できたか分からない論文を持て余す国は置いていかれるだろうね