溝淵文庫（溝淵進馬）

　教育者の溝淵進馬（みぞぶち　しんま、1870–1935）の旧蔵書で、教育および哲学関係の和書378冊、洋書846冊からなる。
　溝淵進馬は1895年帝国大学（現・東京大学）哲学科を卒業。ドイツ、フランス等に留学して教育学を学んだ。東京高等師範学校教授、第四高等学校校長、第五高等学校校長を経て、1931年に第三高等学校校長となった。名校長として知られた。