>>77
ならんよ
昨今流行りのニューラルネット系のAIは逆にそういう厳格なロジックの組み立ては苦手
厳格な論理に基づく推論ではなく、統計処理で「それらしい」答えを出すのに特化している