杨家海课题研讨会 网研院副书记 卡尔比尔 张长水 模式识别 数字电子技术基础 教育部 数学 求真书院 教学资源 清华风物 郑莉 11 第二十届消防技能运动会 教学支撑党支部 量子软件 党委副书记 杨家海老师课题验收会 顾问委员会 疫情防控工作会