刘未鹏|C++的罗浮宫 -

关于解题思维的杂感三则（思维、类比、启发法）

刘未鹏 — Wed, 07 May 2008 18:58:00 GMT

TopLanguage上关于解题的讨论已经进行了一段时候了，有很多收获。我们的讨论目的不是将题目解出来，而是在于反思解题过程中的一般性的，跨问题的思维法则。简单的将题目解出来（或者解不出来看答案，然后“恍然大悟”），只能得到最少的东西，解出来固然能够强化导致解出来的那个思维过程和方法，但缺少反思的话便不能抽取出一般性的东西供更多的题目所用。而解不出来，看答案然后“哦”的一声更是等同于没有收获，因为“理解”和“运用”相差何止十万八千里。每个人都有过这样的经历：一道题目苦思冥想不得要领，经某个人一指点其中的关键一步，顿时恍然大悟。——这是理解。但这个理解是因为别人已经将新的知识（那个关键的一步）放到你脑子里了，故而你才能理解。而要运用的话，则需要自己去想出那关键的一步。因此，去揣测和总结别人的思维是如何触及那关键的一步，而你自己的思维又为什么触及不到它，是很有意义的。我们很多时候会发现，一道题目

跟波利亚学解题(rev#2)

刘未鹏 — Fri, 18 Apr 2008 09:44:00 GMT

波利亚在他著名的《How To Solve It》中讲了这么一个有趣的心理学实验：用一个缺了一条边的正方形围栏围住一只动物（狗、黑猩猩、母鸡、人类婴儿），在围栏的另一侧放上一个被试很想要的物体（对动物来说是食物，对人类婴儿来说是有趣的玩具），然后观察他们各自的行为。发现，狗在扒着围栏吠了几声发现无法通过的时候，不久便学会了从围栏的缺口的那一边绕出去，母鸡则朝着围栏一个劲的扑腾，不会想到绕弯子。此外，人类婴儿很快就学会了绕过障碍；而黑猩猩也学得很快（黑猩猩是和人类最近的灵长类亲属）。这个实验有力的证明了，动物解决问题的能力是进化而来的、天生的、硬编码在大脑的神经元网络里面的

[TopLanguage主题讨论]今天我们思考

刘未鹏 — Wed, 09 Apr 2008 15:00:00 GMT

我有一个信念，所谓的灵感，背后一定有它的规则，虽然灵感发自无意识层面（参考《追寻记忆的痕迹》（坎德尔），以及《态度改变与社会影响》（津巴度）的"阈下刺激"章节），我们无法在灵感之前就在意识层面觉察到灵感诞生的过程，然而我们的确可以在灵感发生之后通过回顾和合情推理总结出最有可能的思路，数学的发展某种意义上做的就是这样一件事情，从最朴素的推理，到数学方法的产生——从三段论、形式逻辑、数学归纳法、类比、分治这些一般思维规则到鸽笼原理、极值原理、贪婪原理这类解决特定问题的原理，无一不是对思维过程的事后总结和整理。譬如我觉得形式逻辑就是最大的事后整理出来的思维法则，人类天生在无意识层面就具有推理能力（参见皮亚杰的认知发展原理），就像（也许）自然数是根植在大脑里面的概念一样，这些概念是进化出来的，我们无意识间就能够熟练运用。然而，要想让它们得到发展、生长，乃至能形式化到纸上，成为任何人都能操作的方法论，则需要意识的参与。

阅读与思考

刘未鹏 — Tue, 08 Apr 2008 15:52:00 GMT

豆瓣上有人问起平常是怎么看书的，遂总结了几点。想起许久没写博客（因为好书太多，时间不够），遂贴上来也算一篇:P

一句话，但不转不行

刘未鹏 — Thu, 13 Mar 2008 13:53:00 GMT

虽然一般只发一定长度的帖子，但这个实在是不转不行啊～

找啊找啊找朋友

刘未鹏 — Wed, 12 Mar 2008 12:07:00 GMT

本科的时候，由于大多数时间都是一个人读书，所以渐渐习惯了独自思考。虽说看得多，想得多，然而一个人的思考总归会有些时候，限于个人知识的必然局限性，而落入巢臼。此外，也需要有一个借口，将一天下来读的最有价值的东西在脑子里面作一个回顾整理，最好能够简单写几句。可是，简单写几句又不能放到blog上，一来未必成熟，二来老是鸡零狗碎的写点杂感，也往往扫了读的人的兴致。最好的情况，就是能够边看，边想，边记下，将即时的思考也记下，然后不论形式，一股脑儿扔到一个地方，和一伙志同道合的朋友接着扯。但一直也没有过这样的机会，以及这样的朋友。

Failing To See the Big Picture - Mistakes we make when learning programming

刘未鹏 — Mon, 03 Mar 2008 07:43:00 GMT

Failing To See the Big Picture Mistakes we make when learning programming &amp;amp;nbsp; By pongba (http://blog.csdn.net/pongba) &amp;amp;nbsp; Let’s start with an obvious fact: The Inconvenient Human Nature, #1People are inherently more easily attracted by “interesting” (as opposed to “mundane”) things. (We will define “interesting” in the later parts) What can we derive from this simple axiom? A lot of things. But since we’re talking about learning programming, we shall

你的技术之路

刘未鹏 — Mon, 25 Feb 2008 05:27:00 GMT

你的技术之路刘未鹏(pongba) C++的罗浮宫(http://blog.csdn.net/pongba)   上周末看了dreamhead的一篇文章（《起步的台阶》），有些感触，忍不住在TopLanguage上八卦了一把，抛的是砖，引的是玉，获益良多，故摘抄于此：   我： 01年进大学的时候，想学计算机，但却身在数学系，那个时候就做好了打算，数学只要混个及格，其余时间钻心看计算机的书，曾经一个月买了四百多块钱的书，结果只能吃方便面度日，大学有两三年时间，学习计算机的热情是最高的，从坐车到上厕所都带着书:P 也正是在那个阶段，学了很多底层知识，也钻了无数的细节。那个时候的信仰是：技术隐藏在细节当中。那个时候看的书，代表性的是：《编码的奥秘》、《80x86汇编技术原理》、《Windows核心编程》、《C++设计新思维》、《Inside C#》、《Linux内核源代码情景分析》……（那段时间最喜欢的就是"内幕揭秘"、"原理"、"深入"之类的书）现在看来，这段时间学习方式的优点：钻技术细节，锻炼思考能力。缺点：一叶障目不见泰山。过分钻研技术细节导

鱼是最后一个看到水的

刘未鹏 — Fri, 04 Jan 2008 07:02:00 GMT

鱼是最后一个看到水的 By 刘未鹏(pongba) C++的罗浮宫(http://blog.csdn.net/pongba) TopLanguage(http://groups.google.com/group/pongba) 《你的灯亮着吗？》的最后一页画着一副大大的彩插：鱼总是最后一个看到水的。实际上，这句话有很多引申说法，其中最著名的一句是：如果你有的是一把锤子，那么所有东西看起来都像是钉子。不过后一句内涵文实在有误导嫌疑，因为这句话的表达方式很容易让人触摸不到问题的本质：即之所以所有东西看起来都像钉子，是因为人倾向于在既有框架下去解决问题；更重要的是，在这个过程中很难觉察到框架约束的存在，正如鱼觉察不到水的存在一样。而这一切背后的本质原因则是：人是有很强的适应性的。这个谚语应该作为问题解决者的座右铭之一：忽视既有框架的约束很容易导致sub-optimal的解决方案。普通人遵守规则，牛人无视规则，伟大的人则自己创造规则。而要做到无视规则乃至创造规则，首先就要知道规则的存在才行。最近的“征途”事件就很好的说明了这一

数学之美番外篇：进化论中的概率论

刘未鹏 — Sun, 02 Dec 2007 22:19:00 GMT

李笑来老师在blog上转了一篇宏文，“15 Answers to Creationist Nonsense”；然后余晟同学（顺便推荐余晟同学译的《精通正则表达式》（第3版））把它给译了出来。漂亮的文章加上漂亮的翻译，当然是要拜读的:-)进化论从其诞生以来受到的非难不计其数。这里提到的这篇便收集了广为神创论者提出以及广为大众误解的一些观点。其中有一点尤其引起了我的兴趣，如下：

错误处理(Error-Handling)：为何、何时、如何(rev#2)

刘未鹏 — Mon, 08 Oct 2007 18:27:00 GMT

错误处理（Error-Handling）这个重要议题从1997年（也许更早）到2004年左右一直是一个被广泛争论的话题，曾在新闻组上、博客上、论坛上引发口水无数（不亚于语言之争），Bjarne Stroustrup、James Gosling、Anders Hejlsberg、Bruce Eckel、Joel Spolsky、Herb Sutter、Andrei Alexandrescu、Brad Abrams、Raymond Chen、David Abrahams…，各路神仙纷纷出动，好不热闹:-)如今争论虽然已经基本结束并结果；只不过结论散落在大量文献当中，且新旧文献陈杂，如果随便翻看其中的几篇乃至几十篇的话都难免管中窥豹。就连Gosling本人写的《The Java Programming Language》中也语焉不详。所以，写这篇文章的目的便是要对这个问题提供一个整体视图，相信我，这是个有趣的话题:-)

我们为什么这么容易受骗？

刘未鹏 — Sun, 07 Oct 2007 00:43:00 GMT

4月26日，在爱达荷州秋季大型科学展览会上，一个来自鹰石中学的高中生的方案获得了一个一等奖。在他的方案里，他力劝人们签署一份要求严格控制或完全销毁一种叫“氢氧化物”的物质的文件。这有足够的理由，因为1. 这种物质会造成流汗过多和呕吐。2. 它是酸雨的主要成份。3. 在气态时他会造成严重的烫伤。4. 吸入时它会要了你的命。5. 它是腐蚀的帮凶。6. 它会降低汽车的刹车效率。7. 人们在晚期癌症病人的毒瘤里发现了它。

Intuition out of counter-intuition

刘未鹏 — Mon, 18 Dec 2006 16:21:00 GMT

... But then it dives into the counter-intuitive part ...

康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)

刘未鹏 — Sun, 15 Oct 2006 23:36:00 GMT

哥德尔的不完备性定理震撼了20世纪数学界的天空，其数学意义颠覆了希尔伯特的形式化数学的宏伟计划，其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科，深刻影响着人们的思维。图灵为了解决希尔伯特著名的第十问题而提出有效计算模型，进而作出了可计算理论和现代计算机的奠基性工作，著名的停机问题给出了机械计算模型的能力极限，其深刻的意义和漂亮的证明使它成为可计算理论中的标志性定理之一。丘齐，跟图灵同时代的天才，则从另一个抽象角度提出了lambda算子的思想，与图灵机抽象的倾向于硬件性不同，丘齐的lambda算子理论是从数学的角度进行抽象，不关心运算的机械过程而只关心运算的抽象性质，只用最简洁的几条公理便建立起了与图灵机完全等价的计算模型，其体现出来的数学抽象美开出了函数式编程语言这朵奇葩，Lisp、Scheme、Haskell这些以抽象性和简洁美为特点的语言至今仍然活跃在计算机科学界，虽然由于其本质上源于lambda算子理论的抽象方式不符合人的思维习惯从而注定无法成为主流的编程语言，然而这仍然无法妨碍它们成为编程理论乃至计算机学科的最佳教本。而诞生于函数式编程语言的神奇的Y combinat

图灵机杂思(rev#2)

刘未鹏 — Sat, 11 Mar 2006 13:48:00 GMT

...元图灵机的存在性为计算机的诞生点燃了一盏明灯，这是图灵机理论中最漂亮的发现。...