待验证50% 置信事实精确时间
Edsger Dijkstra 于 1988 年指出，用代码行数衡量编程进度如同用重量衡量飞机制造进度
1
来源数
50%
置信度
长期有效
时效性
2026/7/22
首次发现
来源
相关事实
待验证代码分层的理论根基可追溯至Edsger Dijkstra在1968年提出的关注点分离原则59% 相似待验证Dijkstra算法由荷兰计算机科学家Edsger Dijkstra于1956年提出，通过反复执行松弛操作动态更新从源点到各节点的最优已知距离59% 相似已验证Dijkstra 算法由荷兰计算机科学家 Edsger Dijkstra 于 1956 年提出，时间复杂度为 O((V+E)logV)58% 相似待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的54% 相似待验证间隔重复方法源自赫尔曼·艾宾浩斯的遗忘曲线研究，Anki 等软件已将其工程化54% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/589955API
curl https://kongchang.com/api/v1/knowledge/claims/589955MCP
get_claim(id=589955)