計数工学科って数理工学や離散数学やるんだっけ?