错行
文章
分类
标签
文章列表
2026
31
从单形到无穷范畴理论
08-09
类型论发展与思想综述
07-21
光滑流形上的定向与积分
07-20
（椭圆）模形式基本定义与结构
07-11
Universals and Limits 习题选做
07-05
同调论的拓扑基础与持续同调
06-30
几何学Ⅱ期末复习笔记
06-22
高等代数Ⅱ期末复习笔记
06-15
数学分析Ⅱ期末复习笔记
06-14
记 MarkItDown 工具试用
06-11
天使与方格吞噬者问题的策略模拟
05-20
集合范畴基本理论（ETCS）简介
05-12
一阶逻辑的元定理与边界
05-09
关于怀疑论的若干衡量
05-01
命题模态逻辑与知识逻辑
04-27
关于滤子：极限及“最终”模态词诱导
04-22
高等代数Ⅱ期中复习笔记
04-20
几何学Ⅱ期中复习笔记
04-18
数学分析Ⅱ期中复习笔记
04-12
经典命题逻辑及其强完全性证明
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-08
数学分析Ⅰ期末复习笔记
01-06
Banach–Tarski 分球定理的证明细节
01-01
2025
30
高等代数Ⅰ期末复习笔记
12-29
Bird Meertens 形式与高效程序导出
12-27
Hash 与基于哈希的 table 实现
12-08
一些泛性质使用的习题选做
12-05
单复变 Weierstrass 级数理论
12-04
量子信息的基本原理与基本结论
11-27
光滑流形上的微分与微分形式
11-19
单复变 Cauchy 积分理论
11-16
Agda 语言与基本的形式化证明
11-12
几何学Ⅰ期中复习笔记
10-31
异或密码的实现与 AES
10-30
高等代数Ⅰ期中复习笔记
10-28
《初识经典力学》笔记：哈密顿量
10-04
着色器中的随机与噪声
10-01
基于 GLSL 的色彩与数学绘制
09-22
GLSL 的基础用法与 Raymarching
09-03
复变与复平面基本概念
08-28
Haskell 的单子与副作用
08-27
Haskell 的基础概念与语法
08-26
一些简单定义的范畴论观点
08-02
《百年新诗选》诗选
07-27
高次方程与 Galois 理论
07-09
魔方与次正规群列
06-16
正多面体与更低的对称性
06-12
群在集合上的作用讨论
06-09
基于 Lua 的模拟环境
05-06
概率论的解释：《概率论沉思录》笔记
04-12
希尔伯特第三问题的证伪细节
04-09
LISP 模式：图灵完备及元编程
03-29
无类型 λ 演算与重写系统
03-22
2024
1
使用带锁盒子的传递模型
06-08
2023
1
猫猫棋：一个棋子可变的游戏设计
12-09
2022
2
迷宫生成算法的若干方案
08-29
原创怪异海龟汤列表
08-14