标签

#数学 ⁵³

数学分析Ⅲ期中复习笔记示性类（一）：Stiefel-Whitney 类《概率论》期中复习笔记 *讨论记录：数学与做数学群论（四）：特征子群；幂零群更多 »

#计算机 ²⁸

《数据结构与算法》期中复习笔记机器学习（二）：分类；无监督学习读论文：Attention Is All You Need 机器学习（一）：概论与线性方法从反向传播到多层感知机更多 »

#代数学 ¹²

群论（四）：特征子群；幂零群群论（三）：直积有关的讨论群表示论（一）：基本定义；特征标高等代数Ⅱ期末复习笔记高等代数Ⅱ期中复习笔记更多 »

#基石 ⁹

类型论发展与思想综述集合范畴基本理论（ETCS）简介一阶逻辑的元定理与边界命题模态逻辑与知识逻辑关于滤子：极限及“最终”模态词诱导更多 »

#几何学 ⁹

黎曼几何（一）：联络与测地线的变分光滑流形（三）：嵌入相关的讨论一点点几何学随机学习光滑流形（二）：积分与 de Rham 上同调几何学Ⅱ期中复习笔记更多 »

#分析学 ⁸

数学分析Ⅲ期中复习笔记数学分析Ⅱ期末复习笔记关于滤子：极限及“最终”模态词诱导数学分析Ⅱ期中复习笔记数学分析Ⅰ期末复习笔记更多 »

#拓扑学 ⁷

示性类（一）：Stiefel-Whitney 类 Morse 理论（二）：在李群上的应用 Morse 理论（一）：非退化光滑函数从单形到无穷范畴理论同调论（一）：基本定义与等价性更多 »

#计算理论 ⁶

Bird Meertens 形式与高效程序导出 Agda 语言与基本的形式化证明 Haskell 的单子与副作用 LISP 模式：图灵完备及元编程无类型 λ 演算与重写系统更多 »

#范畴论 ⁵

从单形到无穷范畴理论 Universals and Limits 习题选做集合范畴基本理论（ETCS）简介一些泛性质使用的习题选做一些简单定义的范畴论观点

#算法 ⁴

《数据结构与算法》期中复习笔记 Hash 与基于哈希的 table 实现量子信息的基本原理与基本结论迷宫生成算法的若干方案

#物理学 ⁴

【草稿】广义相对论《初识量子力学》笔记（上）量子信息的基本原理与基本结论《初识经典力学》笔记：哈密顿量

#游戏 ³

使用带锁盒子的传递模型猫猫棋：一个棋子可变的游戏设计原创怪异海龟汤列表

#密码学 ³

基于有限域上数论的密码系统异或密码的实现与 AES #密码学

#图形学 ³

着色器（三）：随机；噪声与使用技巧着色器（二）：色彩；色板；数学绘制着色器（一）：GLSL 基础；Raymarching

#哲学 ³

【草稿】《分析哲学概论》笔记关于怀疑论的若干衡量命题模态逻辑与知识逻辑

#组合学 ²

天使与方格吞噬者问题的策略模拟使用带锁盒子的传递模型

#概率论 ²

《概率论》期中复习笔记概率论的解释：《概率论沉思录》笔记

#数论 ²

（椭圆）模形式基本定义与结构基于有限域上数论的密码系统

#统计学 ¹

概率论的解释：《概率论沉思录》笔记

#文学 ¹

《百年新诗选》诗选