6.4.2 使用 bind 函数
下一步，我们想消除外层的模式匹配，这，使用 Option.map 是做不到的，因为这个函数总是，输入为 None，转换后输出是 None，输入为 Some，转换后输出是包含其他值的 Some。在外层的模式匹配中，我们要做的事情根本不是这样，即使输入值是 Some，而如果读第二个输入失败，仍可能返回 None。这样，作为参数值的 lambda 函数指定的类型...
分类：
其他好文 时间：
2014-10-31 22:17:12
阅读次数：
268
题目地址：HDU 3062
2-sat第一发。水题。。
首先假设A，A'为同一组的两个布尔变量且不能同时选择同一组的两个变量。如果存在一种同时选择了A和A'的方案，则该方案无解。
设为选择X就必须选择Y，则基本的建图如下：
A，B不能同时选：，表示选择A就必须不能选择B，选择B就不能选择A
A，B不能同时不选：，表示不选A则必须选B，不选B则必须选A
A，B必须同时选或同时不选：，略。...
分类：
其他好文 时间：
2014-10-31 22:15:34
阅读次数：
180
原文地址：http://yanwushu.sinaapp.com/java_serialversionuid/
内容简介
某些实现了serializable接口的java类中会看到名称为serialVersionUID的静态字段，本文从根本上解释这个字段的含义。
知识铺垫
在java中，类的序列化和反序列化是由jv...
分类：
编程语言 时间：
2014-10-31 22:16:40
阅读次数：
271
一、TFTP（Trivial File Transfer Protocol,简单文件传输协议或称小型文件传输协议）是一种简化的文件传输协议。二、tftp服务器的配置过程...
分类：
其他好文 时间：
2014-10-31 22:15:02
阅读次数：
235
学习牛腩时，也刚刚结束个人重构，所以前面差不多1/3的部分感觉都很熟悉，很上手，包括数据库设计和B、D层代码的编写，其中又一次理解了SQLHelper的完美演化、存储过程的强大，使用了触发器初探（触发器建好以后看不到，但可以查询出来，后来发现原来在每张表的下面），接着就是网站的建立，其实和三层差不多，web层相当于我们的UI层，只不过之前我们的控件放在窗体中，现在放在网页中，然后引用CSS样式来控...
分类：
其他好文 时间：
2014-10-31 22:14:40
阅读次数：
239
#include
#include
DWORD WINAPI fun1proc(LPVOID lparameter);
DWORD WINAPI fun2proc(LPVOID lparameter);
int index=0;
int tickets=100;
HANDLE hmutex; //定义互斥对象句柄
int main()
{
HANDLE ht1; //...
分类：
其他好文 时间：
2014-10-31 22:13:40
阅读次数：
265
1. 平时刷题练习使用
"mswin.vim 插件提供windows下的编辑快捷键功能
source $VIMRUNTIME/mswin.vim
behave mswin
set nu
set history=1000000
set tabstop=4
set shiftwidth=4
set smarttab
set cindent
set nobackup
set noswapfile...
分类：
系统相关 时间：
2014-10-31 22:13:51
阅读次数：
274
从10月20号到现在，Unity3D也学了10天了，对于Unity3D也有了一个大致的了解，有必要做一个小游戏来检测一下自己的学习成果了。经过两天的努力，终于总算是做出来了一个可以玩的坦克大战了。首先讲讲我的设计目标：
1.地图编辑器
2.道具系统
3.简单AI系统
4.计分器
其中，最重要的就是地图编辑器了，其次到AI系统，其他几个都挺简单的。
----------------------...
分类：
编程语言 时间：
2014-10-31 22:14:58
阅读次数：
203
于多项式的消元法而言， 其实一百度，高斯消元法，就会有各种各样的文章介绍如何消元，这里不会详细说明其计算过程。主要需要关注的是，在消元之后，什么时候有解，什么时候无解。...
分类：
其他好文 时间：
2014-10-31 22:13:36
阅读次数：
356
实验：
正向解析
1.[root@localhost etc]# vim /var/named/chroot/etc/named.conf
options {
listen-on port 53 { 172.17.0.142; }; -----修改
listen-on-v6 port 53 { ::1; };
directory "/var/named";
dump-file "/...
分类：
其他好文 时间：
2014-10-31 22:15:15
阅读次数：
341
谈起分治算法，首先从字面意思理解：就是将一个问题划分成多个较小的问题的算法。其实正应题目的意思。其基本设计思想就是：将一个难以直接解决的大问题分解成一些规模较小的相同问题以便各个击破，分而治之。
设计步骤：1）分解：分解成若干子问题
2）求解：求解个子问题
3）合并：将子解合并成原问题的解。
在自考的时候，我们遇到的二路归并算法就...
分类：
编程语言 时间：
2014-10-31 22:12:08
阅读次数：
221
javascript事件流：事件冒泡和事件捕获1、事件流2、事件冒泡3、事件捕获4、DOM事件流...
分类：
编程语言 时间：
2014-10-31 22:14:33
阅读次数：
209
Problem Description
读入一个只包含 +, -, *, / 的非负整数计算表达式，计算该表达式的值。
Input
测试输入包含若干测试用例，每个测试用例占一行，每行不超过200个字符，整数和运算符之间用一个空格分隔。没有非法表达式。当一行中只有0时输入结束，相应的结果不要输出。
Output
对每个测试用例输出1行，即该表达式的值，精确到小数...
分类：
其他好文 时间：
2014-10-31 22:12:22
阅读次数：
184
Node类的setPosition，getPosition函数如果是一个Node的Child则获取的坐标就是该Node的本地坐标
另一个关键问题就是在cocos2d-x里就是各种对象的大小问题。因为在cocos2d-x里Node对象有缩放的方法setScaleX和setScaleY。所以在获取对象大小的时候必须根据情况明确指定获取对象原始大小，还是缩放后的大小。当然cocos2d-x里提供了对应...
分类：
其他好文 时间：
2014-10-31 22:12:33
阅读次数：
290
linux grep命令常用参数总结，grep正则表达式...
分类：
其他好文 时间：
2014-10-31 22:12:38
阅读次数：
355
前言
这几天中，一直再跟漏洞打交道，而在这些漏洞中，出现的最多的就是 Cookie 和 Session 了。这篇文章就简单的介绍一些 Cookie 中最常用的四个属性。也算是为后续的文章做一个铺垫吧。
废话不多说，直接进入正题。
属性
Path（路径）
Path 是指定与 Cookie 关联的 Web 页。它的值可以是一个目录，...
分类：
Web程序 时间：
2014-10-31 22:13:50
阅读次数：
207
Travel
Time Limit: 1000MS
Memory Limit: 65536K
Total Submissions: 4185
Accepted: 1758
Description
One traveler travels among cities. He has to pay for this while he c...
分类：
其他好文 时间：
2014-10-31 22:12:57
阅读次数：
137
