計算量を少なくする論理を考えるAIが必要だな