清风冷月

夜未眠。

窗口阵阵幽风拂来，让人感到一丝凉意。耳机里单曲循环着一首清冷的曲子——三个人的时光。思绪万千……

开学以来，深感自己所肩负的责任，未来、社会似乎近在咫尺。所以听课比以前不由自主的变认真了。

晚上装了ruby，开始接触ruby编程。ruby，据介绍是动态语言，特别类似于现实生活，区别于java，c++等静态语言。

下午在软件工程课上，知道什么才是牛人，为邵凌霄老师的风采深深折服。

引用其观点：面向对象和面向过程没有孰优孰劣之分，能够适应问题场景的方法才是最好的！不讲场景，只讲方法，扯淡！

                        理科是研究大自然已经存在的定律，发现即可；工科是发明一种东西，诸如造桥、造船、造空调。计算机80%是发明，无论是程序设计语言，还是算法、数据结构等等。

                        软件工程最重要的问题是解决模块间高耦合——达到高内聚，低耦合的效果。对于高耦合，可能的一种情况是A、B模块间的相互调用。这时，把A、B中互相纠缠的部分剥离出来，单独成一个模块或者与A或B合并，就可以了。

                       关于形式化方法。我国的高铁出故障，原因是信号系统出问题。而在法国，这样的情况没有发生过一次。他们的信号系统是通过形式化方法实现的，形式上证明是正确的，放在实际中就是如此。在法国科学家证明了3000多个定理后，这套系统诞生了。但形式化方法仅适用在需要高精确的系统上，对于平时生活中管理系统，完全没必要，否则太耗时间了，得不偿失。

                       结构化方法就是机器处理问题的方法。

                       考试可以不考，软件工程理论可以不上，但编程一定要强制进行。程序员必须得有一个代码量的积累。达到10，000行是一个层次，100，000行是更高的层次。认为软件工程很虚的人，一定是没有编过程序的。