漂浮法，顾名思义，就是一块块的往上飘。
以逆序来进行放置，即n to 1。逆序的好处在于放置一个矩形后，俯视看到的就是最终俯视该矩形应该看到的。因为挡着它的矩形在之前已经放置好了，所以可直接统计，为递归创造了条件。每放一个矩形，可以想象成将其扔入一密度很大的海水底部，海分成了n层,然后矩形开始向上浮。在上浮过程中若碰撞到其他的矩形则断裂成几个小矩形，继续上浮，直到浮出水面。于是想到用个递归来模拟...
git log 的用法，具体参考 git log --help，以下是个人在使用中遇见的问题，略作统计。
查看单个文件的修改差异（类似于查看单个文件的log，同时将每次log 的详细记录都显示出来）：
--full-diff
Without this flag, git log -p ... shows commits that touch the specified paths,...
分类：
其他好文 时间：
2014-05-01 18:33:15
阅读次数：
324
从计算的本质到编程语言，所谓计算，是构建在一套公理体系上的，并且在此基础上不断向上演化。
两大类型：数值计算-数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等；符号推导-符号推导包括代数与各种函数的恒等式、不等式的证明，几何命题的证明等；
两种范式：计算理论的研究：侧重于从数学角度证明表达能力和正确性，比较典型的图灵机、lambda演算、pi演算这些都属于这个范畴。计算模型的研究：侧重于对真实系统的建模和刻画；...
分类：
编程语言 时间：
2014-04-30 22:31:39
阅读次数：
571
这两年一直在做无线的测试，后续还会继续去做无线的测试，但是之前因为时间的原因一直都没有非常仔细的了解到代码层面。近期抽空自己做了些app的开发，决定如果想把移动的测试做好做深入，有一定的app开发经验非常的有必要，因为只有这样很多东西才能真正理解了。另一个方面，这本身就很有趣。
实践的过程也想陆续整理出来，做下笔记，也给别人一些参考，遇到很多问题的时候也是到谷歌度娘的找答案，帮助很多。目前更...
分类：
移动开发 时间：
2014-04-30 22:28:40
阅读次数：
472
语言发展
计算机的硬件只能识别0和1组成的机器指令，而机器指令是最基本的计算机语言，但是我们平时进行程序设计时肯定不会用机器语言来编程，因为用它的效率低，更让人难以理解。因此聪明的人类发明了汇编语言，它使用符号来表示指令，例如用ADD表示加法，这就容易理解了。但是汇编语言和机器语言十分接近，其书写取决于机器指令，因此它还是一种面向机器的语言，所以称它为低级语言。相应的，又在此基础上，开发出...
分类：
其他好文 时间：
2014-04-30 22:24:38
阅读次数：
319
在K-fold cross validation 下 比较不同的K的选择对于参数选择（模型参数，CV意义下的估计的泛化误差）以及实际泛化误差的影响。更一般的问题，在实际模型选择问题中，选择几重交叉验证比较合适？
交叉验证的背景知识：
CV是用来验证模型假设（hypothesis）性能的一种统计分析方法，基本思想是在某种意义下将原始数据进行分组，一部分作为训练集，一部分作为验证集，使用训练...
分类：
其他好文 时间：
2014-04-30 22:14:38
阅读次数：
327
在11g中，默认自动收集统计信息的时间为晚上10点（周一到周五，4个小时），早上6点（周六，周日，20个小时），如下所示：
select a.window_name, a.repeat_interval,a.duration
from dba_scheduler_windows a, dba_scheduler_wingroup_members b
where a.window_na...
分类：
数据库 时间：
2014-04-29 13:28:21
阅读次数：
469
1、Map-Reduce的逻辑过程
假设我们需要处理一批有关天气的数据，其格式如下：
按照ASCII码存储，每行一条记录每一行字符从0开始计数，第15个到第18个字符为年第25个到第29个字符为温度，其中第25位是符号+/-
0067011990999991950051507+0000+
0043011990999991950051512+0022+
00430119...
分类：
其他好文 时间：
2014-04-29 13:22:20
阅读次数：
309
