図書館長をへて、1987年定年退官、名誉教授。