错行
文章
分类
标签
文章列表
2026
13
【逻辑学】经典命题逻辑及其强可靠性、强完全性
03-25
【逻辑学】简单的形式语言及可靠性、完全性证明
03-10
【类型论】同伦类型论综述与 Martin-Löf 类型论
03-09
《初识量子力学》笔记（上）：海森堡绘景到薛定谔绘景
03-06
推荐一个 Markdown 转 PDF 的流程
02-23
【密码学】经典数论算法：基于有限域上离散对数/整数分解/二次剩余
02-12
关于高性能计算的混乱感想
02-06
魔术效果的构造
02-04
记 Rust 编译至 WebAssembly 流程
01-27
【着色器】综合的光照场景
01-18
几何学Ⅰ期末复习笔记
01-08
数学分析Ⅰ期末复习笔记
01-06
Banach–Tarski 分球定理的证明细节
01-01
2025
29
高等代数Ⅰ期末复习笔记
12-29
计算概论期末复习笔记（Bird Meertens 形式开始的部分）
12-27
Hash 与基于哈希的 table 实现
12-08
【范畴论】练习：定义验证与泛性质使用
12-05
【量子信息】基本原理与基本结论
11-27
光滑流形上的微分与微分形式
11-19
【Agda 语言】形式化证明所需的主要设施
11-12
几何学Ⅰ期中复习笔记
10-31
高等代数Ⅰ期中复习笔记
10-28
【复分析】间章：Laurent 级数、留数与调和函数
10-16
《初识经典力学》笔记：哈密顿量
10-04
【着色器】随机与噪声
10-01
【密码学】异或密码与 AES
09-22
【着色器】色彩与复杂绘制
09-22
【着色器】GLSL 的基础用法与技巧
09-03
【Haskell 语言】单子与副作用
08-27
【Haskell 语言】基础概念与语法
08-26
【范畴论】代数上常见定义对应的泛性质
08-02
【复分析】基本概念与 Cauchy 积分理论
07-27
《百年新诗选》诗选
07-27
【域论】高次方程与 Galois 理论
07-09
【群论】魔方与次正规群列
06-16
多面体对称性：正多面体与更低对称性
06-12
【群论】群在集合上的作用相关
06-09
基于 Lua 的模拟环境
05-06
概率论的解释：《概率论沉思录》笔记
04-12
希尔伯特第三问题：多面体剪接的 Dehn 不变量
04-09
LISP 模式：图灵完备及元编程
03-22
无类型 λ 演算
03-22
2024
1
使用带锁盒子的传递模型
06-08
2023
1
猫猫棋：一个棋子可变的游戏设计
12-09
2022
2
迷宫生成算法：固定大小迷宫与无限迷宫
08-29
原创海龟汤列表
08-14