137(精确读数 136.60)是投稿原稿的全文盲评(五维 S 140 D 138 E 137 I 124 F 146,加权 S×.20+D×.25+E×.20+I×.20+F×.15,参照语料=教育测量与效度理论、课程研究、组织社会学与制度理论、控制论与激励理论、实施科学,中英文公开文献,并计入站内自撞;评分截至 2026 年 8 月)。141 是文末「最美文定稿」一节(编辑增补的最近邻切割、相反预测与裁决设计)之后的编辑自评。按本站铁律,改稿者不得为自己改过的文本盖认证分,故后一数只作修改设计目标,须由另一位独立评分者复评后方能作数。(评分:Claude · 2026年8月8日)
同一道题的第一篇论文把损失定位在”已经发生而不留痕的动作”上。本文处理它的另一面:从来没有发生、因而同样不留痕的那一次呈递。免疫学、大气科学与人类学在”什么算被排除在外”这件事上给出互不相容的判定依据,却共享一个从未说出口的假定——判定的对象先于判定而存在。免疫学自己的材料推翻了它:胸腺阴性选择与自身抗原的异位表达说明,“自己”不是一份先天名单,而是由可塑窗口内恰好被呈递过什么定义出来的;窗口内没出现过的自身组织,此后终身被判为外来。据此本文界定一类此前没有本体地位的东西——缺历:因在可塑窗口内从未被呈递过、此后被系统永久判为”不属于这里”的那一类;它的缺席不产生任何记录,因而在系统的一切输出上,“从来没见过”与”见过并判为外来”完全同形。大气科学的观测空洞、人类学的谱系结构性遗忘,是它在两个量纲完全不同的领域里的同一形状。缺历的形成遵循四段次序:收窄呈递面、耐受锁定、误判同形、闭历;关键读数是闭历时刻,即系统最后一次把一个新类型接纳为”自己”的时刻。全文的判据是一句不含程度词的问话:这次被判为”不会、不属于这里、超纲”的东西,在此前的呈递记录里出现过吗?出现在哪一份记录上? 本文给出闭历时刻与缺历面的清点手册,并报告一次基于十二个公开代码仓的预注册检验及其四个不利结果——其中一个不利结果是本文自己的抽样犯了它所描述的那个错误。
关键词 缺历;闭历时刻;呈递面;零的三种来路;输入端拦截;应试教育
Title Never-Presented: What High-Stakes Examination Eliminates Is the Class of Things That Were Never Presented Within the Plastic Window
Abstract Immunology, atmospheric science and anthropology disagree on what licenses a verdict of “does not belong here”, yet share an unstated premise: that the object of a verdict exists prior to the verdict. Immunology’s own material overturns it. Thymic negative selection and the ectopic expression of tissue-restricted antigens show that “self” is not an innate list but is constituted by what happens to be presented during a plastic window; tissues absent from that window are treated as foreign for life. The paper defines never-presented: the class of things never presented within the window and therefore permanently adjudicated as not belonging, whose absence generates no record, so that “never seen” and “seen and rejected” are indistinguishable in every output. Observation voids in numerical weather prediction and structural amnesia in oral genealogy are the same shape. Formation proceeds in four stages, and the load-bearing reading is the closure moment: the last time the system admitted a new type as its own. A pre-registered test on twelve public repositories is reported with four unfavourable results, one of which is that the paper’s own sampling committed the error it describes.
Keywords never-presented; closure moment; presentation surface; three origins of a zero; intervention at the input end
“扼杀”是一个动词,它预设了一个宾语。人们说应试教育扼杀了什么,脑子里的图景总是:那样东西本来在那儿,被弄没了。 创造力本来在,被磨没了;好奇心本来在,被压没了;真实学力本来在,被虚假的分数遮住了。
这个图景很牢固,牢固到几乎没人去问它。而它一旦成立,寻找的方向就被锁死了:去找那个被弄没的东西,去找弄没它的那只手,去想办法把它找回来。三种流行答案——能力受损、动机被挤、尺子失真——分别对应三只不同的手,但它们找的是同一样东西:一个先于教育而存在、被教育弄没了的宾语。
本文与同题的第一篇论文(下称前篇)都主张这个图景漏掉了东西,但漏掉的方向不同。前篇处理的是已经发生而不留痕的那一类动作:它做了,删掉它读数不变,于是任何账本都不记它。本文处理的是它的另一面,也是更难看见的一面:
从来没有发生、因而同样不留痕的那一次呈递。
一样东西若从未在系统面前出现过,系统不会为”没出现”留下任何记录。这一点听上去平淡无奇,直到你追问一句:那么当系统说”这不属于这里”的时候,它是在说”我见过它、判它是外来的”,还是在说”我从来没见过它”? 在系统的输出上,这两句话完全一样。
本文把后一种情形——因在可塑窗口内从未被呈递过、此后被系统永久判为”不属于这里”的那一类——命名为缺历。缺,是缺席;历,是经历过、履历、历数。缺历不是”被弄没了”,它从未在;它也不是”缺失的数据”,因为缺失的数据预设那个值存在而未被观测到,而缺历所指的东西在系统里不作为一个类型存在。
承重命题因此写成:
应试教育扼杀的不是判断力这项官能,也不是知识的存量与速度,也不是学生与知识之间的关系脉络,而是缺历——那一类因在可塑窗口内从未被呈递过而此后被永久判为”不属于这里”的东西;它的缺席不产生任何记录,因而在系统的一切输出上,“从来没见过”与”见过并判为外来”完全同形。
这个命题若成立,有三个推论立刻跟出来。其一,一个系统可以在它见过的全部类型上表现得越来越好,同时它能接纳的类型总数在单调下降,而这两件事不产生冲突的信号——因为后者根本不产生信号。其二,判断一个系统有没有出问题,不能看它答错了什么,要看它一共被呈递过什么;前者在输出端,后者只在输入端。其三,这件事有一个关闭时刻,过了那个时刻,新类型不再有被接纳为”自己”的通道;此后无论投入多少资源做输出端的补救,都补不出一个新类型来。
本文取的三门学问是免疫学、大气科学与人类学。它们在”什么算被排除在外”这件事上互不相让,而它们各自都保存着一件本文所需要的材料,且都从来不往这个方向用。
免疫学:看它身上的标记。 这门学问的账本计量自我与非我的识别,失败是”误伤自身或漏放”。它的强立场是:一样东西属不属于这里,取决于它自身携带的标记是否落在”自己”的名单上。这个判定是一次性的、全局执行的、不看上下文的——一个抗原在肝里是外来的,在肺里也是外来的。整体性(一个抗原表位是一个整体被识别)、稳定性(自身耐受一旦建立就是稳定状态)、独立性(自体与外来的界线不依赖任何第三方)。据此,问”应试教育杀掉了什么”,这一路的回答是:被杀掉的是识别本身——系统不再能分辨什么是自己想的、什么是灌进来的。要么把自己的东西当成错的(自体攻击),要么把灌进来的当成自己的(免疫逃逸)。
大气科学:看它的路径、速度和耗散。 这门学问的账本计量预报技巧评分,失败是”报错”。它不问一个天气系统”是什么”,它只问它往哪走、多快、什么时候散掉。轨迹、移动速度、湍流耗散——这三个量把一切都说完了。它的强立场里还有一条别人没有的:一个系统的健康,不在于它此刻的状态,而在于它的可预报期有多长。 初始条件里的微小误差以指数增长,增长率决定了你能往前看多远。据此,这一路的回答是:什么也没被杀掉,只是可预报期缩短了。 学生还在,知识还在,能量守恒;变化的是”从现在能推出多远”这个窗口。
人类学:看它在整张网里的位置。 这门学问的账本计量他者是否被理解,失败是”误读、投射”。它的强立场是整体论:一个习俗、一件器物、一句话,离开它所嵌的关系网就无从理解;意义不在事物里,在事物与事物的连接、次序与结构里。成员身份尤其如此——一个人是不是”自己人”,不由他身上的任何属性决定,由承认关系决定,而承认关系是可以在两张网里同时给出相反答案的。据此,这一路的回答是:被杀掉的是脉络——同一个动作,抽掉它所嵌的关系,就成了空壳。
三对冲突逐条摆开,每一对都不能靠判谁对来化解:
免疫学 × 大气科学:前者认为身份是对象自身的属性、一经判定即稳定,后者认为不存在稳定的身份、只有演变中的状态与时段性的标签。若身份是属性,可预报期就与身份无关;若一切都是演变,自我耐受这种”永久名单”就不可能存在。二者不能同真。
免疫学 × 人类学:前者认为”自己”由一份内部名单定义,与外界的承认无关;后者认为”自己人”完全由外部承认构成,同一个对象在两张网里可以同时是自己人和外人。若前者对,双重身份是逻辑错误;若后者对,胸腺里的那份名单就只是又一张网。二者不能同真。
大气科学 × 人类学:前者认为只要初始条件足够精确,演变可由定律外推;后者认为关系网的演变由承认、仪式与遗忘构成,不可由任何外推得到——一次入会仪式不是从前一状态推出来的,它是被举行出来的。二者不能同真。
把争论压成一句话:三家争的是”一样东西属不属于这里,该由什么来裁定”——由它自身的标记(免疫学)、由它的路径与时程(大气科学)、还是由它在关系网中的位置(人类学)。
争”该由什么来裁”,前提是有东西可裁。三家共同假定的是:
判定的对象先于判定而存在。 系统面对的是一个已经在那里、等着被判的东西;判定可能判错,可能判得慢,可能标准不同,但被判的那样东西的存在不依赖判定本身。
把这句话念给三家听,三家都会觉得这还用说吗。免疫学说,抗原是客观存在的分子,免疫系统只是识别它。大气科学说,气团在那儿,模式只是算它。人类学说,人在那儿,社会只是承认或不承认他。三者的分歧只在裁定的依据,不在被裁定者的存在。
正因为都这么认为,三家都不会去问:“可被判定的类型”这个集合本身,是不是被某一段有限的经历造出来的? 这个问题在三家的问题结构里都不必问,不是因为疏忽,而是因为它们各自的核心任务恰好使这一步成为不必要。免疫学的任务是解释识别的特异性,它默认抗原空间是外部给定的;大气科学的任务是提高预报技巧,它默认真实大气是客观场,模式误差是模式的事;人类学的任务是描写一个社会如何组织承认,它默认”人”这个类别不成问题。
这块地同样支配着那三种流行答案。能力说、动机说、准确性说都假定被扼杀的那样东西存在于教育之前,因而可以在教育之后被找回来。只要这条前提不动,“从来没有过、也从来不算数”这一类东西就没有位置可站。
要动它,必须找到一件材料:它必须是三家之一自己已经掌握、写进教科书、只是从来不往这个方向用的事实。
这件材料是 T 细胞的中枢耐受,具体说是阴性选择与组织限定性抗原在胸腺中的异位表达。
免疫学的标准叙述是这样的:发育中的 T 细胞在胸腺里接受两轮筛选。阳性选择留下那些能与自身主要组织相容性复合体弱结合的;阴性选择删除那些与自身肽结合过强的。经过这两轮,输出到外周的 T 细胞对”自己”耐受,对”非我”反应。
关键在于阴性选择的原料是什么。它是胸腺髓质上皮细胞在那一段时间里恰好呈递出来的那些自身肽。 这些细胞会异位表达大量本不该在胸腺出现的组织特异性抗原——胰岛素、甲状腺球蛋白、视网膜蛋白——由一个转录调控因子驱动。这个机制被发现是因为它坏掉的时候:该调控因子失能的人,会同时患上多个器官的自身免疫病,因为那些器官的抗原在胸腺里没有被呈递过,发育中的 T 细胞没有见过它们,于是它们终身是”外来的”。
请把这个结论的形状看清楚:
“自己”不是一份先天名单,而是由可塑窗口内恰好被呈递过什么定义出来的。窗口内没出现过的自身组织,此后被判为外来,而且这个判定不产生任何”我没见过”的信号——它产生的信号与”我见过并判定它是外来的”一模一样:攻击。
这件材料在免疫学自己的领域里回答的是另一个问题——自身免疫耐受如何建立、某些自身免疫病为何有器官特异性。从来没有人把它当作关于”判定的对象是否先于判定而存在”的证据。但它恰恰就是。它说明:可被判定为”自己”的类型集合,不是外部给定的,是被一段有限的呈递史造出来的;而这段呈递史本身没有留下清单。
一旦这一条被承认,三家的共有前提就塌了,而且三家都退不回自己的阵地。
对免疫学自己:它必须承认,“自我/非我”这条界线不是对客观世界的划分,是对自己那段经历的复述。所谓识别失败,有一部分根本不是识别失败——识别得完全正确,只是名单不全。
对大气科学:它必须承认,可预报期不只由误差增长率决定,还由初始场里有没有那个东西决定。一个模式对它的观测网从未覆盖过的现象,可预报期不是短,是没有——而模式不会因此报错,它会照常给出一个平滑、自洽、看上去合理的预报(见第六节)。
对人类学:它必须承认,结构性遗忘不是记忆的衰减,是名单的重构;被删掉的祖先不是”被遗忘的人”,是”从未存在过的人”——这一点人类学自己早就说过了(见第七节),只是没把它当成关于判定对象的一般结论。
这就是本文得以站住的那一步。
定义。 在一个由有限呈递史构成判定名单的系统中,若某一类型满足下列全部条件,则称之为缺历:
未呈递:在该系统的可塑窗口内,该类型从未被呈递过;
不留痕:系统的记录体系中不存在任何字段登记”该类型未曾出现”,因而它的缺席与它的不存在不可分辨;
同形输出:当该类型此后出现时,系统的输出与”呈递过并判为外来”完全一致,无任何附加信号;
窗口后不可增补:可塑窗口关闭后,该类型不再有被接纳为”自己”的通道;其地位由此固定,且随外部世界的变化而单调恶化。
四条缺一不成立。第一条排除了”学过但忘了”——忘了是留过痕的,痕迹在成绩、在笔记、在错题本上。第二条排除了”记录不全”——只要有字段,补记录即可,而缺历的性质是没有字段可补:你无法登记一件从未发生的事,除非你先有一份”本应发生”的清单,而这份清单只能来自窗口之外。第三条是本文最要紧的一条,它把缺历与一切”识别错误”分开:识别错误会在某处留下不一致(复核时发现、事后验证时暴露),而缺历的输出在系统内部是完全自洽的。第四条把它与”暂时没学到”分开——暂时没学到是可补的,缺历不可补。
为什么它是一类原来不存在的东西,而不是旧东西的新算法。 检验方法与前篇相同:删掉本文提出的这个说法之后,它是不是就不存在了?是的。删掉”缺历”这个说法,人们看到的只是”这个学生不会做这道题”,或者”这个系统不支持这种情况”——而”不会做”与”不支持”已经有名字了,那些名字全都指向能力、覆盖或资源。缺历不是能力不足,不是覆盖不全,不是资源不够:它是”这个类型在这个系统里从来不算一个类型”这件事。没有这个说法,这件事不出现在任何一本账上;有了它,才有可能去问那个此前无从提出的问题:这个系统一共被呈递过多少种类型?
它与”没学过”的区别,是本文与教育学既有说法的分界线所在(第十四节详述)。 “没学过”预设了一份应学清单,因而它是可测的、可补的、可问责的。缺历预设不了——清单本身是呈递面的产物。凡是能被列进清单的,都已经是被呈递过一次的东西了。
命名的辩护。 描述性的名字(“未覆盖内容”“知识盲区”“认知盲点”)会立刻滑回旧概念,因为它们都暗示有一张地图,只是某块没走到。“缺历”两个字锁住的是另一件事:不是地图上有一块空白,是这块地方从未进入过任何一张地图的制图范围。缺的是经历,不是覆盖。
数值天气预报每天要做一件事:把散布在全球的观测(探空、地面站、飞机、浮标、卫星辐射率)与模式上一时刻的短期预报揉在一起,生成当前时刻的初始场。这个过程叫资料同化,模式上一时刻的预报在其中叫背景场。
于是有一个几乎没有人当作问题的事实:在没有观测的地方,初始场就是背景场。 南半球的大洋上空、极地、非洲与南美的大片区域,历史上观测极其稀疏;在那些格点上,“当前的大气状态”实际上等于”模式自己上一次的猜测”。
请注意这里的输出形状。同化系统不会在无观测处报错,不会给出警告,不会留下空白。它给出的初始场在整个地球上都是连续、光滑、物理自洽的;随后的预报照常发布,图上没有任何地方标着”这一块我没看过”。误差不在这里出现,它在下游出现——两三天后,当那一块的信号传播到有观测的地方时,预报开始失准,而失准会被归因于模式的物理过程、分辨率、参数化方案,因为那些地方有观测、有对比、有可归因的量。
这是缺历四条判据在大气科学里的逐条兑现:未呈递(该区域从未进入观测网)、不留痕(初始场不区分”来自观测”与”来自背景场”,输出是同一个数)、同形输出(预报照常发布,与有观测处的预报在形式上无异)、窗口后不可增补(过去的那个时刻已经过去,事后无法补一次观测)。
大气科学自己知道这件事,而且——这是本文必须诚实交代的一处——它发明了工具去对付它:观测系统模拟试验,用一个已知的”真实”来生成虚拟观测,看抽掉某类观测后预报退化多少;以及观测影响诊断,逐条估计每一个观测对预报误差减少的贡献。这两件工具让”哪里没看过、没看过造成多大代价”变成了可计算的量。
它们能成立的条件,本文必须一起交代,因为这个条件恰恰是教育所没有的:大气科学有一个独立于观测的物理模式,可以在没有观测的地方给出反事实。 你能算出”如果这里有观测会怎样”,是因为你有一套守恒方程。教育没有这样的方程;没有反事实生成器,缺历就不可计算。这一处直接削掉了本文原本要写的一句更强的话(见第十六节第二处)。
对本题的用处是双重的。一重是形状的兑现:一个学生对没被呈递过的题型,其”预报”不是报错,是给出一个平滑、自洽、看上去合理的答案——套用最近的模板。系统内部没有任何不一致。另一重是次序的提示:误差不在缺历处出现,在下游出现,而下游有可归因的量,于是全部归因都会落到下游——落到”练得不够”“方法不对”“心理素质差”上。归因永远落在有观测的地方。
人类学在二十世纪中叶留下过一个不太受欢迎但反复被证实的发现:口传谱系不是一份逐渐磨损的记录,它是一份随当下关系结构自动重排的名单。
在以世系组织社会关系的族群里,人们记得的祖先并不是”所有祖先里没忘掉的那些”,而是”支撑当下政治格局所必需的那些”。当两个支系的关系变化,中间几代会被悄悄压缩甚至消失,而谱系的形式完好无损——层级齐整、代数清楚、口诵流畅。研究者把这称为结构性遗忘。
要害在于遗忘的形态。被删掉的祖先不是被记成”不重要”,也不是被记成”记不清了”,他是完全不出现。 谱系里没有空位,没有省略号,没有”此处存疑”。你去问任何一个族人,他会给你一份完整的谱系,而且他不是在撒谎——对他来说那就是全部。删除不留痕,正因为不留痕,删除才能被反复进行而不引起任何人的怀疑。
同一个结构的另一面是成员资格的授予。人类学关于通过仪式的传统告诉我们,成员身份不是一个渐进的量,而是由一次限时的仪式授予的;错过了那个时机的人,往往终身处在一个既不属内也不属外的位置上,而这个位置在社会的正式话语里通常没有名字。没有名字,正是它稳定的原因。
这两样东西合起来,给本文提供了缺历在制度层面的完整原型:名单由当下的结构决定而不由过去的事实决定;名单之外的东西不留下空位;进入名单只有一次限时的通道。
一个可查的对照可以立刻拿来用:在任何一个学校的课程档案里,你能查到教过什么、考过什么、哪些学生成绩如何;你查不到的是这一届学生在三年里一共被呈递过多少种问题类型,也查不到哪些类型从未出现过。档案是完整的,层级齐整,没有空位。这不是档案做得不好,这是档案的形式决定的:档案记录发生过的事。
三门学问在这里第一次合起来说出一句谁也单独说不出的话:判定名单由一段有限的呈递史构成(免疫学),名单之外的地方由系统自己的上一次猜测无缝填平(大气科学),而这份名单会随当下结构自动重排且删除不留痕(人类学)。 三段各自都是自家的常识,合起来是一条没有人说过的判断。
本文的辨别装置不是一张两轴格,是一份三分类型学:当系统输出”这不属于这里”时,这个输出有且只有三种来路,而三种在输出上完全同形。
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">来路 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">系统内部实际发生的事 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">输出 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">在现行记录里可查吗 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">误读方向 |
|---|---|---|---|---|
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">甲 · 真外来 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">该类型被呈递过,经判定确认不属于本系统 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">排斥 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">可查:有判定记录 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">不误读 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">乙 · 耐受失效 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">该类型被呈递过、曾被接纳为”自己”,后来耐受破坏 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">排斥 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">部分可查:有过接纳记录 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">易被读成甲 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">丙 · 缺历(靶类) | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">该类型从未被呈递过 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">排斥 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">不可查:无任何记录 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">固定被读成甲 |
为什么靶类是丙。 甲不需要任何新框架:它是系统在正常工作。乙已经有名字,而且有痕迹可查——曾经接纳过,就一定在某处留下过接纳的记录,因此它是可诊断的。只有丙在系统内部完全自洽:没有判定记录,因为没有判定;没有接纳记录,因为没有接纳;没有异常信号,因为一切正常。
误读方向是固定的,而且固定偏向”没问题”。 这一点比三分本身更要紧。当一个系统排斥某样东西时,最省事、最合乎直觉、也最少引起追问的解释是甲——“我们评估过,它不适合”。这个解释不需要任何额外证据,因为缺证据正是丙的形态。于是丙在每一次发生时都被自动结算为甲,而每一次这样的结算都让系统更确信自己的名单是完整的。
三条签名,各配一条误诊阻挡。 前篇用了四条签名,本文只用三条,因为第三条在本文里承担了前篇需要两条才能说清的事。
签名一:系统在它见过的类型上表现单调改善。 呈递面越窄,窗口内的密度越高,对见过的类型判定越快越准。 误诊阻挡:不得以”整体表现下降”作为判据。 缺历扩大的同时,可见表现是上升的。任何以成绩、正确率、达标率为触发条件的机制,对丙类结构性失效。
签名二:排斥的理由陈述总是完备的。 每一次排斥都伴随一个说得通的理由(超纲、不重要、以后再说、不考),而这些理由的完备性恰恰来自它们不需要证据。 误诊阻挡:不得以”理由说不清”作为判据。 理由说不清的是乙,说得清清楚楚的才可能是丙。
签名三:归因永远落在下游有记录的地方。 缺历的后果在下游暴露,而下游有可归因的量,于是全部归因都落到那里。 误诊阻挡:不得以”归因是否合理”作为判据。 下游的归因通常都合理——练得不够、方法不对、心态不稳,这些在下游都是真的。
三条同时成立,才是丙类。
一张两轴的表,其中一格在系统里不存在。 把”是否被呈递过”与”判定结果”交叉,可以看到本文全部主张的骨架:
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">判定为自己 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">判定为外来 | |
|---|---|---|
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">呈递过 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">正常的接纳 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">甲类:真外来;乙类由此格转入右下 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">未呈递 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">这一格在系统里不可能存在——未呈递者无从被接纳 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:rPr><w:bCs /><w:b /></w:rPr><w:t xml:space="preserve">丙类:缺历(与甲类同形) |
左下角那一格的不可能性,正是第四条判据(窗口后不可增补)的另一种说法。系统没有一条把”从未见过”变成”自己”的路径,除非重开窗口;而重开窗口不是一个可以在输出端执行的动作。
对”经由哪条次序把它杀掉”的回答,本文给出四段。与前篇的五步不同,这四段不是一条动作的衰亡曲线,而是一份名单的封闭过程;每一段都可以逐段查证,且每一段都不需要任何人怀有恶意。
第一段 · 收窄呈递面。 在可塑窗口内被呈递的类型数量下降,而每一种被呈递的类型上的密度上升。 发生的形态:考纲收窄、题型固化、超纲不考、教辅按考点重排、课时向高频考点倾斜。 可查触发条件:同一学段内,教学材料中出现过的问题类型的去重计数逐年下降,而单类型的出现次数逐年上升。 这个数在任何一套教辅体系里都算得出来,只是从来没有人算。 这一段的正当性无可辩驳:它是效率。把有限的时间投给回报最高的类型,是任何一个理性的资源分配都会做的事。
第二段 · 耐受锁定。 窗口内被呈递过的类型成为”自己”,此后一切判定以此名单为准。 发生的形态:学生对见过的题型判定又快又准,模式识别达到自动化;教师的教学效能指标全面改善;学校的各项读数进入历史最好区间。 可查触发条件:同类型题目的作答时间方差下降到某个平台并保持稳定。 这是名单锁定的直接读数,且不需要新增采集。 这一段是全过程中系统表现最好的时期。它同时也是最后一段还能干预的时期,理由见下一节。
第三段 · 误判同形。 面对未呈递过的类型,系统的输出与”判定为外来”完全一致,并伴随一个完备的理由。 发生的形态:“这题超纲”“这不是重点”“这种题不会考”“这个先不用管”。 可查触发条件:排斥性判定中,能追溯到一次呈递记录的比例开始下降。 注意这个比例的分子必须在输入端取——在输出端,甲与丙不可分辨。 这一段是不可逆的开始。不是因为它造成了损坏,而是因为从这一段起,系统失去了自己发现问题的通道:每一次丙都被结算成甲,每一次结算都增强对名单完整性的确信。
第四段 · 闭历。 可塑窗口关闭。此后新类型不再有被接纳为”自己”的通道;名单固定,而外部世界继续变化,因此缺历面单调扩大。 发生的形态:学生对新形式的任务给出的不是错答,是平滑、自洽、看上去合理的套用;教师不再遇到自己讲不出的问题(因为那类问题不再被提出);教研的议题全部落在已有类型的深化上。 可查触发条件:记录中最后一次”某个新类型被正式接纳进教学序列”的时刻。这个时刻就是本文的核心读数,第十二节给出它的清点手册。
四段里最要紧的差别在第二段与第三段之间。第一、二段是量的变化,可逆:拓宽呈递面、放慢密度,名单会重新打开。第三段起,问题不再产生信号;第四段起,通道本身消失。从第三段开始,每一条证据都会指向”加强”——加强训练、加强针对性、提高难度——而每一次加强都进一步收窄呈递面。
这与前篇的次序在同一个对象上从两个方向逼近,两者的关口位置不同:前篇的不可返工关口在批改端的分辨力消失,本文的在输入端的通道关闭。两个关口可以先后发生,也可以只发生一个。它们的联合预测写在第十五节。
上一节把拦截点放在第二段末、第三段之前。这一节说明为什么判据必须在输入端取。
第一条:输出端的甲丙不可分辨是定义性的,不是技术性的。 不是现在的测量手段不够好,将来会好;是丙的定义就是”输出与甲相同”。任何在输出端做的检验——更难的题、更新的题型、更综合的任务——检出来的都是”排斥”这个结果,而结果不携带来路。想从输出端反推来路,需要一个先验的”应呈递清单”,而这份清单只能来自输入端。
第二条:呈递面是可以直接清点的,而且成本极低。 一个学段三年里出现过多少种问题类型,这个数不需要任何新的测量工具,只需要把已有的教学材料做一次去重计数。它是全过程中唯一一个在第一段就开始动、而且动得很明显的量。相比之下,输出端的所有指标在第一、二段都在改善。
第三条:输入端是唯一一个”缺席”能被看见的位置。 在输出端,缺席不产生记录;在输入端,缺席表现为一个可数集合的缩小——你数一数今年呈递了多少种,去年多少种,前年多少种,缺席就以”少了几种”的形式出现了。这是把一个没有信号的东西转成有信号的唯一办法:不去看它有没有出现,去数一共出现过几种。
由此得到本文对”在哪一步还拦得住”的完整回答:
拦截点在第二段末,判据在输入端:对一个学段的全部教学与训练材料做问题类型的去重计数,逐年比较;并记录最后一次把一个新类型正式接纳进教学序列的时刻。前者若逐年下降而后者已经过去两年以上,第三段已经开始。
这个检验有三个好处:所需材料全部已经存在(教辅、试卷、教案)、不涉及对任何学生的评价、不产生新的应试目标——因为它测的是呈递方而不是被呈递方。第三个好处尤其要紧:任何在学生端设立的指标都会立刻变成新的训练目标,而”这一届一共呈递了多少种类型”这个数无法通过训练学生来改善。
需要立刻承认一处困难,它是本文最实的一处让步:去重计数依赖于”什么算一种类型”这个划分,而划分本身可以被操纵。 把同一类题拆成三个名字,计数就上去了。第十二节的清点手册用编码规则处理这一点,但处理不彻底;第十六节把它写成了一处削弱。
本文的判据不问任何人的判断,只问记录:
这次被判为”不会、不属于这里、超纲、不重要”的东西,在此前的呈递记录里出现过吗?出现在哪一份记录上?
这句话里没有”应当”“充分”“真正”“恰当”。它可以拿去问教案、题库、课程档案、日志、模板,得到的是一个可核对的指向,或者一个空。
需要立刻承认的一件事:这个问法与统计学处理缺失数据的思路相邻。 缺失数据理论区分随机缺失与非随机缺失,后者指缺失与未观测值本身相关,处理方式是对缺失机制建模。本文不主张这个区分是新的。本文主张的差别是:缺失数据理论假定那个值存在,只是没被观测到,因而可以被估计;缺历所指的东西在系统里不作为一个类型存在,它没有值可估。这条差别是可裁决的:若用缺失机制建模能把缺历面估计出来,本文被吸收;本文预测不能,因为任何建模都需要一份变量清单,而缺历的对象不在任何清单上。
把这句话拿到五个真实场景里跑,五个答案互不相同,其中两个是查出来的,并且反过来改了本文原本要写的话。
场景一 · 考纲与题库(查出来的,且削弱了本文)。 本文原本会写下的一句更强的话是:“教育体系里根本没有关于呈递面的记录。”这句话是错的。考纲是一份货真价实的呈递面声明——它列出考查范围。但查下去会发现两件事:考纲声明的是上界(不超过什么),不是实际呈递过什么;而且没有任何一份常规记录去清点实际呈递过的类型数。结论改写为:呈递面的上界有记录,呈递面的实际值没有记录;而缺历面等于外部世界减去实际值,与上界无关。 这一改动是实质性的:它意味着”扩大考纲”这条最自然的处方无效——扩大上界不等于扩大实际呈递。
场景二 · 大气科学的观测影响诊断(查出来的,且削弱了本文)。 本文原本会写”缺历结构性不可清点”。这也是错的。大气科学做到了,靠的是一个独立于观测的物理模式来生成反事实。结论改写为:缺历的清点需要一个独立于呈递的反事实生成器;有它则可清点,没有它则不可清点。 教育没有这样的生成器,因此本文在教育里给出的不是缺历面的估计,只是它的下界的一个代理(实际呈递类型数的逐年变化)。这一处直接限定了本文能主张的强度。
场景三 · 免疫接种记录。 接种史有完整记录(呈递过什么、什么时候、几剂),自然暴露史没有。同一个人对某病原的耐受来自哪一路,档案上分不出。
场景四 · 招录与筛选记录。 系统记录候选人、淘汰理由、评分。它不记录从未进入候选池的人,也不记录”我们从未想过要找这种人”。筛选记录的覆盖面恰好等于池子,而缺历在池子之外。
场景五 · 软件项目的议题模板。 模板会要求提交者证明这个议题此前已被提出过(“你搜索过既有议题吗”),却没有任何字段登记”这一类需求本项目从未考虑过”。第十三节对这一场景做了一次真实数据的检验。
五个答案互不相同:一个是”有上界记录、无实际值记录”,一个是”可清点但需要反事实生成器”,一个是”一半有记录”,一个是”记录覆盖面恰好等于池子”,一个是”只要求证明呈递过、不登记未呈递”。前两个不是从命题推出来的,是查出来的,并且都削弱了本文。
本文的主读数不是一个比率,是一个时刻。比率是从它派生的。
读数名 闭历时刻 符号 T₀
定义 在一个系统的正式记录中,最后一次把一个此前从未出现过的类型接纳进常规序列的时刻。“接纳进常规序列”须同时满足:该类型此后至少连续两个周期继续出现;且它的出现不是一次性的展示或补充材料,而进入了常规的训练与评价。
派生读数 闭历后龄 = 当前时刻 − T₀。以周期(学期、学年、版本)计。
为什么用时刻不用比率。 缺历面本身不可直接测量(第十一节场景二已说明理由:教育没有反事实生成器)。而 T₀ 是可测的,因为它只涉及已经发生过的事——某个类型第一次进入常规序列,这是一个有记录的事件。用一个可测的时刻去代替一个不可测的面,是本文能做到的最强的诚实。
粒度 什么算”一种类型”。这是本读数最脆弱的一处,必须写死。 边界例一:把”一元二次方程求根”与”含参一元二次方程求根”算作一种还是两种?算一种——判据是:解决它们所需的最小操作集合是否相同;相同则同类型。 边界例二:把同一道题换成应用题的外壳,算不算新类型?不算——外壳变换不改变最小操作集合。 边界例三:一个此前只在竞赛材料里出现、今年进入常规作业的类型,算不算新类型进入?算——判据是它是否进入本系统的常规序列,不是它在世界上是否新。
编码规则 1. 类型的划分以最小操作集合为准,不以命名为准;名称不同而操作集合相同的,合并计一种。 2. 只登记进入常规序列的类型,一次性展示、选做、附加材料不计。 3. “连续两个周期”为硬门槛,不足两个周期的按未进入处理。 4. 划分表须在计数之前写定并公开;计数中途不得增补划分。 5. 跨系统比较必须先核对划分表;划分表不同的两个 T₀ 不可比较。 6. 编码者一致性须实测:两名独立编码者对同一批材料所定的类型数相差超过百分之十五时,划分表视为未写死,须重写。
表头(可直接拿去做一张空表)
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">周期 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">出现的类型数(去重) | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">其中首次出现 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">首次出现者中进入常规序列 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">是否更新 T₀ | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">编码者 |
|---|
不适用 划分表未公开的系统;材料不完整的时段;正在进行大纲换版的周期。
三处引用一致性自查 正文第十二节 = 证伪第十八节 = 赌注第十八节末,均使用同一定义、同一粒度、同一”连续两个周期”门槛。本文全篇不出现第二个 T₀ 的定义。
在免疫学里,它是胸腺退化前最后一次异位表达出一个此前未表达过的组织抗原的时刻;在大气科学里,它是观测网最后一次新增一类此前未观测过的要素的时刻(例如某类卫星资料首次进入业务同化);在人类学里,它是谱系中最后一次接纳一支新世系的时刻。三处的量纲分别是发育时间、业务系统版本、社会世代,完全不可换算,而定义的形状是同一个:最后一次名单被打开。
与既有主要指标正交,且举得出反例。 这是最容易漏的一条。反例是现成的:一个自身耐受完美、从不发生自身免疫病的个体,可以有一个非常早的闭历时刻(正因为名单窄,误伤才少);一个预报技巧评分历史最高的业务中心,可以有一个十年前的闭历时刻(正因为不引入新要素,系统才稳定);一个谱系最规整、世系纠纷最少的族群,闭历时刻可以在三代之前。在教育里的反例最刺眼:平均分最高、优秀率最高、教学事故为零的那个学校,可以是 T₀ 最早的那个学校。 举得出”既有指标最好看而这个数最难看”的例子,正交才成立。
证伪条款不能全是纸面的。本文在成文之前用公开数据跑通了最便宜的一条,并把不利结果写在这里。
代理对象取公开代码仓的议题模板,即一个记录体系对”什么可以被提出”的呈递面声明。取十二个大型公开项目的默认分支下的模板目录,逐个检查字段。
H1 呈递证明字段:要求提交者证明”此议题此前已被呈递过”(搜索过既有议题、是否重复)的字段,出现率 s ≥ 0.5。
H2 缺席登记字段:任何用于登记”该类型此前从未被提出过”的字段,出现率 m = 0。若 m > 0.2,本文”缺席不设字段”的主张受挫。
H3 呈递入口封闭率:配置文件中关闭空白议题(即不属于任何既有模板的议题无法进入记录体系)的比例 π ≥ 0.5。若 π < 0.2,本文”呈递面收窄是常态”的说法受挫。
十二个项目全部取到默认分支;其中十个存在可识别的模板文件,十个存在配置文件。读数如下:
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">项目 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">模板数 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">有呈递证明字段 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">有缺席登记字段 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">空白议题入口 |
|---|---|---|---|---|
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">pandas-dev/pandas | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">2 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">无配置文件 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">rust-lang/rust | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">1 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">开放 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">vuejs/core | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">1 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">是 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">关闭 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">microsoft/vscode | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">2 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">是 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">关闭 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">apache/airflow | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">0 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">— | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">— | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">关闭 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">huggingface/transformers | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">2 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">开放 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">matplotlib/matplotlib | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">3 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">是 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">开放 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">numpy/numpy | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">3 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">是 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">未声明(默认开放) |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">home-assistant/core | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">1 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">关闭 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">scikit-learn/scikit-learn | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">2 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">关闭 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">django/django | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">0 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">— | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">— | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">无配置文件 |
| <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">elastic/elasticsearch | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">2 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">是 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">否 | <w:tcPr /><w:p><w:pPr><w:pStyle w:val="Compact" /><w:jc w:val="left" /></w:pPr><w:r><w:t xml:space="preserve">开放 |
s = 5/10 = 0.50(H1 恰好达线) m = 0/10 = 0.00(H2 通过) π = 5/10 = 0.50(H3 恰好达线)
其一:两条比率都恰好压在预注册门槛上,没有余量。 s 与 π 都是 0.50,而门槛是”≥0.5”。把任一门槛提高到 0.55,两条都会翻转成未通过。这不是强支持,是勉强达线,本文据此不做任何强度声称;能说的只有一句:这两个比例大约在一半上下,不是压倒性的。
其二:django 与 apache/airflow 在本次检索中一个模板都没命中。 本文无法断定它们没有模板,只能断定本文用的文件名清单没有覆盖它们。这一点的性质必须写清楚:在结果表上,“该项目没有模板”与”本文的清单没列出它用的文件名”完全同形——本文自己的检验,恰好复现了它所描述的那个结构。这不是修辞上的巧合,它是可核验的:换一份更长的文件名清单,结果可能不同,而现在这份表上看不出任何需要换清单的信号。
其三:本次抽样的缺失机制是非随机的,而第一轮完全看不出来。 首轮以某个固定文件名作为探针来确认默认分支,十二个项目里有四个因为根目录用的是另一种文件格式而被整体判为”分支不可确认”,直接掉出样本。掉出的四个不是随机的四个——它们共享一个未被观测的属性(文档格式的历史惯例)。而首轮拿到的八个项目数据完整、比率算得出来、表格排得整齐,没有任何一处提示样本被系统性地削掉了三分之一。补抓之后 s 从 0.57 掉到 0.50,π 从 0.43 升到 0.50,两个方向相反。这是本文最有价值的一个不利结果,第十九节把它作为自反的材料。
其四:H2 的通过是一个”零”,而按本文自己的三分类型学,零有三种来路。 没有任何项目设置缺席登记字段,这个零可能来自:从来没有人提出过设这种字段(丙)、提出过并被否决(甲)、或者存在而本文的匹配规则没有识别到(编码误差)。本文无法从数据本身区分这三种。 换言之,本文最”通过”的那条假设,恰恰是本文自己的判据判定为不可判定的那一类。这一条必须写在正文里,而不是脚注里。
第一,议题模板与教学材料在结构上只是同形,不是同物;本次检验证明的是”这类字段的缺席在真实记录体系里可被核验”,不证明教育系统里的呈递面是多少。第二,配置文件中未声明空白议题设置的项目按默认(开放)计,这是一个编码选择,不同的选择会改变 π。第三,样本全部是活跃的大型项目,不能外推到小型或停止维护的项目。
逐条写,每条给一个可判定的对照。
一 · 学习机会(Carroll 一九六三;后续的课程实施研究)。 这是应用领域内部的正主,也是最危险的一位。它说的是:学生的成绩差异中有很大一部分来自他们是否有机会被教到相应内容;因而评价必须与实施的课程对齐,而不只与意图的课程对齐。分离线落在分母上:学习机会的分母是课程标准——它测的是”应教的内容里教到了多少”。缺历的分母不是任何清单,是清单之外。判定形式:若把课程标准扩到最大、学习机会覆盖率达到一,缺历面是否为零? 学习机会框架预测为零;本文预测不为零,因为课程标准本身是呈递面的产物,凡能被列入标准的都已经被呈递过至少一次。这条对照可以在任何一次课标扩容的前后直接检验。
二 · 关键期与敏感期(视觉剥夺实验的传统,一九六〇年代;语言习得的关键期假说)。 它说的是同一种能力在窗口内外获得的难度不同,窗口外可塑性下降。分离线:关键期说假定要学的东西是给定的,变的是学习的难易;缺历说的是哪些类型进入名单由窗口内恰好呈递了什么决定,与可塑性无关。判定形式:在可塑性被完整保留或被人为恢复的系统里(成人再培训、可塑性增强干预),若缺历面仍不下降,则本文对而关键期说不足;若缺历面随可塑性恢复而下降,则本文被它吸收。
三 · 缺失数据机制(随机缺失与非随机缺失的区分,一九七六)。 这是方法学上最近的邻居,本文第十一节已正面承认自己的判据与它相邻。分离线:缺失数据理论假定缺失的那个值存在、只是未被观测,因而可以建模估计;缺历所指的东西在系统里不作为一个类型存在,没有值可估。判定形式:若用缺失机制建模能把某系统的缺历面估计出来,则本文被吸收;本文预测不能,因为建模需要一份变量清单。 本文第十三节第三个不利结果正是这条分界的一个实例:本文自己的抽样是一次非随机缺失,而它之所以被发现,靠的不是建模,是换了一份探针清单——即换了呈递面本身。
四 · 幸存者偏差(一九四三年的返航飞机弹孔分析是它的标准例子)。 它说的是只看幸存样本会得出反向结论。分离线:幸存者偏差里,未幸存者是存在的、可以被指认的(没返航的飞机确实存在),只是不在样本里;缺历里,未呈递的类型在系统内部不作为一个类别存在。判定形式:若能列出一份”未被呈递的类型”的清单,则这是幸存者偏差、可用抽样方法处理;本文预测在没有外部反事实生成器时列不出,因为列清单本身就是一次呈递。
五 · 惯习(一九七〇年代的社会实践理论)。 它说的是早期社会条件形塑出持久的性情倾向系统,这套倾向此后再生产原有的结构。分离线:惯习是已经形成的东西在起作用——它是一份被内化的名单在持续输出;本文说的是名单之外那一片的地位,以及”名单之外”与”被名单拒绝”在输出上不可分辨。判定形式:惯习理论预测行为模式可从早期条件推出;本文预测在行为模式完全一致的两个个体之间,缺历面可以相差很大(因为呈递史的宽度与呈递的密度是两个独立的量)。
六 · 通过仪式与阈限(一九〇九年的仪式研究传统)。 它说的是身份转换由限时的仪式完成,错过者处于中间状态。分离线:阈限描述的是人的位置,本文描述的是类型的地位。判定形式:阈限理论预测存在一批”处于中间”的个体并被社会以某种方式标记(哪怕是消极标记);本文预测缺历类型不被任何方式标记——不存在”待定”这一档。
七 · 掌握学习(一九六八)。 它说的是给足时间与反馈,绝大多数学生都能掌握既定目标。分离线:它把目标当作给定的,处理的是达成率;本文处理的是目标集合本身怎么来的。判定形式:若在掌握率达到接近百分之百的系统里,缺历面同样为零,则本文多余;本文预测掌握率越高的系统,闭历时刻反而越早(因为掌握需要密度,密度需要窄面)。这条是本文最愿意被检验的一条反直觉预测。
八 · 目标置换与指标腐化。 前篇已详细处理这两位,本文只需给出与它们的差别:那两条都要求有人为了指标而改变行为;本文的四段次序里,第一段的收窄是出于效率而非应付指标,即使在完全没有外部指标的系统里也会发生。判定形式:在一个完全无外部考核的学习系统里,若呈递面同样逐年收窄,则本文对而那两条不足以解释。
最近的邻居是哪一个。 是学习机会。因为它与本文谈同一个场域、同一批材料、甚至同一个直觉(学生没被教到)。本文之所以仍不能被它吸收,只有一条理由:它的分母是清单,而本文说的是清单之外;扩大清单不能解决清单之外的问题,因为清单本身由呈递面生成。这不是侧重不同,这是它的方法在原理上够不到。
同一栏目下已有数篇在相邻位置,读者最容易与本文混起来,因此逐一指名。
同题第一篇(处理”删掉它读数不变”的那一类动作)。 两篇处理同一道题的两面,必须说清差别。前篇讲已经发生而不留痕:动作做了,删掉它读数不变,因而没有字段记它;本文讲从未发生而同样不留痕:呈递没发生,因而没有字段可记它。前篇的关口在批改端——判卷者不再能分辨同分答卷的两条来路;本文的关口在输入端——名单不再有接纳新类型的通道。判决性对照:在一个批改端分辨力完好、判卷者仍能清楚说出”这是想通的、那是套的”的系统里,本文预测缺历面仍可以逐年扩大(因为分辨力管的是已呈递类型内部的两条路,管不到未呈递的类型);前篇的机制则预测这样的系统是健康的。反过来,在一个呈递面很宽、每年都有新类型进入的系统里,前篇预测垫指份额仍可以为零(因为宽面与深度是两回事)。两个机制可以独立发生;同时发生时,损失不是相加而是相乘——因为可分辨的来路数与可判定的类型数是两个相乘的维度。
同轮的另一篇(处理”应试与教育在哪里分开”)。 那一篇问的是分界,读数是装置认不认自己的产物;本文问的是名单如何封闭,读数是一个时刻。判决性对照:那一篇预测分界可在单份产物上判定;本文预测在单份产物上判不出——甲类与丙类在任何单份产物上完全同形,只有对一批周期的呈递面做去重计数才分得开。
同轮的另一篇(处理”为什么每次削弱应试的改革都在数年内被重新吸收”)。 那一篇处理改革被回吸的曲线与半返期;本文处理名单的封闭次序。两者互补:那一篇解释了改革为何被吸收,本文解释了改革为什么即使不被吸收也够不到要救的那样东西——所有改革都发生在输出端与评价端,而缺历在输入端。联合预测:在闭历时刻已过两个周期以上的系统里,改革的半返期显著缩短,因为没有任何新类型的通道可以承接改革带来的内容。
《填判》(处理”不适用”这一档与必答假定)。 这是最容易与本文混淆的一篇,因为两者都涉及”判不了”。分离线:那一篇的要害是系统强迫作答,把本应记为”不适用”的格子填成了一个判定;本文的要害是系统根本没有那一格——不是被迫填了,是压根不存在这一档。判决性对照:那一篇预测在允许填”不适用”的体系里,弃判率会显著上升;本文预测即使允许填”不适用”,缺历类型仍然全部被填成”外来”,因为作答者自己也不知道自己没见过。两者对同一次制度改动给出相反的预测,因而这是本文最干净的一条分界。
《寄类》(处理支撑来源清单与回收通道)。 那一篇的读数是一份支撑来源清单,本文的是一个时刻;那一篇关心一样东西靠什么维持在类里,本文关心类的集合何时封闭。判决性对照:那一篇预测清单越短越脆弱;本文预测清单可以很长而闭历时刻仍然很早——长度与开放性是两个量。
《漏汰》(处理参照脱钩)。 那一篇讲的是筛选的参照与目标脱钩,导致该淘汰的没被淘汰;本文讲的是从未进入筛选的那一类。判决性对照:那一篇的对象在池子里,本文的对象在池子外;把参照修好,那一篇的问题解决,本文的问题一动不动。
第一处 · 由免疫学削掉的:命题的适用范围与一个本文很想给的处方。 最自然的处方是”把窗口尽量拉长、把呈递面尽量拉宽”。免疫学自己的经验说这条路有代价,而且代价是对称的:呈递面越宽,被接纳为”自己”的东西越多,误放的风险越高。 中枢耐受不是越宽越好——把不该耐受的耐受了,就是免疫逃逸;胸腺呈递的抗原谱系是被严格调控的,不是越多越好。搬回本题:无限拓宽呈递面不是解,它会把”什么都见过、什么都算数”变成新的问题——一个对任何类型都不排斥的系统,等于没有判定。因此本文的适用范围必须缩窄为:本文只适用于那些”呈递面正在单调收窄且外部世界在变化”的系统;对呈递面已经过宽、判定失去选择性的系统,本文的处方方向相反,不适用。这一处削的是价值排序:本文不再主张”越宽越好”。
第二处 · 由大气科学削掉的:本文能主张的强度。 本文原本会写下的一句更强的话是:“缺历结构性不可清点,因此任何试图测量它的努力都注定失败。”观测系统模拟试验与观测影响诊断证伪了这句话:在有独立于观测的反事实生成器的地方,缺历是可清点的,而且已经被清点了几十年。 因此本文必须把主张改成一个条件句:缺历的可清点性取决于系统是否拥有一个独立于呈递的反事实生成器。 教育没有,所以在教育里本文只能给出一个下界的代理(呈递类型数的逐年变化),不能给出缺历面本身。这一处削掉的是本文的普遍性——它从一条关于”这类东西”的一般结论,退成一条关于”没有反事实生成器的系统”的结论。
第三处 · 由人类学削掉的:清点这个动作本身的中立性。 本文的核心操作是”做一次类型的去重计数”。人类学关于名单的经验直接质疑这个动作:任何一次清点都是一次重新分类,而重新分类会改变被分类者。 谱系一旦被外来者写下来、固定下来,它就不再能随结构自动重排,而这本身是一次深刻的干预——文字化的谱系会把某一时刻的政治格局永久化。搬回本题:一旦”呈递类型数”成为一个被公布、被比较的量,划分表就会成为博弈对象,把一类拆成三类是最省事的达标方式(第十节末已提到,此处坐实)。因此本文的读数无法在被公开使用的同时保持中立。 本文原本打算主张”这个读数不会变成新的应试目标”,这句话只在一个限定条件下成立:它测的是呈递方而不是被呈递方,因而学生无法通过训练改善它——但呈递方可以通过改划分表改善它。 这一处削掉的是本文对自己读数的安全性判断,并直接导出第十八节的反噬预言。
五条不适用。
一、呈递面已经过宽、判定失去选择性的系统(第十六节第一处)。本文的处方方向在这类系统里是反的。
二、划分表未公开、或划分表在计数中途被修改的系统。此时 T₀ 与类型数都不可信。
三、正在换版的周期。大纲换版期间新类型的涌入是一次性的,不构成名单重新打开。
四、跨系统的横向比较。划分表不同的两个 T₀ 不可比较;本文的读数只能在同一系统内做纵向比较。
五、已经闭历多年、且外部世界剧烈变化的系统。本文的拦截点在第二段末;对这类系统本文只提供解释,不提供干预。声称本文的读数能”救回”一个已经闭历十年的体系,是对本文的误用。
三条伦理条款。 T₀ 与类型数都是可以被拿去考核人的读数,因此下列三条写死,缺一条本文不得被用于任何评价用途:
一、这两个读数指的是位置,不是人。 它们衡量的是一个课程序列、一个教研组、一套教材的呈递史,不衡量任何一位教师或学生的能力。把 T₀ 归到某位教师头上,是把一个系统的属性错记成个人属性。
二、不得为了把这两个数做好看,而在任何以安全或资格为目的的训练序列中引入未经检验的新类型。 在医疗操作、特种作业、临床技能这类序列里,训练内容的稳定性优先于本文的一切读数;二者冲突时,稳定性胜出,本文在该序列不适用。
三、已经据此对任何人做出不利安排的,必须公开划分表并提供复核通道。 编码者一致性未达第十二节第六条门槛的批次,其读数不得用于任何有后果的决定。
反噬,写在正文里而不是脚注里。 一旦”呈递类型数”或”闭历后龄”进入考核,最省事的达标方式是改划分表——把一个类型拆成三个名字,数字立刻变好看,而实际呈递面一寸未动。这与第十六节第三处是同一件事的两面。本文找不到出口:任何对类型数的清点都需要一份划分表,而划分表是可以被重写的;把划分表锁死又会带来另一个问题——锁死的划分表本身就是一次呈递面的固化,正是本文所描述的第一段。这是一个真正的死结,不是待办事项。
先写出最强的竞争解释,再写排除它的条件。
最强竞争解释:其实不就是课时不够、内容太多、老师得取舍吗?在有限的课时里,多讲一种类型就得少讲另一种;所谓呈递面收窄,无非是资源约束下的正常取舍,与”名单封闭”无关。这个解释朴素、难反驳,而且大概率解释了相当一部分方差。
排除它的独有变量是呈递面的宽度与总课时的比值——资源约束解释预测宽度随总课时同向变动;本文预测在总课时不变甚至增加的情形下,宽度仍单调下降,因为收窄的动力来自密度收益而不是资源短缺。
F1 控制总课时、班额与教师配比后,若”呈递类型数”与”若干年后学生在从未训练过的任务类型上的表现”之间不存在剂量—反应关系,则本机制为伪,困境应归因于资源约束。样本纪律:须在同一省份、同一考试体系内取不少于六个可比单元(同一地市的多所同类学校),不得用两个国家或两个地区的对比充数。
F2 在一个完全无外部考核的学习系统(自愿参加、无证书、无排名的长期学习共同体)中,若呈递类型数同样逐年收窄,则本文对,而指标腐化与目标置换的解释不足以说明它;若在无考核系统中宽度保持稳定,则本文的第一段机制被推翻。
F3(最便宜、可当场执行) 取一个学段三年的全部教学与训练材料,按公开的划分表做问题类型的去重计数,逐年比较;同时定位 T₀。若类型数逐年下降而 T₀ 已过两个周期以上,第三段已经开始。所需材料(教案、试卷、教辅)在任何一所学校的档案里都已经存在,不需要新增采集。 本文最愿意押的一条正是它。
F4 课标扩容的自然实验:在一次课程标准显著扩容之后,若实际呈递类型数同步上升,则本文关于”上界与实际值脱钩”的说法被推翻;本文预测实际值不随上界上升。
F5 掌握率对照:若掌握率越高的系统,其闭历时刻越晚(或无关),则第十四节第七条的反直觉预测被推翻。本文预测掌握率与闭历时刻早晚呈同向关系。
F6 顺序预测:若观察到”学生在新类型任务上的表现下降”早于”呈递类型数下降”,则本文的次序主张被推翻。本文预测前者晚于后者,且滞后不少于一个学段。
F7 可塑性对照:在成人再培训或可塑性增强干预的场景中,若缺历面随可塑性恢复而显著下降,则关键期解释足够,本文多余。
F8 负向:若在某个系统里能列出一份完整的”未被呈递类型”清单而不借助任何外部反事实生成器,则本文关于缺历不可直接清点的说法为伪。
这条判断若被证伪,我们会学到什么。 若 F1 显示呈递宽度与后续表现无剂量—反应关系,那么问题就不在名单的宽窄而在密度与深度,干预方向应当整个改到”少而透”上,这与本文的方向相反,但它是一个有价值的否定结果——它会把”拓宽”这条几乎从不被质疑的处方送上被告席。
本文押的是:到二〇三一年十二月三十一日为止,在任何一个公开发布的国家级或省级教育质量监测报告中,都不会出现”本学段实际呈递的问题类型数”或与之等价的输入端计数读数。
什么不算命中: 一、以”课程覆盖率”“教学进度完成率”“课标达成度”等名义出现的指标不算——那些的分母是课标,是上界,不是实际呈递的类型数。 二、以教师自报、问卷、访谈形式收集的不算;必须是对教学材料的独立去重计数。 三、仅由学者在论文里提出而未进入任何官方监测报告的不算。 四、仅在单校或单次实验中出现的不算;必须进入常规监测。
这一节不写”本文也有局限”。这一节用本文自己的三分类型学,去检第十三节那次检验本身。
那次检验的第一轮,取十二个项目,用一个固定的文件名作探针去确认默认分支。四个项目因为根目录用的是另一种文档格式,探针取不到,被整体判为”分支不可确认”,掉出样本。剩下八个项目的数据完整:分支确认了,模板取到了,字段匹配跑通了,比率算出来了,表格排得整整齐齐。
那张表上没有任何一处提示样本被系统性地削掉了三分之一。 没有空行,没有缺失标记,没有告警。它与一张真正取到十二个项目的表在形式上唯一的差别,是行数少了四行——而行数少四行的表,读起来与一张本来就只有八行的表完全一样。
按本文的三分类型学,这四个项目的缺席属于哪一类?
若读成甲(真外来):这四个项目”没有可确认的默认分支”,因而不合格,排除是正确的。
若读成乙(曾接纳后失效):不成立,它们从未进入过样本。
实际是丙(缺历):本文的探针清单没有覆盖它们用的文档格式,因而它们从未被呈递给本文的检验程序。
而第一轮的输出把丙结算成了甲——程序在日志里写的是”分支不可确认”,这是一句完备的、说得通的、不需要任何额外证据的理由。本文的检验程序犯了本文所描述的那个错误,误读方向与本文预测的完全一致:固定偏向”没问题”。
补抓之后的变化值得记下来:s 从 0.57 掉到 0.50,π 从 0.43 升到 0.50,两个方向相反。如果本文只报第一轮,会得到一个”H1 通过、H3 未通过”的结论;补抓之后变成”两条都恰好达线”。 结论的方向被样本的缺失机制改变了,而这个缺失机制在第一轮的数据里不可见。
发现它靠的不是任何统计方法,是换了一份探针清单——也就是,换了一次呈递面。这正是本文第十一节那条分界的实例:缺历不是靠对缺失机制建模发现的,是靠扩大呈递面发现的;而扩大呈递面这个动作,本身要求你先怀疑自己的清单,而怀疑自己的清单没有任何来自数据内部的触发条件。
还有一处更深的自反。本文正在做的事,是为”未被呈递”造一个名字。而按本文自己的机制,一个类型一旦被命名并进入常规序列,它就从缺历变成了名单上的一项——也就是说,本文这篇文章本身是一次呈递。这不是一句漂亮话,它有一个不舒服的后果:本文能处理的,只是那些我能想到并写下来的形状(免疫的、气象的、人类学的三种);凡是我没想到的形状,在这篇文章里的地位与在任何一份教案里的地位一模一样——不存在,且不留痕。 我看不到出口:任何一篇论文的呈递面都是有限的,而论文没有办法登记自己没想到的东西。这与第十七节末的死结是同一个。
最后一处:本文的第三层主张(“输入端的实际呈递面不被任何常规记录清点”)是三层里最稳的一层,也是唯一一层不依赖前两层的。若”缺历”这个构念被推翻、若四段次序被推翻,“多数教育记录体系只记录呈递面的上界而不记录实际值”这条经验主张仍然站得住,第十八节的 F3 与 F4 仍然可以照跑。本文可以被分层引用,这既是诚实,也是保护。
回到题面上的三问。
扼杀的到底是什么。 不是判断力这项官能,不是知识的存量与速度,不是学生与知识之间的关系脉络,而是缺历——那一类因在可塑窗口内从未被呈递过而此后被永久判为”不属于这里”的东西。它在免疫学里是胸腺中未被呈递的自身组织,在大气科学里是观测网的空洞与被背景场无缝填平的初始场,在人类学里是被结构性遗忘删去而不留空位的那些世系。三处的量纲完全不同,形状是同一个:名单由一段有限的呈递史构成,名单之外不留下空位。
经由哪条次序把它杀掉。 收窄呈递面(出于效率)、耐受锁定(系统表现进入最好时期)、误判同形(未见过与判为外来在输出上不可分辨,且误读方向固定偏向”没问题”)、闭历(名单不再打开,缺历面随外部世界变化单调扩大)。前两段可逆;第三段起系统失去自己发现问题的通道;第四段起通道本身消失。
在哪一步还拦得住。 第二段末、第三段之前,判据在输入端:对一个学段的全部教学与训练材料按公开的划分表做问题类型的去重计数,逐年比较;并定位最后一次把新类型正式接纳进常规序列的时刻。类型数逐年下降而这个时刻已过两个周期以上,第三段已经开始。所需材料在任何一所学校的档案里都已经存在。
三条推论是不舒服的。第一,一切在输出端的检验——更难的题、更新的题型、更综合的任务——都检不出丙类,因为丙的定义就是”输出与甲相同”。第二,扩大课标不解决问题,因为课标是呈递面的上界,而缺历面等于外部世界减去实际呈递值,与上界无关。第三,这个过程的每一步都是正当的、理性的、合规的,第一段甚至是效率本身;没有任何人作弊、偷懒或犯错,而名单照样一年比一年窄。
与同题第一篇合起来,这道题的两面就齐了:一面是做了而不留痕的动作在批改端被合并掉,一面是从未做过而同样不留痕的呈递在输入端被封闭掉。两个关口一个在出口,一个在入口,可以独立发生;同时发生时,可分辨的来路数与可判定的类型数相乘,剩下的空间比任何一面单独作用时都小得多。
本文留下三个自己解不开的洞。其一,缺历面在没有反事实生成器的系统里不可直接测量,本文只能给出下界的代理。其二,读数的中立性无法在公开使用中保持:划分表是可以被重写的,而锁死划分表本身就是第一段。其三,本文是一次呈递,因而它只能处理它想到的形状;它想不到的那些,在本文里的地位与在任何一份教案里一样——不存在,且不留痕。
一、第四节所述的中枢耐受机制,涉及胸腺髓质上皮细胞对组织限定性抗原的异位表达及其转录调控;相关调控因子失能所致的多内分泌腺自身免疫综合征,是该机制最直接的人类证据。本文只取其”名单由窗口内的呈递史构成”这一形状,不主张该机制解释全部自身免疫现象——外周耐受机制同样承担相当大的份额,这一点不影响本文所取的形状。
二、第六节所述的观测空洞与背景场,指资料同化中在无观测格点上初始场由短期预报提供;观测系统模拟试验与观测影响诊断是该领域评估观测价值的成熟工具。本文用它们说明”缺历在有反事实生成器时可清点”,并据此限定了自己的主张强度(第十六节第二处)。
三、第七节所述的结构性遗忘与通过仪式,取自二十世纪上半叶的人类学传统,其经验基础主要来自若干非洲与大洋洲社会的民族志,并非普遍规律;本文取其形状(删除不留痕、名单随结构重排、进入只有一次限时通道),不主张它在所有社会中无例外。
四、第十三节的原始读数、预注册文本与逐仓结果已在正文中完整给出,抓取日期为二〇二六年八月八日;两条比率均恰好压在预注册门槛上,本文据此不做强度声称。
五、本文全篇只使用一个 T₀ 的定义(第十二节),第十八节的证伪条款与赌注均引用同一定义、同一粒度、同一”连续两个周期”门槛。
Anderson, M. S., Venanzi, E. S., Klein, L., et al. Projection of an Immunological Self Shadow Within the Thymus by the Aire Protein. Science, 2002, 298(5597): 1395–1401.
Bloom, B. S. Learning for Mastery. Evaluation Comment, 1968, 1(2): 1–12.
Bourdieu, P. Outline of a Theory of Practice. Cambridge: Cambridge University Press, 1977.
Burnet, F. M. The Clonal Selection Theory of Acquired Immunity. Nashville: Vanderbilt University Press, 1959.
Carroll, J. B. A Model of School Learning. Teachers College Record, 1963, 64(8): 723–733.
Evans-Pritchard, E. E. The Nuer: A Description of the Modes of Livelihood and Political Institutions of a Nilotic People. Oxford: Clarendon Press, 1940.
Goody, J., & Watt, I. The Consequences of Literacy. Comparative Studies in Society and History, 1963, 5(3): 304–345.
Hubel, D. H., & Wiesel, T. N. The Period of Susceptibility to the Physiological Effects of Unilateral Eye Closure in Kittens. The Journal of Physiology, 1970, 206(2): 419–436.
Kalnay, E. Atmospheric Modeling, Data Assimilation and Predictability. Cambridge: Cambridge University Press, 2003.
Kappler, J. W., Roehm, N., & Marrack, P. T Cell Tolerance by Clonal Elimination in the Thymus. Cell, 1987, 49(2): 273–280.
Lenneberg, E. H. Biological Foundations of Language. New York: Wiley, 1967.
Lorenz, E. N. Deterministic Nonperiodic Flow. Journal of the Atmospheric Sciences, 1963, 20(2): 130–141.
Rubin, D. B. Inference and Missing Data. Biometrika, 1976, 63(3): 581–592.
Turner, V. The Ritual Process: Structure and Anti-Structure. Chicago: Aldine, 1969.
van Gennep, A. Les rites de passage. Paris: Émile Nourry, 1909.
Wald, A. A Method of Estimating Plane Vulnerability Based on Damage of Survivors. Statistical Research Group, Columbia University, 1943.
正文(不含参考文献与本节)约二万一千汉字。版本:第一稿,二〇二六年八月八日。第十三节的数据抓取与统计于同日完成,预注册文本先于统计写定,未做任何事后阈值调整。
选题、三门取材的指定与成果形态的要求,出自作者。文献核对、数据抓取、统计处理与初稿撰写借助了人工智能,判断与定稿的责任在作者一侧。第十三节的数据取自公开的代码托管服务;抓取脚本、探针清单与预注册文本可应要求提供,读者可自行复算。首轮抽样的非随机缺失,连同它对结论方向的影响,已在第十三节与第十九节逐条披露,未做任何淡化处理。
闭历时刻与类型数都可能被拿去衡量人,所以第十七节那三条不是附录,是文章的一部分:它们量的是一套课程序列而不是某个人;以安全或资格为目的的训练序列不得为抬高这两个数而引入未经检验的新类型;凡已据此做出不利安排者,须把划分表公开并留出复核通道。编码者一致性未达门槛的那一批读数,不进任何有后果的决定。
以下一节由编辑增补,不属于投稿原稿。它按最美文频道的五道入选关执行:请出正文未曾请出的那位最危险的对手,与之划一条让两套理论对同一件事作出相反预测的线,写清怎么裁决,把核心命题改写为否定—重命名形式,并列出三条「被观察到即失效」。正文的论证、数据与结论一字未改。
本文交手了学习机会,并给出了一条干净的分离线(分母不同),这是正确动作。但有一位更近的对手没有出现:艾斯纳的虚无课程——学校不教的东西,包括不教的学科、不教的思维方式、不教的处理问题的方式;他的主张是,学校不教什么与教什么同样具有教育后果。
这不只是漏掉一位对手,它还是本书内部的一处不一致:同一本书的《缺名》一篇请出了虚无课程并与之划了界,而本篇讲「从来没有被呈递过的类型」,离它更近,却没有提。这里补上,并与《缺名》那条分离线对齐。
分离线落在是不是有人做过一次选择。
虚无课程预设一个课程设计者:有人在编课程时把某些东西留在了外面,这个选择可以被追问、被批评、被改正,因为它是一次决定。本文说的缺历没有选择者:呈递面本身收窄之后,某一类型从来没有获得过被提出的机会;没有任何人决定过把它排除,它是入口结构的算术结果。
相反预测。取两种改动方式,看新类型的涌入量:
虚无课程预测:甲有效——因为问题在于清单里少了东西,补上就行。本文预测:甲几乎不产生新类型,乙才产生——因为新类型必须先能被提出,而扩大清单只是把已经被命名过的东西加进来。
裁决办法。在同一系统的两个平行分支上分别执行甲与乙,统计两个周期内首次出现的类型数(按事先固定的划分表编码)。若甲与乙的新类型数无显著差异,本文关于「拦截点在输入端」的定位失败,缺历应并入虚无课程。
应试教育杀掉的,不是学生不会做的那些题,不是系统不支持的那些情况,也不是「课程设计者选择了不教」的那些内容——它是那一类从来没有被呈递过的东西:它在这个系统里从来不算一个类型,因而既不出现在通过里,也不出现在失败里,不进入任何一本账。判据必须取在输入端,因为输出端的零看不出它来自哪一种来路。
把艾斯纳、学习机会、幸存者偏差全部删去,本文还剩什么?剩下一个可以拿着任何一套记录规程当场做的机械检查:有没有一个字段用来登记「这一类此前从未被提出过」,以及不属于任何既有模板的东西能不能进来。这两项都不需要课程理论,也不需要判断谁做错了什么——它们查的是入口配置。虚无课程的四十年讨论从未产出过这样一对可清点的量:它讨论的是不教什么的后果,本文清点的是提得出提不出。
本轮定稿所核验的文献:Eisner, E. W. (1979). The Educational Imagination: On the Design and Evaluation of School Programs. New York: Macmillan. · Flinders, D. J., Noddings, N., & Thornton, S. J. (1986). The null curriculum: Its theoretical basis and practical implications. Curriculum Inquiry, 16(1), 33–42. · McDonnell, L. M. (1995). Opportunity to learn as a research concept and a policy instrument. Educational Evaluation and Policy Analysis, 17(3), 305–322.
本文正文为学员投稿原稿,作者胡敏。原稿自标的「学科通融专栏」栏目行已改为本站「胡敏谈 · 应试教育」(学科通融是本站二阶碰撞产线的栏目,学员论文收入学员专栏)。原稿每篇末尾均附有作者的人机分工声明:写作使用了大型语言模型作为检索、成文与自查的助手,材料的取舍、判断的落点以及不利结果的处置由作者决定——本站保留这一声明并在此重申。文中涉及教育评价与政策的讨论均为理论分析,不构成任何机构的评估依据。