Tag:math

All the articles with the tag "math".

• 租约

  Posted on:November 30, 2021 |  at 12:56 PM

  A lease is a contract that gives its holder specified rights over property for a limited period of

• 形式化语义和类型系统

  Posted on:December 25, 2020 |  at 08:59 AM

  ## rule ## judugment ## 语法 语法是一堆token组成的结构 ## 语义 语义是某个语法结构映射的内容 比如操作语义: 某个语法映射相关操作 指称语义: 语法映

• 泛型

  Posted on:December 7, 2020 |  at 11:05 AM

  对于没有泛型的情况 比如 ``` max(a : int , b:int){ xxx } ``` 入参是a , b ,这两个参数的类型的约束是 `int` , 也就是这个函数的约束是 `ma

• 约束和结构

  Posted on:November 27, 2020 |  at 05:53 PM

  结构和性质是同构的吗? 约束和结构是同构的吗? 我一直觉得,我们之所以很难维护好业务代码,是因为我们的约束和我们的业务不是同构的,我们一个又一个函数在传递,大部分时间都工作得很好,但是总有一

• 循环不变式loop invariants

  Posted on:September 27, 2020 |  at 02:38 PM

  ### 控制流图 ### 入口和出口 ``` 入口 ---> 判断 ---> 出口 | | | | |____| ``` 对于

• invariants

  Posted on:September 25, 2020 |  at 09:35 AM

  循环不变式 ### 循环不变式的定义 ### 循环不变式的结构 ### 循环不变式的性质 ### 相关阅读 - http://se.ethz.ch/~meyer/publicatio

• 规则系统

  Posted on:March 15, 2020 |  at 07:31 PM

  我一直对所谓的可扩展性什么的很有疑惑，或者说我们要怎么设计一个规则系统，怎么知道这个规则的集合的边界在哪里 第一个例子： 流水线 流水线上每个节点都是一个回调，我们可以随意添加或者删除

• math

  Posted on:March 10, 2020 |  at 12:38 PM

  其中一种是基于锁 我之前一直对acid理解有问题，锁和事务的关系，其实是这样的： 1 read(x) 和write(x)是不可以交换顺序的 2 write(x) write(x) 是不可以交换顺序

• induction

  Posted on:March 4, 2020 |  at 12:17 PM

  ## 前言 归纳法是一个很特别的推理方式。使用自然数的映射。（我的理解可能不太对） ## Mathematical induction 数学归纳法 - P(0) is true - If P(