暑假学点啥

安排一下暑假日程。

日常

• 俄语：
  • Learn Russian in 365 days：一天一课
  • 《中国城》；
• 王力《古代汉语》：一天一段文选，5 个常用词；

七月

七月都在上代数和 lean，趁这个机会好好学学。

• 代数：
  • 认真做习题；
  • 把 Bosch 前四章给读了；
  • 随缘读范畴论；
  • 可以参考 Chapter 0 和李文威；
• 电脑：
  • Theorem proving in lean；
  • Function programming in lean；
  • 继续读 Lambda calculus and Combinators；
  • 进一步了解类型论：
    • Coq 的类型论；
    • Mario 的文章 —— Type theory of Lean；
    • HoTT Book 前几章，或者 An introduction of HoTT；
    • 可以参考这个日程；

八月

这时候应该比较闲了

• 逻辑：已经到了不可不读的地步了！
  • 目前没什么想法，跟着 Bimsa logic 的课时走吧；
• 范畴论：没啥说的，读完七月欠下的债；
• 书籍：很久没读书了，应该读点东西
  • 暂定，总之学校的书我肯定不会带回家的；

其他任务就不布置了，因为毕竟是暑假。