2018-12-14 Xie Jingyi
动机 pure functions 看似完美,但却不能模拟现实世界中的诸多任务。这是由于 pure functions 是良定的映射,对于特定的输入值会返回唯一的输出。这种模式在面对如下任务时会显得苍白无力: 有可能失败的任务。如大多数的 IO。 依赖外部状态的任务。如(伪)随机数生成器。 非确定性任务,即对于确定的输入可能有多个输出。这种在 IP 中较为少见。 对外界会造成影响的任务。如大多数的写入过程。 这些问题可以用数学中的域扩充技巧来解决。 域扩充 在数学中,当定义问题的范畴不足以容纳问题的解时,我们通常会对相关的范畴进行扩充。类似的技巧同样也可以应用在这里。 假设一个不良定的函数 f: A -> B: 如果 f 继续阅读 »
2018-01-18 biezhi
熟悉编程的人都知道二进制总是一个让人晦涩难懂的词汇,只有大神级的程序员才有资格把玩它。 我们今天来重新认识一下二进制,了解编程中的数学知识和计算机为什么使用二进制? more 先聊聊十进制 我们平时使用的是10进制计数法。 继续阅读 »
2016-06-01 Lu Huang
Python作为一门极其易学的语言,在科学计算等领域存在较大的应用,同样,著名的OpenCV库也发布了支持Python的库,本节主不再介绍如何在Ubuntu上配置Python OpenCV,有需要的同学可以参考这里。 本节将利用Python OpenCV做一个简单的测试,即 打开一个图片并显示 创建一个空图并显示 将彩色图像转成灰度图像并显示 实现过程 引用 这里我们需要引用cv2和numpy,cv2不言而喻,而NumPy是Python语言的一个扩充程序库。支持高级大量的维度数组与矩阵运算,此外也针对数组运算提供大量的数学函数库,这里在引用时把numpy重命名为np。 python import cv2 import 继续阅读 »
2017-04-02 jude
最近跟小牛队老板一样在看《Building Machine Learning Systems with Python, 2nd Edition》。 除却某些代码(特别是第 5 章的)有错,书写得很好。没怎么学过 Python ,数学也不太行的我,也能跟着一步步走进机器学习的大门。 继续阅读 »
2016-10-10 王财勇
最近要写技术文档,里面包含大量的数学公式,本来想用markdown,但是 markdown不适合提交到公司,于是想着还是用自己学过的Latex吧。 于是在网上去搜使用Latex写技术文档/技术书籍的模板,还真找到了一篇,即《用 LaTeX 排版技术书籍》。本来他提示使用tex studio编译,但我使用tex studio编译后可以运行,却不能导出pdf,总是提示: ```tex ** WARNING ** Obsolete four arguments of "endchar" will be used for Type 1 "seac" operator. ** ERROR ** This font using the "s 继续阅读 »
2014-03-23 Robin Wen
文/Robin 本站推广 币安是全球领先的数字货币交易平台,提供比特币、以太坊、BNB 以及 USDT 交易。 币安注册: https://accounts.binancezh.pro/cn/register/?ref=11190872 邀请码: 11190872 本文站在一个初级DBA的角度来讲下我眼里的SQL Server。 最早接触MSSQL是在大二下期,那时有门课叫做《数据库系统概论》,想必只要是计算机相关专业,都会开设这门课程。这门课程使用的教材是王珊、萨师煊主编的《数据库系统概论》,这部书堪称国内经典,相信大多数在校学生最初学习数据库都是接触这本书。同大多数学校讲解数据库理论使用MSSQL一样,我们专业也是如此 继续阅读 »
2016-08-20 craneyuan
最近在研究算法,发现其实算法也并不是特别难,只要抓住算法的核心思想,再静下心来,都可以自己实现的。在计算机领域,有一些常见的而且又经常使用的算法,这些算法我们应该掌握,比如常见的排序算法;还有一些算法就是特定领域中经常使用的算法了,这些算法我们只有必须使用时再去学习使用就行了,比如图像处理中的快速傅里叶变换算法。 算法定义 让我们来看看算法的定义吧。(以下定义摘自中文维基百科) 在数学和计算机科学/算学之中,算法/演算法/算则法(Algorithm)为一个计算的具体步骤,常用于计算、数据处理和自动推理。精确而言,算法是一个表示为有限长列表的有效方法。算法应包含清晰定义的指令用于计算函数。 算法中的指令描述的是一个计算,当其运 继续阅读 »
2016-11-19 Eric Wang
 作者简介 塞德希尔·穆来纳森(Sendhil Mullainathan) 哈佛大学终身教授,哈佛大学行为经济学领域重要领头人。与普林斯顿大学心理学教授埃尔德·沙菲尔等人联合创立非营利性组织ideas42,致力于利用行为科学帮助人们解决社会问题。在麻省理工学院,与《贫穷的本质》作者阿比吉特·班纳吉等人联合创立“贫困行动实验室”,并于2002年荣获“麦克阿瑟天才奖”。出生于印度农村,7岁时随父母移民美国。1993年,获得康奈尔大学计算机科学、数学和经济学3个学士学位。1998年,获得哈佛大学经济学博士学位。 埃尔德·沙菲尔(Eldar Shafir) 1988年,获得麻省理工学院认知科学博士学位。古根海姆奖获得者。普林斯顿大学心理 继续阅读 »
2016-01-30 LEo
已经读完的书 linux/unix设计思想 黑客与画家 数学之美 浪潮之巅 深入理解c指针 c陷阱与缺陷 c程序设计语言 大教堂与集市 只是为了好玩(linus自转) 理解unix进程 继续阅读 »
2016-07-31 ruki
简介 所谓的细化就是经过一层层的剥离,从原来的图中去掉一些点,但仍要保持原来的形状,直到得到图像的骨架。 骨架,可以理解为图象的中轴,例如一个长方形的骨架是它的长方向上的中轴线;正方形的骨架是它的中心点;圆的骨架是它的圆心,直线的骨架是它自身,孤立点的骨架也是自身。 细化删除条件 内部点不能删除 孤立点不能删除 直线端点不能删除 如果P是边界点,去掉P后,如果连通分量不增加,则P可以删除 细化步骤 通过基于数学形态学的腐蚀细化法,通过刚才的删除条件,进行匹配删除,由于是直接判断,省了模板匹配的这一步。 针对3*3的八邻域,进行操作: || p3 || p2 || p9 || || p4 || p1 || p8 || 继续阅读 »