教授は大学にいる．