自学计算机课程打卡

今天开始学习国外计算机课程，每天坚持打卡。

2024.2.14，昨天看了MIT6.172前两节课，一共23节课。

2024.2.15，今天看完了MIT6.172的3-5节课

2024.2.16，今天看了6.172的第6节课，和StanfordCS143的1-2节课（共19节课 https://www.bilibili.com/video/BV17K4y147Bz/?p=67&share_source=copy_web&vd_source=e382fd239c495ea093367392734a3ef4）。并决定放弃6.172的project（发现当时这门课的project需要调用的库似乎对非MIT学生不开放）。

2024.2.17，上午看了CS143的第3节课，下午开始继续写建木杯sysy编译器。

寒神！

寒神！

今天摆了，写了4小时编译器，没有看课

2024.2.19，今天看了CS143的4-5节，下午继续写sysy编译器。

2024.2.20，今天也没看课，写了3小时sysy编译器，通过测试用例数达到11/18。

2024.2.21，今天没看课，编译器换用100个测试用例，通过55个

2024.2.22，今天继续摆，测试表明测试用例通过65/100，昨天不准确

2024.2.23，看了CS143第六节课，测试用例通过达到75/100

神！

2024.2.24，今天看了CS143第7-8节课，测试用例llvm中间代码通过率77/100，明天开始进行后端的处理，目前通过率31/100

CS143的第9节之后出现了编译原理课没有涉及的内容，开始讲利用形式化方法表达类型系统。这部分与数理逻辑有关联，但显然我们所学的数理逻辑课本的讲法并不好，不能体现计算机中的应用。

今天摆了，只看了CS143的第9-10节课，编译器明天再写

今天看了CS143的11-12节课，编译器后端准确率达到54/100

今天看了CS143的第13节课，编译器func文件夹通过数量达到65/100