这两天我的生活有了点小变化。
师哥以辽宁省第一名的成绩考取了法官。师哥一直是我师父的得力助手，属于在第一线战斗的出庭律师。我们所优秀的人才太多了，每个律师身后都有一段让人钦佩的精力。比如我的师哥，大学没有毕业就开始出庭锻炼了。而且仅仅比我大一岁，大学刚毕业考取了律师执照，去年在边工作边开庭的同时竟然以高分又一次通过了司法考试。再有就是这次，平时根本看不到他看书，而且几乎每天都有案子要忙到很晚，但公布成绩竟然是辽宁省公务员考试第一名。
朋友avalon最近迷上摄影，开始发烧，下面是他拍的月亮，很好看，看来是没白发烧。
数学一个很重要的概念就是抽象，建立从具体到抽象的总结，与之对应的是有一套成熟的符号演算系统，比如我们用f(x,y)+g(x,f(x,y))这类的东西可以很轻松的表达想要计算的东西…
现代的泛型计算代表了一些来自数学对计算机技术的不满，数学中有完整的理论，比如集合论，泛型分析，比如分析两个空间的同构与否，通过一些等价的代换就可以把复杂的问题最终简化到不证自明的公理层次，可是计算机上呢？总是充满了繁琐的细节…两个体系完全对应不起来
STL引入了一些新鲜的东西，比如 iterator ，实际上是沟通了诸如vector, list, map…这类的桥梁，用数学上来说，这些集合空间都是同构可数的，可以和自然数集合{1，2，3…}对应起来的，所以自然的algorithm可以抛弃具体的集合形态，而是建立在iterator之上…