摘要：
[!WARNING] 阅读本篇博客需要您了解一些分析学知识。 本篇博客在CC BY-SA许可证下发布 公理化的概率论是建立在可测空间和测度上的，要深刻地理解概率论（例如为什么连续随机变量中一个确定点的概率是 0），就不能不了解公理化的概率定义。 基本概念的定义 样本空间 样本空间 \(\Omega= 阅读全文
摘要：
逻辑学的研究范畴 形式逻辑，研究数学语言的逻辑论证，研究的是蕴含式的关系。 非形式逻辑研究的是自然语言的逻辑推导和论证。 非形式逻辑关于论证研究的5大问题域 论证的辨识 研究论证和因果说明之间的区别，也就是说，“因为”“因而”这种逻辑指示词究竟用于说明因果关系或逻辑论证。 论证分析 分析论证中是否有 阅读全文
摘要：
在对于各个学科的学习中，我进行了一些总结，而且产生了很多想法和灵感，于是这样便需要一款软件来解决我的需求。在跌跌撞撞使用数款笔记软件后，我最终选择了使用Obsidian和git来管理我的笔记文件，下面就来谈谈为什么。 笔记软件中，为什么选择Obsidian 起初，我选择使用手机自带的笔记软件进行笔记 阅读全文
摘要：
Quarto 不完全指北 · 第二节 内容的写作 在上一篇博客中，我们已经在 VScode 中配置好了 Quarto 的工作环境，接下来我们将 Quarto 渲染一篇文档为 HTML 格式。 Quarto 采取格式与内容相分离的方式来编写文档，因此，我们写作内容的文件是一个纯文本文件，渲染（rend 阅读全文
摘要：
Quarto 不完全指北 · 第一节 下载 Quarto 是 R 语言开发团队 Posit 开发的新一代开源出版工具，用于替换 Rmarkdown，并且在一定程度上具有学术写作的能力，甚至可以它创建一个网站，基于 Pandoc 和 Deno （你可以在 Quarto 的安装目录里找到这两个工具）。不 阅读全文
摘要：
7-zip的文件名编码问题 问题概述 7-zip 的 GUI 界面不能设置文件名编码，因此会产生许多问题。例如如果将 Windows 的编码设置成 UTF-8，所有的压缩包文件名都会乱码。即使是 Windows 的编码是正常的 GBK，也会在解压用日语常用编码 Shift_JIS 进行编码的压缩包时 阅读全文
