論理系はAI方面で結構日の目見るらしいから一概には言えんのやない