delphi XE，Berlin [dcc32 Error] Unit9.pas(93): E2033 Types of actual and formal var parameters must be identical ...
Sonya and Problem Wihtout a Legend Sonya and Problem Wihtout a Legend Sonya was unable to think of a story for this problem, so here comes the formal ...
分类：
其他好文 时间：
2016-09-18 10:04:37
阅读次数：
163
Semicolons The formal grammar uses semicolons ";" as terminators in a number of productions. Go programs may omit most of these semicolons using the f... ...
分类：
其他好文 时间：
2016-09-07 14:23:22
阅读次数：
136
https://en.wikipedia.org/wiki/First_normal_form https://en.wikipedia.org/wiki/Second_normal_form A relation is in first normal form if and only if the ...
分类：
其他好文 时间：
2016-08-30 01:52:41
阅读次数：
191
学习函数式编程的大图(big map)/鸟瞰图，并在没有掌握Scheme的各种语言细节之前，给出Scheme代码。这意味着我们不需要看懂源代码，而是将这里的介绍作为后续学习的大图，使自己知道身在何处；
1930s初，普林斯顿大学的逻辑学家阿伦佐·丘奇 (Alonzo Church，1903-1995) 开发出了一种新的形式系统(formal system)，即拉姆达运算/演算 (λ-...
分类：
其他好文 时间：
2016-05-13 02:32:57
阅读次数：
289
协议声明类需要实现的的方法，为不同的类提供公用方法，一个类可以有多个协议，但只能有一个父类，即单继承。它类似java中的接口。正式协议（formal protocol） 声明正式协议使用@protocol指令，以@end结尾。@protocol MyXMLSupport- initFromXMLRe ...
分类：
其他好文 时间：
2016-04-11 12:07:20
阅读次数：
130
在芯片设计(IC)领域有专门的职位叫做芯片验证工程师，其中的一种方法叫形式验证(Formal Verification)，具体包括等价性检查，模型检查和定理证明。 本章所讲的程序验证方法(不要与软件测试混为一谈)，与芯片行业的形式验证法非常相似。参考芯片行业，随着分工的细化，软件也会有专门的验证工程 ...
分类：
其他好文 时间：
2016-03-24 07:38:11
阅读次数：
168
判断checkbox是否被选中方法一：if($("#checkbox-id")get(0).checked){//dosomething}选中：true没选：false$("#formal").get(0).checkedtrue$("#formal").get(0).checkedfalse方法二：if($(‘#checkbox-id‘).is(‘:checked‘)){//dosomething}选中：true没选:false$("#formal").i..
分类：
Web程序 时间：
2015-10-20 19:46:02
阅读次数：
177
教材：算法导论 2nd edition2.1-31 SEARCHING-VALUE(A,v)2 for i ← 1 to n3 if v = A[i]4 return i5 return NILSEARCHING-VALUE(A,v)2.1-4 Formal statement...
分类：
其他好文 时间：
2015-10-17 21:54:55
阅读次数：
242
A lambda expression is an unnamed block of code (or an unnamed function) with a list of formal parameters and abody.Java8中的lambda表达式不同于C#,使用的是->eg:// ...
分类：
编程语言 时间：
2015-10-06 15:19:51
阅读次数：
224
