我觉得纯数学界的很多成果应该在编程领域潜力巨大
比如用OOP来套群的概念的话
那就是群的元素就是各个对象 群的运算就是这些个对象都Implement的Interface
诸如此类 不一而足
民那桑能不能就此谈谈想法?
比如用OOP来套群的概念的话
那就是群的元素就是各个对象 群的运算就是这些个对象都Implement的Interface
诸如此类 不一而足
民那桑能不能就此谈谈想法?
This topic created in 3963 days ago, the information mentioned may be changed or developed.
 | 1 ubinexy Jul 11, 2015 为什么要拿面向对象的概念来说明群的概念，完全不一样啊！ 要说的话，SICP里提到的闭包的概念倒是有点像群。 |
 | 2 wy315700 Jul 11, 2015 群要满足封闭性、结合律、单位元和逆元。 一个class 衍生的所有对象倒是可以组成一个群 计算机本身到是可以套到群的概念里，因为计算机里所有的运算其实就是个有限域的运算，密码学里用的比较多。 |
 | 3 em70 Jul 11, 2015 via Android 计算机专业早期不是独立的，而是数学系大三选择的一个方向，现在数学系应该没有谁不会编程的吧 |
 | 5 ca1123 OP @wy315700 群这个概念比较老了 而且脱离不了映射 描述能力有限 现在搞Category Theory似乎描述能力提升了 听说Haskell有一些范畴论的东西 但是Haskell似乎没什么人用来着 为什么呢? |
 | 8 crazyxin1988 Jul 11, 2015 数学系 C++ 都是必需课了 我记得貌似 C++的学分 和 高代 数分 一样 而且 有些专业课需要写代码 啊 比如 数值计算 偏微分方程 |
 | 9 nbndco Jul 11, 2015 你类比的群和对象的关系完全不对…… |
 | 10 googlefans Jul 11, 2015 一般到高级阶段 都会用到数学 |
 | 12 linxy Jul 12, 2015 via Android  1 建议学学函数式语言，比如haskell。 |
 | 13 theoractice Jul 12, 2015 群论是讨论定义了某种运算的集合的公有性质的，跟oop有神马关系。 生拉硬拽的话，oop更类似于柏拉图的 Theory of forms，也就是所谓“白马非马”之类的哲学观念。 |
 | 14 emdoe Jul 12, 2015 via Android @crazyxin1988 起码我们和数分高代差的远… |
 | 15 monnand Jul 12, 2015 这个早就有人在搞了吧。楼主搜范畴论 category theory，type theory这些一大堆，他们在haskell上玩得不亦乐乎。编译原理里面很多都需要抽象数学的知识，龙书里面的data flow analysis就讲这块呢。 简单说，programming language这个领域里很多都是搞纯数学的，比那些弄机器学习，人工智能的人还“纯”。想做抽象点的数学，在CS里大概也就是： - Programming language：各种语言设计的自洽性，完备性证明；程序正确性完备性证明；类型系统完备性自洽性证明；各种各样的编译器优化…… - computer graphics：计算几何 - Computational theory：这个就不说了…… |
| 17 ca1123 OP @theoractice 群作为一种抽象，离开了具体的结构，就没有讨论的意义了．．．不过 OOP 和 白马非马 是怎样的联系呢？ |
| 18 theoractice Jul 12, 2015 @ca1123 我的意思是，马和白马的关系类似于抽象类和派生类。。。 |
| 19 ca1123 OP @theoractice 我虽然在数学方面是个三脚猫 但是 代数里面有一个同态的概念 允许通过Kernel抛弃一部分细节 定义关系 似乎很有抽象类和派生类之间的神韵? |
| 20 theoractice Jul 13, 2015 说到底数学就是抽象，那么涉及抽象以及抽象的抽象之类概念，都会有那么点神韵吧。 |
 | 21 foxkiller Sep 13, 2015 via iPhone 英国的计算机系数学学好多。。。 英国的数学系学的是物理。。。天天算流体力学什么的。。。 不要问我怎么知道的（捂脸 |
 | 22 Lumuy Dec 4, 2015 via Android 我觉得编程就是数学方法的具体实现，就像矩阵运算 9 一样 |
Select Language