![](https://img-blog.csdnimg.cn/20201014180756919.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
计算机科学
on_1y
这个作者很懒,什么都没留下…
展开
-
程序设计语言理论(lambda 演算,函数式编程) 相关资料
1. g9yuanyon's blog: 翻译了一系列Lambda calculus 的文章,非常通俗,且有部分八卦。也有对原文少量的补充资料。 http://blog.csdn.net/g9yuayon/article/details/7909532. MarkCC' blog Good Math Bad Math: 这里有g9翻译文章的原文,后面几篇原创 2012-12-04 21:29:53 · 3278 阅读 · 0 评论 -
线性规划工具 GLPK 的安装及基本使用
线性规划工具 GLPK 的安装及基本使用1 概述2 安装3 基本使用 4 用途1 概述GLPK 全称GNU Linear Programming Kit.顾名思义,这是GNU计划下一个用于解线性规 划(Linear Programming)的工具包。它可以方便的描述线性规划问题,并给出相应解。 GLPK 的主页为:http://www.gnu.org/softw原创 2012-12-12 14:02:55 · 11541 阅读 · 1 评论 -
理解数据结构
通过一个图书馆管理图书的故事,阐述对数据结构的理解,在设计和学习数据结构时需要关心的关键问题是什么。原创 2013-10-30 23:08:25 · 3800 阅读 · 6 评论 -
命题逻辑中的语法与语义,可靠性与完备性
对命题逻辑中的语法与语义,可靠性与完备性,给出了浅显易懂的解析。原创 2013-03-27 17:41:14 · 16106 阅读 · 6 评论 -
对 Java 内存模型的理解
阐述了自己对 Java 语言规范中内存模型的理解,介绍了之前较少被提及的 Causality Requirements.原创 2014-08-17 21:24:30 · 2943 阅读 · 0 评论 -
对递归的新认识
通过在 SICP 上学到的知识,阐述了对递归新的理解,主要是尾递归与普通递归区别。原创 2015-01-17 21:39:32 · 3019 阅读 · 0 评论 -
架构风格与基于网络的软件架构设计
如今许多服务都采用了 RESTful API, 而 REST 这一架构风格,最早即来源于 Roy Thomas Fielding 的博士论文 Architectural Styles andthe Design of Network-based Software Architectures, 本文重点介绍了前三章,基于网络的软件设计架构时,应该考虑哪些因素,不同的因素会会导致哪些结果,并给出大量实例。原创 2017-03-04 22:30:49 · 9340 阅读 · 1 评论