数学だけじやなくて情報工学の中にも数理論理学の教授はいるだろう