コンピュータに頼るから理論が発展しなくなるんだろう。
逆だな。