《软件分析》笔记

课程
南京大学《软件分析》Yue Li and Tian Tan 课程主页, 视频 1. Course Introduction 课程介绍 PL 的分支 语言的分类：命令式 (C, Java)、函数式 (Haskell)、逻辑式/声明式 挑战：语言没有变，但是程序变复杂了， ...
Read More

Regex Golf Solutions

Regex
正则表达式练习（玩耍）网站 Regex Golf。 使用指南：点开右边的每一道题，可以看到两个 list。写出一个正则表达式，使得可以匹配（不要求完全匹配）左边列的每一个，不能匹配右边任意一个。 Classic Warmup: foo Anchors: k$ It neve ...
Read More

2020 寒假编程辅导

课程
给小朋友开的编程课的讲义和练习题 OJ: 洛谷 1/19: 课程简介、运算符 1/20: 数据类型、洛谷关卡1-1前三题(P1000, P1001, P1421) 1/21: 输入输出、选择结构、洛谷关卡1-1第四题(P1425)、关卡1-2第一题(P1422) 1/2 ...
Read More