数理逻辑是基础工具，研究PLT必备。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。

骨架提取与分水岭算法也属于形态学处理范畴，都放在morphology子模块内。
骨架提取，也叫二值图像细化。
这种算法能将一个连通区域细化成一个像素的宽度，用于特征提取和目标拓扑表示。
morphology子模块提供了两个函数用于骨架提取，分别是Skeletonize（）函数和medial_axis（）函数。
我们先来看Skeletonize（）函数。
格式为：skimage.morphology.skeletonize(image)输入和输出都是一幅二值图像。
例1：  生成一幅测试图像，上面有三个目标对象，分别进行骨架提取，结果如下：例2：利用系统自带的马图片进行骨架提取 medial_axis就是中

借助于拓扑系统的思想和方法，对Heyting系统的H-空间化进行了再研究。
引入Heyting系统的H-同胚的概.念，证明了H-同胚的逆和复合还是H-同胚。
在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。
给出了Heyting系统是可H-空间化的等价刻画。

理科生也能玩设计！今天@北京华创精益另辟蹊径，从科学的角度来分析如何吸引受众的视线，有哪些技巧可以运用。
我们喜欢将各种话题归结为一些根本原因，来说明为什么有些事有效（或者无效），这些深入的挖掘经常将我们带入心理学和科学范畴。
我发现对于视觉内容也是如此。
在许多心理学和科学中，都解释了视觉内容为何如此强大、如何创建漂亮的图片，总结了四点：你是否曾经爱上过一款设计，但是却解释不清为何喜欢？这些本能的反应是我们能够与视觉内容所产生的最强连接。
在我们的大脑中，有一个负责生存本能和战术评估（应战或者逃跑）的区域，当我们感知一种本能反应时，这个区域就会给我们发出响应。
这种响应是一种潜意识，当我们受到诸如食物

《概率论与数理统计：英文本》简介：　　本书从ThomsonLearning出版公司引进。
本书主要介绍了概率统计的基本思想、概念和方法，从各个应用层面和案例入手，使用尽量少的概率知识介绍了应用统计的基本内容和扩展内容。
阅读本书，不需要微积分学知识，只需具备高中数学水平即可。
本书着重思维、层次分明、大量案例与练习以统计软件Minitab作统计分析，使用方便，适合于工科、经济、管理类专业学生作为概率统计双语教材使用，也可供教师教学参考。
本书主要内容有：0.统计学简介；
1.用图表描述数据；
2.用数值方法描述数据；
3.双变量数据的描述；
4.概率及概率分布；
5.几个有用的离散型分布；
6.正态概率分布；
7.抽样分布；
8.大样本估计；
9.大样本假设检验；
10.从小样本推断；
11.方差分析；
12.线性回归及相关性；
13.多元线性回归；
14.范畴数据分析；
15.非参数统计。

CategoriesandComputerScience-CambridgeComputerScienceTexts)R.F.C.Walters.pdf

就是那个大家都熟悉的『JackandRose』的故事，豪华游艇倒了，大家都惊恐逃生，可是救生艇的数量有限，无法人人都有，副船长发话了『ladyandkidfirst！』，所以是否获救其实并非随机，而是基于一些背景有rank先后的。
训练和测试数据是一些乘客的个人信息以及存活状况，要尝试根据它生成合适的模型并预测其他人的存活状况。
对，这是一个二分类问题，是我们之前讨论的logisticregression所能处理的范畴。

最近我阅读了很多有关DevOps的文章，其中一些非常有趣，然而一些内容也很欠考虑。
貌似很多人越来越坚定地在DevOps与chef、puppet或Docker容器的熟练运用方面划了等号。
对此我有不同看法。
DevOps的范畴远远超过puppet或Docker等工具。
这样的看法甚至让我感觉有些气愤。
DevOps在我看来极为重要，过去15年来，我一直在大型机构，主要是大型金融机构中从事工程业务。
DevOps是一种非常重要的方法论，该方法将解决一些最大型问题的基本原则和实践恰如其分地融为一体，很好地解决了此类机构的软件开发项目中一种最令人感觉悲凉的失败要素：开发者和运维人员之间的混乱之墙。
请不要误会我的

《10000个科学难题》序　　前言　　奥特（Vaught）猜想与拓扑奥特猜想　　超紧基数典型内模型问题　　递归可枚举度中的格嵌入问题和双量词理论可判定性问题　　高层有限波雷尔（Borel）等价关系中的两个问题　　极小塔问题　　r=rω?及s=sω?　　连续统势确定问题　　奇异基数问题　　萨克斯（Sacks）关于波斯特（Post）问题的度不变解问题和马丁（Martin）猜想　　图灵（Turing）等价问题　　图灵（Turing）度的自同构问题　　是否存在一个稳定的一阶完全理论，它有大于一的有穷多个可数模型　　Cherlin-zilber猜想　　带指数函数的实数理论的可判定性问题　　Shelalh唯一性猜想　　微分封闭域上的平凡强极小集　　3-Calabi-Yau代数的分类　　阿廷（Artin）群的Grobner-Shirshov基　　布如意（Broue）交换亏群猜想　　布朗（Brown）问题　　凯莱（Cayley）图和相关的问题　　福克斯（Foulkes）猜想　　戈伦斯坦（Gorenstein）对称猜想　　卡普兰斯基（Kaplansky）第六猜想　　中山（Nakayama）猜想和广义中山（Nakayama）猜想　　拉姆拉斯（Ramras）问题　　Smashing子范畴上的公开问题　　巴斯-奎伦（Bass-Quillen）猜想　　非半单Brauer代数的表示理论　　非交换曲面的分类　　关于码交换等价于前缀码的猜测　　关于半群上一类重要同余的一个系列推广模式　　关于有限码具有有限完备化的判定问题　　关于正则半群的两个嵌入问题　　广义倾斜模中的两个猜想　　考克斯特群的胞腔　　满足正规子群极小条件的可解群的Fitting子群是否是幂零的?　　模代数smash积的半素性　　球极函数的提升Pieri型公式　　稳定等价猜想　　一些代数的Grobner-Shirshov基　　由导出范畴建立量子群和典范基　　有限维数猜想　　ABC猜测　　巴斯（Bass）猜想和索尔（Soule）猜想　　Lichtenbaum猜想　　里德一所罗门（Reed-Solomon）码的译码问题　　沙努尔（Schanuel）猜想　　[1]哥德巴赫（Goldbach）猜想　　关于不同模覆盖系的厄尔多斯（Erdos）问题　　关于倒数和发散序列的厄尔多斯图兰（Erdos-Turan）猜想　　关于奇数阶阿贝尔（Abel）群的Snevily猜想　　关于有限域上代数曲线点数的Drinfeld-Vladt界　　朗兰兹（Langlands）纲领　　类数1实二次域的高斯猜想　　黎曼（Riemann）zeta函数在奇正整数点处值的超越性　　黎曼（Riemann）猜想　　欧拉常数的超越性　　椭圆曲线的BSD猜想　　希尔伯特第九问题：高斯二次互反律如何推广　　希尔伯特第十二问题：构作数域的最大阿贝尔扩域　　岩泽（Iwasawa）理论的主猜想　　……　　编后记

学生成绩管理系统：这是一篇从需求分析、概要设计、详细设计和测试的文档，是属于软件工程范畴。

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。