22fall助教前来评课。作业作业不要抄袭实验框架这学期的实验框架绝大部分沿用去年的，最重要的改动是指令链表的数据结构：由std::list<Instruction*> 改为llvm::ilist<Instruction> ，LLVM侵入式链表在erase成员时会自动delete，因此解决了去年框架 >>more
芭蕾基训指的是芭蕾的基础训练，主要练习一些舞蹈的基本功。由于芭蕾发展较久，对身体的训练较为科学，芭蕾基训也会在古典舞以及一些现代舞的练习中出现。老师是安徽艺术职业学院的老师，我网上查了半天好像没看到这个学校有芭蕾舞专业，老师上课给人的感觉是她教的芭蕾基训是为了古典舞服务的。并且由于中国古典舞要求的 >>more
这门课本科生和研究生都可以选，本科生在西区上网课，研究生则是在高新区。课程分两部分，第一部分是静态程序分析，第二部分是编程语言理论。考试开卷，我那个时候PL的部分没怎么复习，到最后没做完。程序分析部分的参考教材是这个https://users-cs.au.dk/amoeller/spa/，老师的pp >>more
实验哲学是哲学界一个新兴的流派，“旨在结合实证研究与传统的哲学研究方法”（维基百科）。本门课程主要介绍实验哲学的基本思想，它在一些传统的哲学问题上（如伦理学，自由意志等等）的新思路，以及较新的哲学问题（比如人工智能），也会穿插心理学和神经科学的讨论。偶尔点名，可以请假；期末是小组合作做一个关于哲学（ >>more
本门课程大概讲述的是形式化方法(Formal Methods)的一部分具体地说，是SAT/SMT Solver (DPLL & CDCL算法, Z3)和Model Checking(LTL, CTL逻辑, Fix-point, ROBDD, NuSMV)最后一节课简单介绍了ProVerif, Dol >>more
个人感觉老师讲课一般，绝大部分时间在推荐书，没有很深入的讲解附上写小论文发现的古代哲学公开课（英文）https://www.youtube.com/playlist?list=PLSvsx8116eZjRuC0qaZ5UEhybCsYpA-1j >>more
成绩还没出，先来写点评价给后面选修的同学避个雷。上课只能说是中规中矩，介绍一些考古学的理论，具体的考古实例则是以国内的考古工作为主，有ppt考核方式是小论文。二月一号deadline, 成绩现在还没出。重点是，老师在提交成绩后，才通知我们说有同学没交论文（大约7、8个）。后来这些同学纷纷把发送的邮件 >>more
张娜老师超级可爱，强推。这门课只有张娜老师，另外一位都没见过（老师讲课很细致，定理证明全部手写，也会补充很多例题，平时作业不算多，很照顾基础比较差的同学哦。期末不考级数。考试非常简单，基本全是计算题，今年期末只有一道证明但也很简单（试卷的总体难度跟单变量完全没得比）助教也很负责，习题课准备很充分，而 >>more
梁老师的课，选他选他！！每节课都是精神盛宴，老师专业水平高课堂也把握得很好，反正超享受就是了。楼上也有同学说要辩证的看待老师课上所说，之前在课上也说过类似的话，大概是前几节课可以同意老师的，到后面就要有不同的观点了。最后就是，复旦真好啊（ >>more
老师上课催眠，而且班上很闷，味道略大所以上了几节课之后就没再去过了（老师不点名），每次在去三教路上看到老师都觉得有点罪恶感啊hhh力学和热学的所有作业都会在开讲第一章时给出，量也不算大。期末热学考了好多原题，不过我还是太菜了。 >>more
别的同学都已经写很多了，我说点比较个人的感受吧。我在考前没几天才知道communication中文翻译叫传播学（老师喜欢上课提问，总评里面有参与度的占比，然而个人并不是很喜欢举手发言不知道总评会不会受影响呢，不过学期后半段基本没有提问环节了。老师自己口语不好却非常看重同学presentation时的 >>more