λ演算（Lambda-calculus）是一套用于研究函数定义、应用和递归的形式系统。它由阿兰佐·丘奇（Alonzo
Church）和史蒂芬·科尔·克林（Stephen Cole
Kleene）在20世纪三十年代引入。丘奇运用λ演算在1936年给出“判定性问题”（Entscheidungs prob...
分类：
其他好文 时间：
2014-05-01 03:07:43
阅读次数：
343
IronMan之工厂前言实用为主，学一些用得到的技术更能在如今的社会里保命。
虽然在日常的工作中设计模式不是经常的用到，但是呢，学习它只有好处没有坏处。设计模式像是一种“标签”，它是代码编写者思想的体现。有木有感觉到这样很便捷？看到一些代码的时候就很清楚的了解编写者的思想了，这是为什么呢？因为编写者...
分类：
其他好文 时间：
2014-05-01 03:06:39
阅读次数：
379
在C++中，explicit关键字主要用于防止隐式转换，用于修饰构造函数、复制构造函数。例如有一个类：class A { public: A( int
count ) : m_data( count ){} private: int m_data; };int main() { ...
分类：
其他好文 时间：
2014-05-01 03:03:36
阅读次数：
311
浏览器内核浏览器最重要或者说核心的部分是“Rendering
Engine”，可大概译为“解释引擎”，不过我们一般习惯将之称为“浏览器内核”。负责对网页语法的解释（如HTML、JavaScript）并渲染（显示）网页。
所以，通常所谓的浏览器内核也就是浏览器所采用的渲染引擎，渲染引擎决定了浏览器如何...
分类：
其他好文 时间：
2014-05-01 03:04:34
阅读次数：
319
原文:【原创】Matlab.NET混合编程调用Figure窗体1.前言做Matlab.NET混合编程好几年了，虽然Matlab很多函数忘记得差不多了，但基本的东西还是能熟练使用。特别是在C#调用Matlab函数这方面，积累了比较多的经验，和使用经验密切相关。根据很多朋友经常遇到的WinForm窗体混...
摘要：对于一个大型网站来说，负载均衡是永恒的话题。随着硬件技术的迅猛发展，越来越多的负载均衡硬件设备涌现出来，如F5 BIG-IP、Citrix
NetScaler、Radware等等，虽然可以解决问题，但其高昂的价格却往往令人望而却步，因此负载均衡软件仍然是大部分公司的不二之选。nginx作为we...
分类：
其他好文 时间：
2014-05-01 03:02:33
阅读次数：
382
〖予无乐乎为君，唯其言而莫予违也。〗
这是《论语》里的一句话，意思是，当国君是多么无趣的一件事啊，主要原因是说了话没有人敢违抗。 现代人也许听不懂：说话没人敢违抗难道不是一件乐事？
孔夫子对此的解释是，正是因为没人敢违抗，国君无论说什么话，做什么事，都得负责任，不小心说错一个字或者做错一件...
分类：
其他好文 时间：
2014-05-01 03:00:32
阅读次数：
200
简介wait、notify、notifyAll是Java中3个与线程有关的方法，它们都是Object类中的方法。其中，wait方法有3个重载形式：1、wait()2、wait(long
timeout)3、wait(long timeout, int nanos) 这5个方法都是final方法。其中...
分类：
其他好文 时间：
2014-05-01 02:58:23
阅读次数：
376
问题现象： 数据库服务器可以ping通，但SSH连接不了；应用、plsqldeveloper
也都连接不了。事情到了这个地步，只能重启服务器。服务器环境：oracle10.2.0.1 +rhel5.8重启后，查看实例日志：Wed Apr 30
13:12:24 2014Memory Notifica...
分类：
其他好文 时间：
2014-05-01 02:56:19
阅读次数：
478
Reference[1]Associating text editors with
Git[2]Git 教學(1) : Git 的基本使用[3]Sublime Text 2: git plugin[4]Git: Setting Sublime
Text as the Default Editor f...
分类：
其他好文 时间：
2014-05-01 02:57:22
阅读次数：
249
题意：动物园有n只猫和m条狗，现在有p个小孩，他们有的喜欢猫，有的喜欢狗，其中喜欢猫的一定不喜欢狗，喜欢狗的一定不喜欢猫。现在管理员要从动物园中移除一些动物，如果一个小孩喜欢的动物留了下来而不喜欢的动物被移走，这个小孩会很高兴。现在问最多可以让多少个小孩高兴。此题是求二分图最大独立集。二分图比较明显...
分类：
其他好文 时间：
2014-05-01 02:55:22
阅读次数：
470
获取字符串长度%x="abcd"#方法一%expr length $x4# 方法二%echo
${#x}4# 方法三%expr "$x" : ".*"4# expr 的帮助# STRING : REGEXP anchored pattern match
of REGEXP in STRING查找子串...
分类：
其他好文 时间：
2014-05-01 02:54:16
阅读次数：
404
原文:工欲善其事，必先利其器 之 WPF篇: 随着开发轨迹来看高效WPF开发的工具和技巧
之前一篇《工欲善其事，必先利其器。VS2013全攻略(安装，技巧，快捷键，插件）！》
看到很多朋友回复和支持，非常感谢，尤其是一些拍砖的喷油，感谢你们的批评，受益良多。 我第一份工作便是WPF的开发，一直到现在...
分类：
其他好文 时间：
2014-05-01 02:52:12
阅读次数：
420
经过一晚上，我决定还是先把网站下载下来吧！毕竟是新手呢（我这么说是不是有点耍赖的感觉？）！
下面便是软件下载后给我的一个文件夹…………内容挺多的 我看了一下文件，文件更多………………
一千多个，完全不知道从哪里入手呢！先用Dreamweaver打开看看吧！！！分析，分析！ 哇，涉及了好多我不...
分类：
Web程序 时间：
2014-05-01 02:51:10
阅读次数：
374
今天在群里看到有人说不熟悉innodb把ibdata（数据文件）和ib_logfile（事务日志）文件误删除了。不知道怎么解决。当时我也不知道怎么办。后来查阅相关资料。终找到解决方法。其实恢复也挺简单的。我们不知道的时候就觉得难了。谁说不是这样呢？下面我们就来模拟生产环境下，人为删除数据文件和重做日...
分类：
数据库 时间：
2014-05-01 02:50:09
阅读次数：
509
原文:工欲善其事，必先利其器 之 VS2013全攻略(安装，技巧，快捷键，插件）！
如有需要WPF工具的朋友可以移步 工欲善其事，必先利其器 之 WPF篇: 随着开发轨迹来看高效WPF开发的工具和技巧 之前一篇《c++的性能,
c#的产能？！鱼和熊掌可以兼得，.NET NATIVE初窥》承蒙大家喜爱...
分类：
其他好文 时间：
2014-05-01 02:59:25
阅读次数：
307
如果你现在正在学习C语言，而你又不希望使用微软提供的任何C语言的任何编译器，那么你应该考虑一下GCC。GCC是运行于类UNIX系统下的编译器工具集，这又引出了另一个让人头疼的问题，你没有一台现成的装有UNIX系统的机器可用，同时，你也不希望弄个笨重的虚拟机。这时候，你应该考虑一下Cygwin。Cyg...
[提要]并不是说你有钱或者是没有钱，而是你懂不懂而已。给你一点点的改变，整个人都感觉不一样了，很简单的，就是你要知道怎么颜色的延伸，怎么样利用它来点缀你的生活。时间：2008年10月16日地点：上海港汇广场2楼
羽西之家活动展位羽西之家的创始人靳羽西女士【搜房网家天下】：从羽西化妆品到羽西之家，您的...
分类：
其他好文 时间：
2014-05-01 03:20:03
阅读次数：
354
Android SlidingMenu 开源项目导入
http://blog.csdn.net/top_code/article/details/17336203Android SlidingMenu
开源项目使用示例(一)http://blog.csdn.net/top_code/article/...
分类：
移动开发 时间：
2014-05-01 03:30:15
阅读次数：
385
原文:【原创】Matlab.NET混合编程技巧之——直接调用Matlab内置函数(附源码)在我的上一篇文章【原创】Matlab.NET混编技巧之——找出Matlab内置函数中，已经大概的介绍了matlab内置函数在混合编程中的优点，并通过程序找出了matlab中的大部分内置函数，当然更多人关心是如何...
分类：
Web程序 时间：
2014-05-01 03:39:31
阅读次数：
526
