前言：
本来是打算11月末的时候写这篇文章，结果一直拖拖拖拖拖啊啊啊啊啊事多啊事多！OK这是对lambda的分析的第二篇，第三篇准备给大家带来一些“语法甜点”，不过实在是不知道什么时候能够写完=。=到时候再说
导航： lambda函数介绍和个人理解（1）——初识lambda lambda函数介绍和个...
分类：
编程语言 时间：
2014-05-07 13:41:35
阅读次数：
330
导航：lambda函数介绍和个人理解（1）——初识lambdalambda函数介绍和个人理解（2）——lambda与仿函数lambda函数介绍和个人理解（3）——lambda的语法甜点
什么是lambda函数？ 其实，lambda函数我个人更愿意称为lambda运算（lambdacalculus），...
分类：
编程语言 时间：
2014-05-07 12:40:19
阅读次数：
421
eshell是emacs shell的简称,是emacs自带的shell.开始设置的时候还在想是否要找到它的key map (eshell-mode-map?).
原来它是采用hook设置,如下所示
(add-hook 'eshell-mode-hook
(lambda ()
(local-set-key (kbd "C-j") 'switch-to...
分类：
其他好文 时间：
2014-05-07 05:25:39
阅读次数：
253
///因为这个是在以前的博客中写过的知识了，所以我就不全文复制粘贴了。只提供传送门。
///还希望网友们在转载时记得注明出处，谢谢了。 lambda函数介绍和个人理解（1）——初识lambda
lambda函数介绍和个人理解（2）——lambda与仿函数 lambda函数介绍和个人理解（3）——la...
分类：
编程语言 时间：
2014-05-07 00:13:20
阅读次数：
602
环境： cocos2d-x + lua 3.0beta2想使用CCNotification,
发现3.0已经替换为CCEvent, 晃了一眼设计，不错原来在C++ 上自己也实现了一套Event，因为不满意CCNotification
没有优先级，没有自定义分类（比如UI，Logic），不能携带数据，...
分类：
其他好文 时间：
2014-05-05 23:39:31
阅读次数：
1327
$\bf命题1：$设$A$，$B$均为实对称半正定阵，则$tr\left( {AB}
\right) \le tr\left( A \right) \cdot tr\left( B
\right)$证明：由$A$实对称知，存在正交阵$Q$，使得\[A = Qdiag\left( {{\lambda ...
分类：
其他好文 时间：
2014-05-04 20:12:18
阅读次数：
365
$\bf命题：$设$A \in {M_{m \times n}}\left( F
\right),B \in {M_{n \times m}}\left( F \right),m \ge n,\lambda \ne 0$，则\[{\rm{
}}\left| {\lambda {E_m} - AB} ...
分类：
其他好文 时间：
2014-05-04 20:10:21
阅读次数：
332
$\bf命题1：$设$A$为正定阵，$B$为实对称阵，则$A$，$B$可同时合同对角化证明：由$A$正定知，存在可逆阵$P$，使得\[{P^T}AP =
E\]由$B$实对称知${P^T}BP$实对称，则存在正交阵$Q$，使得\[{Q^T}{P^T}BPQ = diag\left( {{\lambd...
分类：
其他好文 时间：
2014-05-04 19:51:35
阅读次数：
298
$\bf命题1：$设$A,B$实对称且$A$正定，则$AB$相似于对角阵方法一：由$A$正定知，存在正定阵$C$，使得$A = {C^2}$，于是\[AB =
{C^2}B = C\left( {CBC} \right){C^{ - 1}}\]由$C$实对称知$CBC$实对称，则存在正交阵$Q$，使...
分类：
其他好文 时间：
2014-05-04 19:43:28
阅读次数：
274
$\bf命题：$设$A \in {M_{m \times n}}\left( F
\right),B \in {M_{n \times m}}\left( F \right),m \ge n,\lambda \ne 0$，则\[{\rm{
}}\left| {\lambda {E_m} - AB} ...
分类：
其他好文 时间：
2014-05-04 19:33:10
阅读次数：
348
