十八、老师
书迷正在阅读：女神的贴身侍卫暖婚之贤妻至上日漫H合集【all高启强】疤大乃男主的专属异常世界观被隔壁男神艹年少轻狂，痛大妖与军先生快穿之睡了反派以后（H）没钱上大学的我只能去屠龙了HP 咸鱼玛丽小姐清冷仙尊以身饲魔学长好好吃（校园bl/gb nph）崇青（1v1h）美貌蛇君已上钩【虫族/主攻】嫁给偏执上将后怎么办野蛮游戏H（糙汉攻x诱受）——第一个世界 轩辕擎似是故人来骨科年上怎么你了？疗癒餐馆心有不轨【双性小妈】圣诞快乐，亲爱的狐狸先生落秽暗度陈仓（校园H）【穿书】沦陷纪年【蓝色监狱】拆文练习【策瑜】终日梦为瑜斯德哥尔摩贱人专属春药心墙（futa/gl）糙汉室友太狂野（h）君临世界顶端的学生会轮回共生诀契约少女VS恶魔天团秦小姐她知道错了gl穿越异大陆，我成了被争夺的雌性
，山丰开始觉得b较轻松了，《数据库》是杨冬青老师，《软T工程》是唐世渭老师，《C作系统》是方裕老师，他们都是中年後期的老师，杨老师、唐老师b较严肃，方老师b较随和。进入大四后，课程很少了，大四第一学期，大家主要准备研究生入学考试，每日到图书馆，早出晚归，也去听了一些补习班，曾经觉得宿舍有些吵，想在校外租房，後来作罢。记得是春节後考试，第一次寒假没有回家，最後顺利考上本系研究生，拜师任绪江老师门下。 大四第二学期，只有选修课，毕业参加工作的同学基本都不愿再上课了，因此课堂上人很少。有两门课，山丰记得非常清楚，一门是张乃孝老师讲的《程序证明》，另一门是张立昂老师讲的《计算理论》。《程序证明》让山丰耳目一新，因为以往都是通过上机测试的方法来检验程序的正确X，但不能保证完全正确，现在把程式视为数学定理一般，严格证明它的正确X，觉得匪夷所思和神奇，那真是理想主义盛行的八十年代的北大才有的课程。後来山丰去到很多其他学校，包括长期工作的复旦大学，再未听说有人开设过这样的课程，估计现在绝迹了。张立昂老师是山丰最敬重和佩服的老师，他上课的内容和风格山丰都非常喜欢，课程内容理论X强，有深度而充实，难度很大，没有多余的话，讲得很透彻，板书也很清楚，山丰觉得他的诀窍是首先自己理解得透，其次JiNg心安排内容的顺序。这门课由於很难，又是大四下学期，离别的思绪冲淡了学习的热情，坚持上完的同学好像不到五人，山丰