我接触了一些软件工程的科研项目，说真的，问题的根本解决方法都是数学上的。不是说计算机科学家做的不好，而是我们的解决方案都是边边绕绕，是为了在现有计算机资源能提供的能力基础上提出的。包括人工智能，很大程度上需要理论上的突破，不只是高深的数学，最简单的搜索算法也需要进行数学验证。不知道楼主的失落感是什么，可能是之前觉得不需要数学？但是远离层面真的躲不开数学。建议把基础的数学捡一捡，概率看下《程序员的数学 2 》基础内容就懂了，没那么可怕，不难。更深的东西，如果有兴趣的话自己多看看教材资料应该也行。

我对形式化方法（把问题抽象成数学问题）比较感兴趣，看了几本书之后也是感觉非常理论，非常偏理论计算机和纯数学。准备复习一下离散的内容，然后多学一学逻辑。数论或者分析的话应该也绕不过。有兴趣的话可以一起讨论交流，欢迎骚扰。

@wtks1 我用的网易 163 邮箱，貌似去年应该没问题，这几个月一直收不到。怀疑和邮箱过滤啥的有关系，但是 163 感觉过滤也不严格= =

@zeroxia 左上角那个圆的箭头 Synchronize 同步应该就可以，实在不行重启清空缓存，再没有的话就是包的问题了

写代码为啥需要输入法？切成英文模式不就好了 233

应该是你投的公司看不懂你干了啥，术语写太多了。我是计算机科班只能看懂一点，觉得你投信号处理之类偏硬件的会比较好。

@wwqgtxx 刚才试了一下，这句话确实有问题，第二遍的时候 buffer 应该是空了