atskyline

陆陆续续发一些侯教授课上讲得东西。牛人的课，确是是很厉害。虽然很多“听不懂”，你懂的。= =| 关于侯教授是何许人也，这个嘛……比JAVA什么的难多了，无法解释 两节课的时间一节半用来讲解上学期的期末试卷。具体的题目什么的就都没什么意思，把课上讲到的几个单词罗列一下。 pipeline 键盘上的|符号。原本的意思和水管，管道有关。在DOS 和 LINUX 等系统中有管道的概念。简单的说就是利用管道把一条命令的输出内容作为另一条命令的输入内容传送给另一条命令。更多内容可以GOOGLE LINUX管道 或

这个是MSDN广播的课程，05年的课程，作者是李建忠先生，今日观看依然有豁然开朗之感。其中总总知识与思想渐渐能在皮毛上跟上作者的思路。顾记录下些许笔记，记录点滴。继寒假时使用思维导图方式记录笔记，今年又发现新的神器Onenote，微软出品的神物，相比与类似的笔记记录软件，微软确是更懂用户。笔记放于网上，天天会更新。第一天的课程介绍面向对象的设计模式对

简介2011年8月1日21:40         这本书是前一段时间发现的一本关于C＃以及软件建模的书籍。他的特点是用很多建模和面向对象的知识来解释C＃中的内容。本书从建模的角度来看待C＃中我们熟悉的对象类字段方法继承多态等等内容可惜只

new的问题Road road = newRoad();实现依赖，不能应对“具体实例化类型”的变化。解决思路封装变化点！如果没有变化，不要额外的封装简单工厂（静态工厂）封装“对象创建”面向接口编程   依赖接口，而非依赖实现public classRoadFactory{    public static Road Cre

简介2011年8月1日21:40         这本书是前一段时间发现的一本关于C＃以及软件建模的书籍。他的特点是用很多建

前言2011年8月2日20:02大卫：我现在正在思索一个最基本的问题，而且非常重要。你在这部书里想表达什么？李纳斯：我想解释生命的意义。李纳斯：我对生命的意义有种理论。我们可以在第一章里对人们解释生命的意义何在。这样可以吸引住他们。一旦他们被吸

最近入手了《演说之禅》与《演说之禅设计篇》。两本非常贵的书，感觉还是非常不错的。虽然个人认为不如之前看的那本《给大家看得设计书》，不过还是值得一读。 两本书一起弄读书笔记。 总体上说这两本书给人的感觉和读过的一些关于高效学习，右脑开发的书有很多类似之处，都是给了很多故事，然后灌输给你一个（一些）思想。这个不是我喜欢的书籍类型，但是这两本书中的思想，还是非常值得学习的。 下面开始摘抄一些东西 首先是序言，在第一本书中非常非常厉害的使用了PPT来做一个序言。很大程度上看到这个序

N久N久没有更新这个东西了。一半是在忙其他事情，一半是确是有点畏惧离散数学部分。今天总结的东西都已经是一个月前的东西了。主要包括下面几个部分 1、算法的定义（无聊的东西……） 2、算法分类（普及一下知识） 3、算法的设计基本方法（非常重要的东西，但是这里只简单提一下） 4、算法复杂度与函数的增长（复杂而又麻烦的东西，用简单的语言随便说一说） 5、几个算法展示 1、算法的定义 算法（Algorithm）是一系列解决问题的清晰指令 算法可以使用自然语言、伪代码、流程图等多种不同的方法来描述。 关于Algor

块来看看候今天又讲了什么东西。 继续介绍了James Gosling的生平，一个出生于加拿大的孩子，和所有改变计算机世界的人一样，从小就表现出了惊人的天赋。 83年获得了美国卡耐基-梅隆大学计算机科学博士学位。 这里先介绍一下卡耐基-梅隆大学Carnegie Mellon University。是享誉世界的顶级研究型大学，私立，学校小巧，学科门类不多，但在其所设立的几乎所有专业都居于世界领先水平。主校区位于美国宾夕法尼亚州（Pennsylvania）的匹兹堡（Pittsburgh）。要提他的原因是，他

对上一节课的部分补充，mindmap其实是同一个版本，就是加了一点点内容。 mindmap地址http://www.xmind.net/share/_embed/atskyline/predicates-and-quantifiers-2/ 先说上一次留下那个个关于命题函数与谓词公式的关系问题。解释如下 命题函数是具体的一个命题如X是整数，而谓词是对他的一个抽象化，符号化，如P(x)。这样才有办法进行数学的逻辑推理运算。 这次增加的东西，不过是一堆类似于命题公式的，谓词公式的一些永真公式。具体的要记

想先抱怨一下教授的PPT是逻辑混乱的，所以也在一定程度上导致他的讲课内容在逻辑上不是那么连贯。 我自己把内容整理了一下，加入了很多自己的理解，应该是很不规范严谨了，但是为了理解简单，也就先这样吧。 这次不能直接放图，图没能把所有的逻辑关系表达清楚，需要一些文字的补充。 先给图的地址http://www.xmind.net/share/_embed/atskyline/predicates-and-quantifiers-1-1/ 首先从上次的命题逻辑说起，命题是一个有明确真值的陈述句。这里有一个问题

mindmap地址 http://www.xmind.net/share/_embed/atskyline/are-equivalent-propositional-equivalences-1/ 似乎进度有点儿慢，不知道后面会不会突然变很快。 那些逻辑推理什么的，是在没有太大兴趣去手工推。

这里上次图片似乎会被压缩的很厉害 给出清晰的地址吧 http://www.xmind.net/share/_embed/atskyline/logic-logic/ 直接看图吧，其他的没什么想补充的。 是基础的东西，但是个人觉得有些东西没必要去转牛角尖，特别是语言和符号的转换部分。 那个要研究起来好麻烦的。汉字如此博大精深……

动机(Motivation)一些特殊的类      只存在一个实例（确保他们的逻辑正确性）这个应该是类设计者的责任，而不是使用者的责任。如何绕过常规的构造器？提供一种机制保证一个类只有一个实例？意图（Intent）确保一个类只有一个实例。单线程Singleton模式实现 class Singleton {