摘要：
\(\lambda\)-calculus Background 首先这是一种编程语言，在1930s被Alonzo Church和Stephen Cole Kleene发明（两位都是听说过的明星人物） 还是一种计算模型，在1937年被Alan Turing证明其和图灵机的表达能力等价（这位更是重量级） 阅读全文
摘要：
概率论前置技能 其实就三个公式 条件概率公式： \(Pr[B|A]=\dfrac{Pr[A\wedge B]}{Pr[A]}\)，这个是定义 贝叶斯公式 \(Pr[B|A]=\dfrac{Pr[A|B]\cdot Pr[B]}{Pr[A]}\)，这个只需要按照上面的展开就可以证明 全概率公式 \(P 阅读全文
摘要：
感觉第一节课都差不多 推荐了Software Foundations，搜了一圈发现非常劝退....但还是磨磨蹭蹭看完了Lists 书上说不建议贴答案和题解，那就不贴了吧（ developing general abstractions, or building blocks, for solving 阅读全文
摘要：
Basic Set Theory 没啥好讲的 \(\bigcap S=\left\{\;x\;|\; \forall T\in S,x\in T \;\right\}\) 记 \(R=\bigcap\emptyset\)，则 \(\forall x. \forall T\in\emptyset\we 阅读全文
摘要：
密码学关心的问题和应用 Secrecy，即信息是否泄露 Integrity，即信息是否被篡改 Oblivious Transfer(不经意传输) Zero Knowledge Proof(零知识证明) Secure Multi-party Computation(多方计算) Digital Curr 阅读全文
摘要：
写的时候复制到笔记2那里去了...晕，这个点还不睡就是不行啦 CFG 上下文无关语法(Context Free Grammar)，或者说BNF(Backus Naur Form)，是用于描述一类语言的法则，也即是语法 语法包括： 终结符号(terminal)集 \(T\) 非终结符号(nonterm 阅读全文
摘要：
词法分析的作用 读取字符流，输出词法单元给语法分析器 在1的过程中去掉不必要的内容(空白符、注释)，查错报错 与符号表交互，插入符号的相关内容 虽然词法分析和语法分析是两个独立的部分，但它们通常在同一趟 为什么要独立词法分析 模块化 词法分析很简单，实现也很简单 PPT把1+2又说了一遍.... 词 阅读全文
摘要：
思考题的引入 首先看这样一道思考题： 如何用正则表达式识别所有是三的倍数的二进制串？ 考虑最暴力的做法。用一个变量rem表示一个串的前缀作为二进制对3的余数，对新进来的字符讨论： 进来一个0，则rem=(rem<<1)%3;，因为我们是从高位向低位读的 进来一个1，则rem=((rem<<1)+1) 阅读全文
摘要：
前话 开了SICP的坑，记一下lisp的方言scheme的一些东西 我的笔记本是manjaro，本来折腾了半天装不上mit-scheme，后面发现直接自带guile就蛮能用的(能用就行) 一个很重要的点就是求值的时候有两种规则：正则序和应用序，分别表示先替换后计算和先计算后替换。 一般的scheme 阅读全文
摘要：
Soundness Conservative approximation: captures all program behaviors, or the analysis result models all possible executions of the program 然鹅 Academia 阅读全文