摘要： Theorem 1.1 (Helly, Hahn–Banach analytic form). Let p : E → R be a function satisfying (1) p(λx)=λp(x) ∀x∈E and ∀λ>0, (2) p(x+y)≤p(x)+p(y) ∀x,y∈E. Let 阅读全文

摘要： 最近在读Modern Complier Implementatnion in C. 做到语法分析（syntax analysis）时，发现不知道如何写注释的正则表达式： 以下的正则表达式: "/*"[.|\n]"*/" 会根据最长匹配原则，将两行注释间的代码当作注释： /*comments*/ va 阅读全文

摘要： 费马小定理： 如果p是一个质数，而整数a不是p的倍数，则有a^（p-1）≡1（mod p） 证明一个数字是质数： 如果r为质数，则对于所有的整数 1 <= z <= r-1 ，z^(r-1) ≡1（mod r） 也就是说，如果存在z使得z^(r-1) !≡1（mod r）,则r是合数 存在两种这样的 阅读全文

摘要： innodb官方文档中说： A record lock is a lock on an index record. For example, SELECT c1 FROM t WHERE c1 = 10 FOR UPDATE; prevents any other transaction from 阅读全文

摘要： 在/etc/paths中添加后重启terminal。需要系统权限。 阅读全文