学内のものでしょ
むしろ教授とかも含めて