自动机理论 • 下推自动机

本文讲解了下推自动机的概念。

HoTT Summary

整理一个 HoTT 的 Outline,注重易于理解而非严密性。

重新开始学数学 • 贝叶斯因果推理(4)

本文介绍了贝叶斯模型的 overfitting 和 underfitting,以及如何评估、防止 overfitting。

重新开始学数学 • 贝叶斯因果推理(3)

本文介绍了最基本的贝叶斯模型是如何学习的。

重新开始学数学 • 贝叶斯因果推理(2)

本文介绍了贝叶斯因果推理中常用的工具——因果关系图。

形式语义学 • 操作语义

操作语义是形式语言学中最重要的分支,本文对其进行简单介绍,并给出 用 Agda 描述一个简单“数学表达式”语言的形式语义 的例子。

重新开始学数学 • 贝叶斯因果推理(1)

以前我受到 AI 那堆东西的蒙蔽,以为概率论那一套搞不了因果关系。现在意外地发现了贝叶斯因果推理这么一个东西。本文介绍了贝叶斯因果推理中涉及到的基本概念。

Image 转 RGB565 工具

图像转 RGB565 的纯前端工具

重新开始学数学 • 数理逻辑(5)

欲练PLT神功,必先学好数学,而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录 基于 CTL 的 Model Checker 算法

重新开始学数学 • 数理逻辑(4)

欲练PLT神功,必先学好数学,而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录数理逻辑中 时序逻辑 相关概念的定义