コンピュータが自動で理論を構築できるようになるといいな