Персоны / Дерябин Ф.А. полк., преподаватель Горного института