論理学か数理哲学をやった子がいるね(´ー｀)もう一人の子はそうじゃないな