摘要：
概述 阅读方式： 希望代码成功运行？使用 vibe coding ! 希望了解可行性？点击 https://cppreference.cn/w/ 。 希望索引某个精确语义，而不依赖 C++ 标准的繁杂交叉索引？请快速定位本文章的章节目录，节省阅读时间。 或者我们可以在交叉引用较少的情况下学习一部分精 阅读全文
posted @ 2026-09-23 00:26
03Goose
阅读(25)
评论(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
阅读(119)
评论(0)
推荐(0)
摘要：
“你有一天会明白，构成我们身体的原子都来自于恒星的聚变反应，也终有一天它们会归于星辰，只要你的思绪存在，就可以跨越星河，永远璀璨” 最新更新 2024-12-07 01:21:29 后日谈。 可能是最终更新。 一路玩着玩着，打了两块银牌，挺魔幻的。 告一段落，就这样吧，梦想的征途还在继续。 让我们感 阅读全文
posted @ 2024-09-23 01:36
03Goose
阅读(1414)
评论(1)
推荐(3)
摘要：
0. Preface 比较简单说明的是： 不会涉及到贝叶斯公式、多项式之类的工具。 不会涉及到比较复杂的问题。比如某些概率或期望题算起来需要很多的数学技巧积累，这里并不进行这种积累。 比较典型是字面意思。 1. 万物之始：抽卡模型（几何分布模型） 你有 \(p\) 的概率抽到卡，\(p - 1\) 阅读全文
posted @ 2024-08-17 01:59
03Goose
阅读(490)
评论(0)
推荐(0)
摘要：
此博客不具有时效性，最后更新时间： 2026_10_19 。 如题。 考虑一个 switch-case 场景 switch(state) { case A: case B: case C: } 优化 当我们确定 A, B, C, 可以覆盖所有可能时，我们可以在 default 的位置进行异常处理，如 阅读全文
posted @ 2026-10-19 15:49
03Goose
阅读(3)
评论(0)
推荐(0)
摘要：
上下文 id-expression 的值类别 id-espression：一个标识符只有在已被适当声明（良构声明），或者作为 declarator-id 的一部分出现时，才是一个 id-expression。§7.5.4.1/1 这里“已被适当声明”是切仅是上一个版本的定义，这显然是不对的，因为声明 阅读全文
posted @ 2026-10-11 14:34
03Goose
阅读(1)
评论(0)
推荐(0)
摘要：
前言 这篇随笔单纯记录 C++20 最终工作草案中非常 dirty work 的 token 部分阅读。不具备知识分享的意义，单可能会作为本波可能的交叉索引使用。 参考 C++20 最终草案 n4861。C++ 工作草案本身不完备，我们也不按住相对完备进行定义，而是涉及一些相对常见的内容。 约定：这 阅读全文
posted @ 2026-10-03 21:42
03Goose
阅读(8)
评论(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
阅读(14)
评论(0)
推荐(0)
摘要：
摘要 本文来源于某次不务正业过程中偶然发现的因果关系的数学结构，构造了一种将因果关系建模为带下界约束的有向流图的建模。 该模型可以适度模拟、研究和量化“从某个诱发原因到结果”的影响传递过程，非正式草稿，用于记录核心思想，待后续完善。 基本概念 因果流图 设 \(G = (V, E)\) 为一个有向图 阅读全文
posted @ 2026-08-19 13:54
03Goose
阅读(10)
评论(0)
推荐(0)
摘要：
大概是觉得 over 本质上是抽象空间中对一个点拉出/正在拉出的曲线的覆盖吧。更精细地补充，这是一个闭区间对开区间的覆盖。 比如： “在一个物体的上方”对应“抽象空间中对点”的覆盖。解释为“在……之上”； “一个完整任务的开始到结束”对应“抽象空间中对一个点拉出的线段”的覆盖。解释为“结束”。 山作 阅读全文
posted @ 2026-07-29 21:48
03Goose
阅读(14)
评论(0)
推荐(0)
摘要：
前言 2026.07.23 更新 作业其实半个月前就写完了，但家里事情太重，一直没时间交，今天得知已经挂科了。 我依然强烈建议低年级的学弟学妹选学这门课。 这门篇随笔或许不会再更新？ 毕竟我不是很想学习 Windows API ，对于低年级的学生来说这门课有趣有效，但对于高年级的学生或许直接 do 阅读全文
posted @ 2026-07-18 16:30
03Goose
阅读(18)
评论(0)
推荐(0)
浙公网安备 33010602011771号