王小明 (计算机科学家) 王小明年月甘肃天水人陕西师范大学计算机科学学院院长