十八、老师
书迷正在阅读：与我同眠·禁脔为爱（少女VS总裁 1V1）当恶毒炮灰拿到女主剧本all霖 我们有老婆飞上枝头（高干包养）雨神启示录见青时（古代乡村高H）万道神王羞耻心禁欲沦陷橙光玩家她撂挑子不干了【nph】温柔以待星途逆行【闪GO】花儿凋谢可却是迷人在原地，等你现代校园女孩生存实录/分高中大学职场阶段逃出直隶如何让女友舔她的jiejie（纯百/3P/骨科）快穿：疯批男主偏要疼爱我喜欢不良这件事小美人无奈委身老肥丑受孕生子星际兽夫们：萌妻养成记三世情缘逼婚美好人生与无赖路人的白烂日常穿越后看着女友被人侵犯的绿帽男欺凌三角你就非要惹我喜欢（1V1 H）当你自远方来心动。诡异入侵：我在末世囤积亿万物资强制爱狗血暗黑脑洞《帝国之殇》高 H NP SM格格被巧取豪夺昭昭（骨科）渣男贱女
的因素。 单老师基本不按书本讲，在黑板上一板一板地不停地写，不太关心下面的反应，单老师应该自有乐趣，他沉浸并享受着这门有着奇怪符号和术语的课程，山丰艰难地认真听着，有些目瞪口呆，除了「定义、引理、推论、例子」这些字外，基本都看不懂，最让山丰惊讶的是，最後一节课了，他仍然证明的是引理，学了一个学期，一个定理也没有看到。这门课给了山丰类似《中国美学史》课程的感受，虽然不懂，但还是感觉到了某种很有价值的知识的涌动，让山丰燃起对它持续的热情，後来，山丰自己尝试过多次有关数理逻辑的书籍。 在後有丁文魁老师讲授的《编译原理》，这是山丰最喜Ai的课，也是山丰觉得软T专业唯一的真正有点理论T系的课程，其中的形式语言和自动机原理部分对山丰影响很大，山丰後来研究生选择自然语言处理方向与这关系很大，山丰希望能够将这些严谨的表示也用於自然语言，或者发展出适合自然语言的形式T系。丁老师上课总是微笑，课间休息Ai和同学们聊天，回答同学们的问题。《编译原理》有一个大作业，就是要实现一个类b编译器，将普通PASCAL程序转换成一种受限的PASCAL程式b如只有一个变数，山丰和另一个同学组队，两人分工，《编译原理》的大作业基本由山丰完成，另一个大作业——C作系统模拟器——由他完成，这份作业山丰完成得b较好，十道测试题只有最後一道关於递归的问题没有通过差一点点，是山丰在北大学习中最有成就感的一次。之後的学习