240 发简信
readilen
IP属地：北京
  • 120
    180
    readilen
    操作系统形式化验证实践教程(1) - 证明第一个定理

    操作系统形式化验证实践教程(1) - 证明第一个定理 形式化方法分为三个主要部分：系统建模(System Modeling)、形式规约(Formal Specificatio...

    Jtag特工
    1570 0 3
  • 180
    readilen
    Standard ML快餐教程(1) - 初识

    Standard ML快餐教程(1) - 初识 好久没写快餐教程了，下面开始一个新的系列，关于函数式编程语言的系列。打算写三种语言：Standard ML，ocaml和Has...

    Jtag特工
    1477 0 2
  • 180
    readilen
  • 180
    readilen
  • 120
    180
    readilen
    “李达康”的成功学

    作为《人民的名义》中的配角，吴刚饰演的京州市委书记李达康火了。这位一身正气但又带点狡黠，追求政绩但又不忘初心，爱惜羽毛但又敢闯敢拼，性格暴躁但又是非分明的复杂人物，极大颠覆了...

    朝天扬帆
    1503 5 5 3
  • 180
    readilen
  • 180
    readilen

    在研究Deflate树的时候你就会觉得我似乎还有些没写

    ZIP压缩算法的来龙去脉

    一 压缩算法的原理 最近自己实现了一个ZIP压缩数据的解压程序，觉得有必要把ZIP压缩格式进行一下详细总结，数据压缩是一门通信原理和计算机科学都会涉及到的学科，在通信原理中，...

    readilen
    2614 5 22
  • 180
    readilen
    ZIP压缩算法的来龙去脉

    一 压缩算法的原理 最近自己实现了一个ZIP压缩数据的解压程序，觉得有必要把ZIP压缩格式进行一下详细总结，数据压缩是一门通信原理和计算机科学都会涉及到的学科，在通信原理中，...

    2614 5 22
  • 180
    readilen
  • 180
    readilen
  • 180
    readilen
    Springer数学书系列(持续更新)

    1 SUMS Springer Undergraduate Mathematics Series 斯普林格大学本科数学系列（SUMS）是为全球数学和科学专业的本科生设计的系列...

    5169 1 3
  • 180
    readilen
    injective, surjective,bijective区别

    文章源自https://www.mathsisfun.com/sets/injective-surjective-bijective.html 1 函数的定义 A funct...

    7245 0 1
  • 180
    readilen
  • 180
    readilen
  • 180
    readilen
    群论软件介绍

    1 GAP4 GAP是一个用于计算离散代数的系统，特别着重于计算群论。 GAP提供了一种编程语言，数千种实现用GAP语言编写的代数算法的函数的库，以及大型的代数对象数据库。 ...

    2753 1 1
  • 180
    readilen
    作用域

    摘要 函数的作用域是一个默认的因素，写程序时一定要清楚，闭包、lambda中对待作用域的方式，笔者遇到了函数式编程的作用域问题，于是进行了初步解读。 闭包 我们先看看John...

    249 0 0
  • 180
    readilen

    firebug停止开发的原因是其项目负责人去开发Chrome的调试器了

    强烈推荐 10 款珍藏的 Chrome 浏览器插件

    Firebug 的年代，我是火狐（Mozilla Firefox）浏览器的死忠；但后来不知道为什么，该插件停止了开发，导致我不得不寻求一个新的网页开发工具。那段时间，不少人开...

    沉默王二
    11759 20 324
个人介绍
关注人工智能，量化投资，深度学习，自然语言，视觉图形，Web前端


微信公众号：PyTorch神经网络框架