ところで東工大の数学科ってどんな感じ?