2
其实也有老实的几个正经回答的，比如指出了https://pic1.zhimg.com/6c1fce6d24a8cc03e250194f5d18c3a0_b.jpg和https://pic1.zhimg.com/82659d56a70b93a6f96da4a36e11227c_r.jpg；还有就是指出“打字机”的作用。
```
孙文全
写中缀表达式都烧死啦，外面包一层equals(...)多好看
```
嗯，赞扬……
不过这些内容虽然比引文还要符合实际，和主题关联不大，略。
3
其它可能需要注释的地方：
```
数学与计算机科学的关系历来有争论。但完全抛开数学，满足于高中数学，决非计算机科学家的作为。没有数学基础，你能看懂计算TAOCP？最近很火的函数式编程，不知王珢怎么看？范畴论高中数学会讲？
```
从以往来看貌似王垠是“默认”使用FP的。
别字问题略。
```
王珢应该是站在一个软件工程师的角度来谈的。一个项目当然是需求越清楚越好，最好把伪代码给出来，直接翻译成程序语言。然并卵。在世上可以形式化的数学只占极小一部分，以几何为例，除了平面几何可机器证明之外，其它的进展如何呢？
```
王根除了什么时候算称职的SE了……
这里似乎存在一些误解。“最好把伪代码给出来”（好像在评论里也有谁提）其实很不被待见。
许多SE也不喜欢画图，不管是糊给谁看的干嘛用的。UML之类半边屁股热也很好理解。
```
扯了一半天，cs的黑数学，数学的黑cs，有卵用？有意思？
根本问题是，数学的本质是符号或者记号么？并不是，符号规范不规范根本和数学无关。甚至计算机语言优美不优美，也跟计算机无关，大不了编译器麻烦一点，最后不还是变成0101么。要都想优美，大家都用haskell了？
就算你写积分先画个符求平安，该积不出来的还是积不出来。好多数学证明的手稿都丑的一逼，一点都不优美，因为人家不靠脸，靠脑子啊。
```
说的有道理，但没有卵用。
节录这个是为了说明之前提的“额外需要澄清的地方”：数学在这里指的是什么？
其实还得怪一下自然语言。“物理学”和“物理”是两回事，大概都容易懂，而且很容易清楚一些结论（前者有思辨，后者没有）；但是“数学”可没法随便缩略成“数”，于是这里说的东西就有二义性了。
```
说数学符号系统或者说数学语言设计得烂可能有道理
但其他推论就完全是胡扯了
比如这段：计算机是比数学更加基础的工具，就像纸和笔一样。计算机可以用来解决数学的问题，也可以用来解决不是数学的问题，比如工程的问题，艺术的问题，经济的问题，社会的问题等等。
你也可以说数学可以用来计算机解决的问题，也可以用来解决不是计算机的问题，比如工程的问题，艺术的问题，经济的问题，社会的问题等等。
再有这段：所谓“高等数学”，在计算机科学里面基本用不上。难道图形学，机器学习，数据压缩这些都不算计算机科学的分支吗？
这算是王垠今年来写得最烂的一篇文章了，还是别随便跨界的好
```
骚年，逻辑不是这样演绎的……虽然数学的确可以解决××的问题，但这里的地位是“纸和笔一样”的“工具”？
另外图形学之类不管产值多高，在所谓“计算机科学”的占比的确十足的有限——说白了计算机科学的“嫡系”数学（“离散数学”）根本就没“高等数学”的份，甚至基本理论出发点在思辨的意义上都是有矛盾的（一个离散，一个连续），所以反而才更有活干了……
```
" x^-1表示x的-1次方，而f^-1，明明是一模一样的形式，表示的却是函数f的反函数。一个是求幂，一个是反函数"
王垠编程水平如何我不知道,不过从这句话他的数学水平我基本清楚了......
我想知道他没学过抽代吗? 没学过群论吗? 任何大二的数学系学生也说不出这话来.
就算他一心扑在计算机上,确实没有接触过群论,那么,以他引以为傲的抽象思维能力,他就应该有能力想到,x^-1中,既然x可以为一个数,那么有理由相信x同样可以是一个函数,如果一个数乘以它的倒数等于1,那么如果以f(x)=x作为"1"的话,一个函数作用于自己的反函数,恰等于f(x)=x,这个道理和倒数的概念是完全一致的.王大师,这可是群环域的基本功啊.就算没学过,以王大师的功力想想也应该能想出来的啊.
```
这个槽已经吐过了。还是评论一针见血：
```
孙文全
这难道不是多态？
```
没错，这个就是所谓的ad-hoc polymorphism的一种……
```
雾雨魔理沙
那人的Coq写得好丑。。。
```
莎莎prpr……？
```
天象
其实sin^2那个很有意思，我们可以把^看作一个算符也就是高阶函数，它作用于f时f(x)得到f(x)^2，而作用于x时把x视为x()得到一个x()^2，这么一想，^是不是一个优美地不得了的设计
```
强行优美……不过底下立刻就有人回了。最后发现不是那么回事……略。
其实也有老实的几个正经回答的，比如指出了https://pic1.zhimg.com/6c1fce6d24a8cc03e250194f5d18c3a0_b.jpg和https://pic1.zhimg.com/82659d56a70b93a6f96da4a36e11227c_r.jpg；还有就是指出“打字机”的作用。
```
孙文全
写中缀表达式都烧死啦，外面包一层equals(...)多好看
```
嗯，赞扬……
不过这些内容虽然比引文还要符合实际，和主题关联不大，略。
3
其它可能需要注释的地方：
```
数学与计算机科学的关系历来有争论。但完全抛开数学，满足于高中数学，决非计算机科学家的作为。没有数学基础，你能看懂计算TAOCP？最近很火的函数式编程，不知王珢怎么看？范畴论高中数学会讲？
```
从以往来看貌似王垠是“默认”使用FP的。
别字问题略。
```
王珢应该是站在一个软件工程师的角度来谈的。一个项目当然是需求越清楚越好，最好把伪代码给出来，直接翻译成程序语言。然并卵。在世上可以形式化的数学只占极小一部分，以几何为例，除了平面几何可机器证明之外，其它的进展如何呢？
```
王根除了什么时候算称职的SE了……
这里似乎存在一些误解。“最好把伪代码给出来”（好像在评论里也有谁提）其实很不被待见。
许多SE也不喜欢画图，不管是糊给谁看的干嘛用的。UML之类半边屁股热也很好理解。
```
扯了一半天，cs的黑数学，数学的黑cs，有卵用？有意思？
根本问题是，数学的本质是符号或者记号么？并不是，符号规范不规范根本和数学无关。甚至计算机语言优美不优美，也跟计算机无关，大不了编译器麻烦一点，最后不还是变成0101么。要都想优美，大家都用haskell了？
就算你写积分先画个符求平安，该积不出来的还是积不出来。好多数学证明的手稿都丑的一逼，一点都不优美，因为人家不靠脸，靠脑子啊。
```
说的有道理，但没有卵用。
节录这个是为了说明之前提的“额外需要澄清的地方”：数学在这里指的是什么？
其实还得怪一下自然语言。“物理学”和“物理”是两回事，大概都容易懂，而且很容易清楚一些结论（前者有思辨，后者没有）；但是“数学”可没法随便缩略成“数”，于是这里说的东西就有二义性了。
```
说数学符号系统或者说数学语言设计得烂可能有道理
但其他推论就完全是胡扯了
比如这段：计算机是比数学更加基础的工具，就像纸和笔一样。计算机可以用来解决数学的问题，也可以用来解决不是数学的问题，比如工程的问题，艺术的问题，经济的问题，社会的问题等等。
你也可以说数学可以用来计算机解决的问题，也可以用来解决不是计算机的问题，比如工程的问题，艺术的问题，经济的问题，社会的问题等等。
再有这段：所谓“高等数学”，在计算机科学里面基本用不上。难道图形学，机器学习，数据压缩这些都不算计算机科学的分支吗？
这算是王垠今年来写得最烂的一篇文章了，还是别随便跨界的好
```
骚年，逻辑不是这样演绎的……虽然数学的确可以解决××的问题，但这里的地位是“纸和笔一样”的“工具”？
另外图形学之类不管产值多高，在所谓“计算机科学”的占比的确十足的有限——说白了计算机科学的“嫡系”数学（“离散数学”）根本就没“高等数学”的份，甚至基本理论出发点在思辨的意义上都是有矛盾的（一个离散，一个连续），所以反而才更有活干了……
```
" x^-1表示x的-1次方，而f^-1，明明是一模一样的形式，表示的却是函数f的反函数。一个是求幂，一个是反函数"
王垠编程水平如何我不知道,不过从这句话他的数学水平我基本清楚了......
我想知道他没学过抽代吗? 没学过群论吗? 任何大二的数学系学生也说不出这话来.
就算他一心扑在计算机上,确实没有接触过群论,那么,以他引以为傲的抽象思维能力,他就应该有能力想到,x^-1中,既然x可以为一个数,那么有理由相信x同样可以是一个函数,如果一个数乘以它的倒数等于1,那么如果以f(x)=x作为"1"的话,一个函数作用于自己的反函数,恰等于f(x)=x,这个道理和倒数的概念是完全一致的.王大师,这可是群环域的基本功啊.就算没学过,以王大师的功力想想也应该能想出来的啊.
```
这个槽已经吐过了。还是评论一针见血：
```
孙文全
这难道不是多态？
```
没错，这个就是所谓的ad-hoc polymorphism的一种……
```
雾雨魔理沙
那人的Coq写得好丑。。。
```
莎莎prpr……？
```
天象
其实sin^2那个很有意思，我们可以把^看作一个算符也就是高阶函数，它作用于f时f(x)得到f(x)^2，而作用于x时把x视为x()得到一个x()^2，这么一想，^是不是一个优美地不得了的设计
```
强行优美……不过底下立刻就有人回了。最后发现不是那么回事……略。
