昨天在写图形学实验一，摆了
总体上看，CS143确实不如科大编译原理讲的好，不过知识量会多一部分。对于初学者来说，国外的课可能需要在课下花更多时间学习。
今天看了CS143的14-15节课
这几天旅游去了
今天function准确率达到68/100
今天看了CS143的16-17节课，准备接下来学习CSE 507的PPT
目前的结论是CS143的9-12，15-18节比较重要，别的内容和学校的编译原理基本重复
今天看完了CS143
好强
今天开始学习去年科大形式化方法课，共14节*2.5h
今天看了形式化方法1-2节
为什么不直接学今年的形式化方法（
xvld 得看一个学期，太慢了
今天看了形式化方法第3节
今天看了形式化方法第4-5节
这两天补图形学作业和数据库的课
开始学习南京大学软件分析课，前六节与科大编译原理基本重复，这两天看了第7-8节。
今天看了南大软件分析第9-10节
今天看了南大软件分析第11-12节
今天看了南大软件分析第13节
