11.2.2.1 结构相等和比较
在F# 中，我们能声明的大多数类型，都是不可变的；如果我们不显式提供实现IComparable 接口，并重写 Equals 方法，F# 编译器会自动实现，它是通过比较结构相等（structural equality）实现的。对F# 的类，还不能自动完成，只对简单的函数类型，比如，记录、差别联合和元组，不必要显式声明。
使用这种比较类型的值，如果它们是相...
分类：
其他 时间：
2015-01-09 17:30:58
收藏：
0 评论：
0 赞：
0 阅读：
222
经过一个多月的努力和共同开发，我们小组的机房合作也终于完成了，由于这次是合作的组长所以要做好的不仅仅是系统的那些逻辑，更多的是学会使用一些工具去将自己的思路和相应的逻辑表述出来。
一、EA图
之前使用EA画过类图、用例等一些常用的图，但是这次合作要将九种图对应到每个类型的文档中。这就要求我们必须很熟练地使用EA工具，尤其是做组长的。这里主要介绍创建类型和MoreTools...
分类：
其他 时间：
2015-01-09 17:30:16
收藏：
0 评论：
0 赞：
0 阅读：
254
11.2.2.2 测试列表
我们将要测试的函数是广义（generalized，是百度翻译的，不知道到底是什么意思）的版本，输出多字组成的名字；不同的是，函数结果返回名字，而不是打印。结果是有两个列表的元组：一个包含多字的名字，另一个包含单个词的名字。在函数的术语中，这个操作称为分区（partitioning），我们使用来自标准的F# 库中的List.partition 函数，很容易就能实现...
分类：
其他 时间：
2015-01-09 17:30:06
收藏：
0 评论：
0 赞：
0 阅读：
224
题解：
首先我们考虑每次都做一遍树形DP（树形DP自己脑补去，随便乱搞就过了）。
显然这是TLE无疑的。
所以可以利用LCA单调性构建虚树。
思想：
我们发现每次树形DP有很多点用不到，但是却需要被扫过，让他们见鬼去吧！
实现：
我们只对每次扫的图插入本次询问需要的节点，以及它们的LCA。
这样询问了m个点，虚树就至多只需要2m个点（so quick）。
而插入顺...
分类：
其他 时间：
2015-01-09 17:29:56
收藏：
0 评论：
0 赞：
0 阅读：
217
首先nib的三个字母分别代表NeXT(帮主回到苹果前搞的操作系统,后来演化成如今的Mac和iOS),ib其实是Interface
Builder的简写。
interface builder提供了可视化编程 。
//科普知识
iOS开发,在2010年推出iPad之前其实就是iPhone开发。所以很多早期的iOS教程都写的是iPhone应用开...
分类：
其他 时间：
2015-01-09 17:29:36
收藏：
0 评论：
0 赞：
0 阅读：
352
1、启动容器并映射宿主机到容器端口
docker run -p 127.0.0.1:20001:22 -ti centos /bin/bash
2、daemon方式启动容器
docker run -d -p 127.0.0.1:5000:22 -ti centos /bin/bash
docker run -ti -p 0.0.0.0:7600:9600 -p 0.0.0.0...
分类：
其他 时间：
2015-01-09 17:28:56
收藏：
0 评论：
0 赞：
0 阅读：
300
Problem Description
Corrupt governors always find ways to get dirty money. Paint something, then sell the worthless painting at a high price to someone who wants to bribe him/her on an auction, thi...
分类：
其他 时间：
2015-01-09 17:28:36
收藏：
0 评论：
0 赞：
0 阅读：
279
简单的关于身份证(15位或者18位)合法性验证...
分类：
其他 时间：
2015-01-09 17:27:47
收藏：
0 评论：
0 赞：
0 阅读：
360
之前零零散散写了, 转了一系列Xcode使用相关的文章，包括调试技巧，快捷键等等，但是一直没有汇总。今天就专门开一篇合集，纪录自己接触过的一些技巧。 以后相关的主题都会在这里持续更新。 iOS开发- Xcode常用快捷键iOS开发准备篇-(4)Xcode基本操作 iOS开发准备篇-(5)Xcode调试技巧_1 ios开发准备篇-(6)Xcode调试技巧_2ios开发准备篇-(7)Xcode调试技巧...
分类：
其他 时间：
2015-01-09 17:27:26
收藏：
0 评论：
0 赞：
0 阅读：
241
Path Sum II...
分类：
其他 时间：
2015-01-09 17:26:46
收藏：
0 评论：
0 赞：
0 阅读：
154
如果我们想
rsync -avzP --delete --password-file=rsyncd.secrets root@192.168.145.5::rhel4home rhel4home...
分类：
其他 时间：
2015-01-09 17:25:37
收藏：
0 评论：
0 赞：
0 阅读：
287
QT5解决中文乱码以及出现C2001错误解决方法。...
分类：
其他 时间：
2015-01-09 17:25:26
收藏：
0 评论：
0 赞：
0 阅读：
472
一、问题描述：
在n×n格的棋盘上放置彼此不受攻击的n个皇后。按照国际象棋的规则，皇后可以攻击与之处在同一行或同一列或同一斜线上的棋子。n后问题等价于再n×n的棋盘上放置n个皇后，任何2个皇后不妨在同一行或同一列或同一斜线上。
输入：
给定棋盘的大小n (n ≤ 13)
输出：
输出有多少种放置方法。
二、解题思路：
要解决N皇后...
分类：
其他 时间：
2015-01-09 17:25:16
收藏：
0 评论：
0 赞：
0 阅读：
551
第一次使用NSPredicate类，这个类主要做数据过滤。比如数组根据条件过滤对象，过滤对象是否包含对象，支持正则表达式。作用等同于sql条件查询，由于是系统类，效率更高一些。
//===================================================
例子1：数组根据对象属性过滤对象
@interface Person : NSObject
@proper...
分类：
其他 时间：
2015-01-09 17:24:06
收藏：
0 评论：
0 赞：
0 阅读：
366
What is the ThreadLocal
早在JDK 1.2的版本中就提供java.lang.ThreadLocal，ThreadLocal为解决多线程程序的并发问题提供了一种新的思路。使用这个工具类可以很简洁地编写出优美的多线程程序。
ThreadLocal很容易让人望文生义，想当然地认为是一个“本地线程”。其实，ThreadLocal并不是一个Thread，而是T...
分类：
其他 时间：
2015-01-09 17:23:47
收藏：
0 评论：
0 赞：
0 阅读：
207
action必须要用花括号括起来，这在前面已经强调过。action可以是一条命令，也可以是多条命令，但是命令之间要用分号间隔。
action的内容是丰富多样的，本质上它就是一个小shell脚本，不仅可以是执行各种各样的命令组合，也可以有if等控制结构，还可以定义变量。不过正如前面所说，如果缺省action的话，实际上执行的是print命令，即打印相关内容到标准输出。也可以显式的指定，如：gawk '{print}' file。...
分类：
其他 时间：
2015-01-09 17:23:16
收藏：
0 评论：
0 赞：
0 阅读：
247
**************************************************************************
时间：2014-11-8
作者：Sharing_Li
转载出处：http://blog.csdn.net/sharing_li/article/details/42298317
*******************************...
分类：
其他 时间：
2015-01-09 17:22:56
收藏：
0 评论：
0 赞：
0 阅读：
363
背景：做了三个半小时，代码能力堪忧啊，各种调试，各种出错，要分析一下，这些错点尽量不能再错。
学习：1.对于字符串数组，要把每一行都开大一位，该位用来存放'\0',否则将会出现未知输出。也就是说：字符串二维数组的每一行都可以看做一个字符数组，结尾都有一个'\0'.printf在用'%s'格式符输出字符串，总是从给定的首地址开始，遇到'\0'结束。
2.写程序的时候要有动态的眼光来看待当前写...
分类：
其他 时间：
2015-01-09 17:22:17
收藏：
0 评论：
0 赞：
0 阅读：
208
最近做的windows下的项目涉及到对VS的一些零散配置，记录如下：
1、要让vs2012下创建的工程支持winXP，需要下载update 3或以上的更新包。安装完后，在properties->configuration properties->general->platform tools下选择Visual Studio 2012 - Windows XP (v110_xp)，这样输出的可执行...
分类：
其他 时间：
2015-01-09 17:21:46
收藏：
0 评论：
0 赞：
0 阅读：
196
在开发项目中，想要使异步或分页加载更好看一些，可以在ListView加上HeaderView或者footerView。
1、生成一个FooterView
在例子中，只是实现了一个进度条，右侧一个提示文本，所以可以简单写一个布局，然后通过LayoutInflater生成一个View。
2、在ListView.setAdapter()方法之前调用ListVie...
分类：
其他 时间：
2015-01-09 17:21:09
收藏：
0 评论：
0 赞：
0 阅读：
347
