やっぱり「教授」はコテハンだね。