摘要：
概述 如果有人看到本篇文章，并且觉得文章太冷淡（已有人评价，但未给出修改建议）以至于不能阅读，若确实感兴趣，请联系作者提供修改建议或只是简单沟通文章内容，作者会考虑将文章修改为大家能理解的版本。 使用 C++20 标准，参考 C++ 20 最终工作草案 n4861 。以下 C++ 标准应默认是 C+ 阅读全文
posted @ 2026-09-23 00:26
03Goose
阅读(19)
评论(0)
推荐(0)
摘要：
前言 这篇随笔单纯记录 C++20 最终工作草案中非常 dirty work 的 token 部分阅读。不具备知识分享的意义。 参考 C++20 最终草案 n4861。C++ 工作草案本身不完备，我们也不按住相对完备进行定义，而是涉及一些相对常见的内容。 约定：这里大量涉及了文法，我们希望看见诸如 阅读全文
posted @ 2026-10-03 21:42
03Goose
阅读(6)
评论(0)
推荐(0)
摘要：
cv-qualifier-seq 词法上，C++ 标准用 BNF 产生式描述了 cv-qualifier-seq 的词法 ：TODO: §9.3/5 cv-qualifier-seq: cv-qualifier cv-qualifier-seq_opt cv-qualifier: const vol 阅读全文
posted @ 2026-10-03 21:41
03Goose
阅读(2)
评论(0)
推荐(0)
摘要：
OS Windows of subsystem-Ubuntu curl client url，文件下载器，本质是下载文件。 和 apt 有区别：Advanced Package Tool，高级的软件工具，我们一般直接叫包管理器。提供整个软件（包）的下载、更新、删除等管理功能。 用 curl 下载 p 阅读全文
posted @ 2026-09-07 15:48
03Goose
阅读(12)
评论(0)
推荐(0)
摘要：
摘要 本文来源于某次不务正业过程中偶然发现的因果关系的数学结构，构造了一种将因果关系建模为带下界约束的有向流图的建模。 该模型可以适度模拟、研究和量化“从某个诱发原因到结果”的影响传递过程，非正式草稿，用于记录核心思想，待后续完善。 基本概念 因果流图 设 \(G = (V, E)\) 为一个有向图 阅读全文
posted @ 2026-08-19 13:54
03Goose
阅读(8)
评论(0)
推荐(0)
摘要：
大概是觉得 over 本质上是抽象空间中对一个点拉出/正在拉出的曲线的覆盖吧。更精细地补充，这是一个闭区间对开区间的覆盖。 比如： “在一个物体的上方”对应“抽象空间中对点”的覆盖。解释为“在……之上”； “一个完整任务的开始到结束”对应“抽象空间中对一个点拉出的线段”的覆盖。解释为“结束”。 山作 阅读全文
posted @ 2026-07-29 21:48
03Goose
阅读(13)
评论(0)
推荐(0)
摘要：
前言 2026.07.23 更新 作业其实半个月前就写完了，但家里事情太重，一直没时间交，今天得知已经挂科了。 我依然强烈建议低年级的学弟学妹选学这门课。 这门篇随笔或许不会再更新？ 毕竟我不是很想学习 Windows API ，对于低年级的学生来说这门课有趣有效，但对于高年级的学生或许直接 do 阅读全文
posted @ 2026-07-18 16:30
03Goose
阅读(17)
评论(0)
推荐(0)
摘要：
\(n\) 元一阶谓词 \(n\) 个集合的笛卡尔积到真值上的映射 \[P: D_1 \times \cdots \times D_n \to \{ \top, \bot \} \]一般说的谓词默认是一阶谓词 集合的基数 集合 \(A\) 的基数记作 \(|A|\) 或 \(\operatornam 阅读全文
posted @ 2026-01-08 11:53
03Goose
阅读(114)
评论(0)
推荐(0)
摘要：
最近杜老师问我们“是不是觉得你们数学水平很可以，谁现在来定义一下幂函数和指数函数的概念？现在，直接精确定义出来。” 我当时想，幂函数不就是 \(x\) 的 \(a\) 次幂吗，指数函数不就是 \(a\) 的 \(x\) 次幂吗……但是幂的精确定义是什么？幂函数为什么是 \(x\) 的 \(a\) 次 阅读全文
posted @ 2026-01-06 03:12
03Goose
阅读(85)
评论(0)
推荐(0)
摘要：
无限概括原则与罗素悖论 在朴素集合论中，人们认为任何一个“性质”都可以定义一个集合，这个集合由所有满足该性质的元素组成，如： 性质“是自然数”，集合 \(\mathbb{N}\) 性质“是红色”，所有红色物体的集合 这种思想称为无限概括原则： \[\{x \mid P(x) \} \]对任何谓词 \ 阅读全文
posted @ 2026-01-02 21:35
03Goose
阅读(48)
评论(0)
推荐(0)
浙公网安备 33010602011771号