还记得有次跟廖去逛笔记本，他说键盘好才是王道，一定要有好的手感。一个个试过去，都觉得不爽。最后找到某台本（牌子我不方便说），闭上眼，手放在上面来来回回运动起来，感觉非常不错。廖的样子帅呆了，就像初夜一样，哈哈。所以，什么能跟一个程序员一辈子？CPU？显卡？都是扯淡，参数年年升级，第一次跟我的586早就不知道去哪了。其他设备都是情妇，每次新鲜出现在你面前，都能让你兴奋不已，但玩不了几年又有新的更美丽的出来就要换了。只有顺手的键盘（和鼠标），才能让你的心稳定下来，键盘是编程灵感的开始，也是编程灵感的终结。我相信，大多数优秀的程序员都跟凯文米特尼克差不多，只要触碰到键盘，心中的比特就开始跳动。就连我这个不入流的编程玩家，手放在键盘上，心里才踏实。有手感才有灵感。至于，手中无剑，心中也无剑的最高境界，不能说不可能，但对于我们来讲，只是一个美好的愿望了。

听过高级音响设备的人是无法再忍受差劲的设备，也就不能享受低价的乐趣了。我想，对于键盘也是一样，还好我没有用过顶级的键盘，还能忍受自己的这款杂牌货。我一直不喜欢笔记本的键盘，按键太薄，弹性不好，一点感觉都没有，就像一个胸部平平的女人，怎么能让你产生性趣。还有就是太紧凑，一点都施展不开。原来实验室里CX大牛的键盘感觉很好，特别是那个空格键，不知道是怎么被他调教出来的，简直是极品，好像会跟你拇指一起动一样，连声音都那么诱人，无敌了。后来实验室调机子，他还念念不忘，把那个键盘找了回来。看来，好键盘不一定要名牌，调教一样重要。

因为换了环境，要装一台电脑了，现在的CPU的概念越来越炫了，这是让人心动不已，可惜“爱妻”(i7)，“爱我”(i5)，太贵了，爱不起啊。一个游戏流的朋友选键盘，我也跟着凑凑热闹。他有明确的定位，游戏键盘。可是我要什么呢？游戏键盘是不是太花哨了啊。对于程序员来说，低调才是最酷的，低调实用，又有顶级大师代言，那一定是不二之选。于是我在网上发现了这个HHKB pro。感觉跟公司那几台绿字黑屏的古董机的键盘很像，实在是酷毙了！但是这个“古董”还是爱不起啊。品味是钱烧出来的。

虽然说砖头折凳都能杀人，为啥一定要烧钱买宝剑呢？江湖不是打打杀杀，醉心于终极武学，体验巅峰感觉，那才是江湖的道理。你想想，如果你站在华山之巅，威风凛凛，而自己手里是一块破碎的砖头，就算观众不说什么，你自己感觉是不是也不爽呢？而一把宝剑在手，你至少可以装酷一把：宝剑啊宝剑，我苦练几十年年，没想到陪我到最后的只有你啊！也许资格老点的程序员真能体会到这种感觉。

如果一个程序员对心爱的人说，宝贝，你是我的键盘啊。那是属于程序员的最美的爱情表达。

MM：我是你的什么？

程序员：你是我的键盘啊！

MM：啊？原来我只是键盘啊！

程序员：这样，我就可以一辈子抚摸你美丽的脸庞了。

。。。。。。

1.科学带给人类相互残杀的工具，而宗教带来的是杀人的动机。

2.有位生物系的学生对他女朋友痴迷鲜花非常不理解：“为什么一定要在过节的时候让我送你一簇植物的生殖器你才开心呢？”

3.一位程序员好奇竟然有人半夜闹钟起来偷菜：“那么费劲改动人家数据库里的一个值，有意思吗？”

4.无心拈花惹草，只想一览巅峰风景。

5.Life is not measured by the number of breaths we take but by the places and moments that take our breadth away.

6.床上你同样卖力，那笑声让你自己都感到陌生。

词：有森聡美

选择了柔软且温暖的地方
没有发现在人们笑容的背后的眼泪
一生就这么自欺欺人的过来了
我想回头看度过的每一日

为了生存下去 樱花撒落也没看见
连花开的梦 也不知道
何时才能迎来新鲜的日子
用我的一生 去探索

向着冰冷与猛烈的风
不闭上眼睛 努力地向目的地前进
想要变得更坚强 哪怕一点点也好
每当流泪的时候 温柔也习以为常

樱花飞舞 多少梦想开花
不断抬头仰望 淡红色的樱花
何时才能迎来新鲜的日子
用我的一生 散发出光芒

为了生存下去 樱花撒落也没看见
连花开的梦 也不知道
何时才能迎来新鲜的日子
用我的一生 去探索

樱花飞舞 多少梦想开花
不断抬头仰望 淡红色的樱花
何时才能迎来新鲜的日子
用我的一生 散发出光芒

解释：gzip -d 解压.gz文件，tar -xf解压.tar文件

作者以后的生活也会发生不小的变化，博客内容也该做出些调整，希望光顾的朋友给点意见，为了出现更好的文章，闪出更多的火花！

我的博客，大家的意见！

通过调节节奏、声调、音色、年代、歌手、流派、语言等属性来自动挑选。一个很不错的尝试，此功能必火！

     可计算理论是关于计算机械本身的数学理论。20世纪前，计算机械总是”算计”别的对象，很少”算计”自己。20世纪 30年代，为了要解决一个基础问题，即是否有存在不可判定问题，数理逻辑 学家提出了几种不同的（后来证明是彼此等价的）关于算法的定义，从而建立了可计算性理论。
科学家令计算机械 自己”算计”自己，奇迹出现了。图灵用对角线方法，把图灵机自己编码，搅进其自己的计算对象中，证明了停机问题不可解。在一定程度上说明了计算机（程序）的能力有限性。

     30年代前期，K.哥德尔和S.C.克林尼等人创立了递归函数论， 将数论函数的算法可计算性描述为递归性。30年代中期， A.M.图灵和E.L.波斯特彼此独立地提出了理想计算机的 概念，将问题的算法可解性描述为在具有严格定义的理想计算机上的可解性。30年代发展起来的算法理论，对 在40年代后期出现的存储程序型计算机的设计思想是有影响的。图灵提出的理想计算机（称为图灵机）中的一 种通用机就是存储程序型的。

     可计算理论主要内容有：自动机论与形式语言理论;程序理论(包括程序正确性证明、程 序验证等);形式语义学；算法分析和计算复杂性理 论。自动机理论和形式语言理论是50年 代发展起来的。前者的历史还可以上溯到30年代，因为图灵机就是一类自动机(无限自动机)。50年代以来一些 学者开始考虑与现实的计算机更相似的理想计算机，J. 诺伊曼在50年代初提出了有自繁殖功能的计算机的概念。

王浩在50年代中期提出了一种图灵机的变种，这是一种 比原来的图灵机更接近现实机器的机器。他还提出一种 存储带上的内容不能清除的机器，并证明这种机器是与图灵机等价的。

     60年代前期，又有人提出具有随机存取 存储器的计算机（简称RAM）以及多带图灵机等。 形式语言理论 导源于数理语言学中的乔姆斯基理 论。在这种理论中,形式语言分为四种:①0型语言；②1 型语言;③2型语言;④3型语言。相应地存在着0型、1型、 2 型、3型四种形式文法。1型语言又名上下文有关语言， 2型语言又名上下文无关语言，3型语言又名正则语言。其中2型语言最受人注意。60年代中期,还发现了这四类 语言与四类自动机之间的对应关系（见表形式语言与自 动机的关系） 在上表中，左边所列的语言恰好是右边与之对应的自动机所能识别的语言（见形式语言理论）。 程序设计理论 包括程序正确性证明和程序验证， 它的一些基本概念和方法是40年代后期诺伊曼和图灵等 人提出的。诺伊曼等在一篇论文中提出借助于证明来验证程序正确性的方法。

     J.T.施瓦兹和 M.戴维斯70年代后期提出了一种他们称之为"正确程序 技术"的软件技术。这种方法是先选定成千种基本程序模块，并借助已知的各种验证方法（包括程序正确性证 明）来保证这些基本程序的正确性。然后再提出一组能 保持正确性的程序组合规则。这样，就可以通过不断的 组合，生成各种各样的程序。

     有人指出，程序正确性证明技术所发展出来的"循 环不变式"，即一个程序中的某一循环的入口或出口点 上所附的谓词，有些文献中称作"归纳断言"，可以用来供程序研究用。也就是说，不像过去那样，对一个给 定的程序找出其若干个循环不变式，然后借助这些不变 式来证明这个程序的正确性；而是在编制这个程序之前， 根据对这一程序的要求，找出若干个循环不变式，然后根据这些不变式来生成这个程序。 自动程序设计的概念也是从40年代提出的。

     1969年又有人独立地提出了这一想法。 程序语言的形式语法的研究，从50年代中期起有了较大的发展。而形式语义的研究自60年代以来虽有不少 研究工作者从事这方面的工作，提出几种不同的语义理 论，主要是操作语义学、指称语义学或称数学语义学、 公理语义学和代数语义学，但仍没有一种公认在软件技术中够用的形式语义学，因而需要提出一种更适于用到 实际计算中的新的语义学。 在程序正确性证明和形式语义学中应用的程序逻辑， 是60年代末发展起来的。

     这是谓词逻辑的一种扩充。原来的谓词逻辑中是没有时间概念的，所考虑的推理关系 是在同一时间里的关系。程序是一种过程，一个程序的 输入谓词与输出谓词之间的逻辑关系就不是同一时间里 的关系。因此，在有关程序性质的推理中，原来的谓词逻辑不够用，需要有一种新的逻辑。 60年代末，E.恩格勒等人创立了算法逻辑。C.A.R. 霍尔也创立了一种程序逻辑。这种逻辑是在原来的逻辑上增加一个程序算子而得到的。

     算法分析和计算复杂性理论 关于算法的复杂性的 研究。关于这一领域的名称曾有争论。一般认为，各类具体算法的复杂性的研究称作算法分析，而一般算法复 杂性的研究称作计算复杂性理论。计算复杂性理论原是 可计算理论的一支，是以各种可计算函数(即递归函数) 的计算复杂性（在早期称作"计算难度"）为其研究对象的。可计算性分为理论可计算性和实际可计算性两种。 作为可计算性理论一支的计算复杂性理论，是以前者的 复杂程度为其研究对象的；而作为计算机科学一个领域 的复杂性理论，则是以后者的复杂程度为其研究对象的。

     这一分支的基本问题是要弄清楚实际可计算函数类的结构和一些性质。实际可计算性是一个直观的概念。 如何对这一概念进行精确的描述，是一个并不容易的问 题。60年代中期以来，有关的研究工作者一般是以计算时间多项式有界的函数作为实际可计算的函数。这实际 上是一个论题，而不是一个可以在数学中加以证明或否 证的命题。有人指出，在有关的多项式次数较高时，很难说是实际可计算的。

     另一个带根本性的问题是：确定性机器与非确定性机器的解题能力的比较问题。人们早已知道，确定性图 灵机与非确定性图灵机的解题能力是相等的。因为非确 定性机器虽比确定性机器效率高，而如果计算时间没有 限制，则确定性机器总可以用穷举的方法来模拟非确定性机器。因此，二者的解题能力是一样的。但在计算时 间多项式有界时，二者的解题能力是否相等，这就是有 名的P=? NP问题。 关于计算和算法（包括程序）的研究，对串行计算的性质研究较多，而对并行计算性质的研究则还很不够 （特别是对异步的并行计算更是如此）。因此，关于并 行计算的研究很可能将成为计算机理论的研究重点。 　　　　　　　　　　　　　　　

     对于一个判定问题，如果能够编出一个程序,以域 中任意元素作为输入，当相应的个别问题的解答是肯定 的时候, 的执行将终止并输出"是",否则 的执行不 终止，就称该判定问题为半可判定的。可判定的问题总是半可判定的。集合是递归可枚举集的充分必要条件为 对应的判定问题是半可判定的。 图灵在1936年证明，图灵机的停机问题是不可判定 的，即不存在一个图灵机能够判定任意图灵机对于任意输入是否停机。图灵机的停机问题是半可判定的。图灵 机的停机问题是很重要的，由它可以推出计算机科学、 数学、逻辑学中的许多问题是不可判定的。