对教育科学中精确性的思考
在事实中找到某些能够带来精确性的客观要素，可能的话，还要找到测量这些事实的方法—笛卡尔相反，最优的模型设定必须在简化和普适之间权衡，基于简约性原则，许多复杂的情况要忽略掉---《定量研究中的稳健性检测》科学的进步是一个不断减少不确定的过程，而差异数据则是测量这些事实不可或缺的标尺。 一个好的教育模型，需要以更低的成本去实现“差异数据”供给。思考这类模型，或许不是科学性而是工程性，能作为一名教育工程师去构想这类模型，时常让我振奋不已。模型内的价值与事实判断。 “最大多数人的最大幸福“ 被确定为功利主义的最高目标。在我们的模型中，也应该存在这样一条最高价值判断，来使得我们模型内的事实判断是逻辑自洽的，即：所有人教育收益的最大值（我们需要一开始就点明我的价值判断，是因为公平问题在教育社会学中如此重要，而差异数据供给意味着，我们可能很难在短时间内或者说单次博弈中是实现公平）。 这样一条价值判断具有很高的普适性，但对于我们所要做的工作，还是无法做到足够的精确。让我们从一些问题开始。 让我们假设，存在两种教育方法，我们应该在实践中如何量化这两种教育方法的实际效果，区分它们适用环境，如何界定它...
对教育科学中精确性的思考
在事实中找到某些能够带来精确性的客观要素，可能的话，还要找到测量这些事实的方法—笛卡尔相反，最优的模型设定必须在简化和普适之间权衡，基于简约性原则，许多复杂的情况要忽略掉---《定量研究中的稳健性检测》科学的进步是一个不断减少不确定的过程，而差异数据则是测量这些事实不可或缺的标尺。 一个好的教育模型，需要以更低的成本去实现“差异数据”供给。思考这类模型，或许不是科学性而是工程性，能作为一名教育工程师去构想这类模型，时常让我振奋不已。模型内的价值与事实判断。 “最大多数人的最大幸福“ 被确定为功利主义的最高目标。在我们的模型中，也应该存在这样一条最高价值判断，来使得我们模型内的事实判断是逻辑自洽的，即：所有人教育收益的最大值（我们需要一开始就点明我的价值判断，是因为公平问题在教育社会学中如此重要，而差异数据供给意味着，我们可能很难在短时间内或者说单次博弈中是实现公平）。 这样一条价值判断具有很高的普适性，但对于我们所要做的工作，还是无法做到足够的精确。让我们从一些问题开始。 让我们假设，存在两种教育方法，我们应该在实践中如何量化这两种教育方法的实际效果，区分它们适用环境，如何界定它...
契约单子与DAO的授权机
很多年前我在追踪教育问题时，读过一本书，里面认为今天世界的许多贫富问题，归根结底在于，教育科学的发展没有跟上自然科学发展的水平。 我为这很大一部分原因，在于教育回报周期的长度，这使得异常数据很难被收集和利用、规制的供给也很容易陷入囚徒困境。 因此，我构想一种是尽可能短的结构体，对它的每一个单子，它是信息完备的，对于它的组合体亦是，换句活说。我们希望赋予它最大的可组合性。 契约单子由筛顺器，推进器，以及认证器构成，一个执行实体携带着证明元先通过筛适器的过滤，而后进入契约单子内部.之后，契约单子不对过程进行具体的管控。推进器在启动时，对进度进行监控，定时推动到认证器进行结算，其实可以接受一份一维的进度表（与时间构成一个二维的判断条件）。 我们对执行实体不做具体说的类型约束，它们既可以是一个智能合约，也可以是一个预言机，也可以是一个中心化组织。但是契约单子的生命周期结束时，其结果必须收敛/回归成为一个证明体，例如NFT。 这些证明体将会被下一个节点的筛选器识别，从而形成链式结构体。关于DAO的授权器 DAO的全称是去中心化自主组织.如果它的决策都是自动生成的，那自然没有问题。但如果它里...
契约单子与DAO的授权机
很多年前我在追踪教育问题时，读过一本书，里面认为今天世界的许多贫富问题，归根结底在于，教育科学的发展没有跟上自然科学发展的水平。 我为这很大一部分原因，在于教育回报周期的长度，这使得异常数据很难被收集和利用、规制的供给也很容易陷入囚徒困境。 因此，我构想一种是尽可能短的结构体，对它的每一个单子，它是信息完备的，对于它的组合体亦是，换句活说。我们希望赋予它最大的可组合性。 契约单子由筛顺器，推进器，以及认证器构成，一个执行实体携带着证明元先通过筛适器的过滤，而后进入契约单子内部.之后，契约单子不对过程进行具体的管控。推进器在启动时，对进度进行监控，定时推动到认证器进行结算，其实可以接受一份一维的进度表（与时间构成一个二维的判断条件）。 我们对执行实体不做具体说的类型约束，它们既可以是一个智能合约，也可以是一个预言机，也可以是一个中心化组织。但是契约单子的生命周期结束时，其结果必须收敛/回归成为一个证明体，例如NFT。 这些证明体将会被下一个节点的筛选器识别，从而形成链式结构体。关于DAO的授权器 DAO的全称是去中心化自主组织.如果它的决策都是自动生成的，那自然没有问题。但如果它里...
