数理論理君なんか微妙に認識ズレてるからなぁ