摘要: 前话 开了SICP的坑,记一下lisp的方言scheme的一些东西 我的笔记本是manjaro,本来折腾了半天装不上mit-scheme,后面发现直接自带guile就蛮能用的(能用就行) 一个很重要的点就是求值的时候有两种规则:正则序和应用序,分别表示先替换后计算和先计算后替换。 一般的scheme 阅读全文
posted @ 2021-08-15 13:10 jjppp 阅读(72) 评论(0) 推荐(0) 编辑
摘要: 恶补一下java来方便写作业,希望能用的上 一直有点抗拒这门语言,给我的感觉就是笨重麻烦,很难写一些很漂亮的做法 变量和类型 java是强类型语言,需要显式地声明变量的类型.变量的类型分为两种: primitive类型,包括: 整形:long int short byte,分别表示单字、双字、四字、 阅读全文
posted @ 2021-06-19 15:06 jjppp 阅读(36) 评论(0) 推荐(0) 编辑
摘要: 更新:因为开始写PA2了,因此决定重回这个坑,顺便记录一下解决一些C问题的方法,不一定和语法相关 现在才知道 oi 用的是 C-with-STL... 感觉自己对这个看起来很单纯的语言仍然不够了解 打算仔仔细细地写一写自己不太会的东西,包括与 C++ 不同的语法、宏(macro)的技巧、指针的技巧等 阅读全文
posted @ 2020-12-27 00:08 jjppp 阅读(96) 评论(0) 推荐(0) 编辑
摘要: Pseudo Random Generator 真的随机性是要求很强的东西,上一章是对安全性的适当弱化,而这一章就是对随机性的适当弱化,使得我们可以得到一个“不那么随机但是可以当成随机数用的随机数” 也就是伪随机性 定义 这里的随机性指的是一个比特串的分布的随机性,通常用 \(\text{Dist} 阅读全文
posted @ 2021-10-19 21:09 jjppp 阅读(6) 评论(0) 推荐(0) 编辑
摘要: Types 首先要说明什么是Type Types可以看成是对数据的分类、一种约定,即我们用一个界来描述一类数据构成的集合,用不同的界区分不同的数据种类。对于untyped的语言,我们则可以看成是只有唯一一种包罗万象的type 类型实际上有很多作用,可以进行针对性的优化、可以提供部分代码的信息、可以作 阅读全文
posted @ 2021-10-05 10:42 jjppp 阅读(16) 评论(0) 推荐(0) 编辑
摘要: Background 前面提到的perfect secrecy虽然好,但有着理论上的局限:key太长、key太多等等,用起来不是那么方便 一个idea就是,我们放弃部分安全性来换取更实用的密码。这里要回答几个问题:放弃哪些?放弃多少?放弃之后的安全性如何衡量? 注意,接下来的讨论如无特殊说明,都以e 阅读全文
posted @ 2021-09-27 14:27 jjppp 阅读(21) 评论(0) 推荐(0) 编辑
摘要: \(\lambda\)-calculus Background 首先这是一种编程语言,在1930s被Alonzo Church和Stephen Cole Kleene发明(两位都是听说过的明星人物) 还是一种计算模型,在1937年被Alan Turing证明其和图灵机的表达能力等价(这位更是重量级) 阅读全文
posted @ 2021-09-16 11:36 jjppp 阅读(15) 评论(0) 推荐(0) 编辑
摘要: 概率论前置技能 其实就三个公式 条件概率公式: \(Pr[B|A]=\dfrac{Pr[A\wedge B]}{Pr[A]}\),这个是定义 贝叶斯公式 \(Pr[B|A]=\dfrac{Pr[A|B]\cdot Pr[B]}{Pr[A]}\),这个只需要按照上面的展开就可以证明 全概率公式 \(P 阅读全文
posted @ 2021-09-15 01:26 jjppp 阅读(43) 评论(0) 推荐(0) 编辑
摘要: 感觉第一节课都差不多 推荐了Software Foundations,搜了一圈发现非常劝退....但还是磨磨蹭蹭看完了Lists 书上说不建议贴答案和题解,那就不贴了吧( developing general abstractions, or building blocks, for solving 阅读全文
posted @ 2021-09-09 21:44 jjppp 阅读(9) 评论(0) 推荐(0) 编辑
摘要: 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 阅读全文
posted @ 2021-09-09 21:44 jjppp 阅读(16) 评论(0) 推荐(0) 编辑
摘要: 密码学关心的问题和应用 Secrecy,即信息是否泄露 Integrity,即信息是否被篡改 Oblivious Transfer(不经意传输) Zero Knowledge Proof(零知识证明) Secure Multi-party Computation(多方计算) Digital Curr 阅读全文
posted @ 2021-09-02 22:02 jjppp 阅读(34) 评论(0) 推荐(0) 编辑
摘要: 写的时候复制到笔记2那里去了...晕,这个点还不睡就是不行啦 CFG 上下文无关语法(Context Free Grammar),或者说BNF(Backus Naur Form),是用于描述一类语言的法则,也即是语法 语法包括: 终结符号(terminal)集 \(T\) 非终结符号(nonterm 阅读全文
posted @ 2021-09-01 01:33 jjppp 阅读(25) 评论(0) 推荐(0) 编辑
摘要: 词法分析的作用 读取字符流,输出词法单元给语法分析器 在1的过程中去掉不必要的内容(空白符、注释),查错报错 与符号表交互,插入符号的相关内容 虽然词法分析和语法分析是两个独立的部分,但它们通常在同一趟 为什么要独立词法分析 模块化 词法分析很简单,实现也很简单 PPT把1+2又说了一遍.... 词 阅读全文
posted @ 2021-09-01 01:32 jjppp 阅读(38) 评论(0) 推荐(0) 编辑