論理エンジンが塾で利用されるのはなぜ?