标签

#数学 ⁴⁵

【草稿】黎曼几何（一）：联络与测地线的变分 Morse 理论（一）：非退化光滑函数【草稿】光滑流形（三）：嵌入一点点几何学随机学习从单形到无穷范畴理论更多 »

#计算机 ²⁴

从反向传播到多层感知机记 MarkItDown 工具试用天使与方格吞噬者问题的策略模拟推荐一个 Markdown 转 PDF 的流程基于有限域上数论的密码系统更多 »

#基石 ⁹

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

#几何学 ⁹

【草稿】黎曼几何（一）：联络与测地线的变分【草稿】光滑流形（三）：嵌入一点点几何学随机学习光滑流形（二）：定向与积分几何学Ⅱ期中复习笔记更多 »

#代数学 ⁹

高等代数Ⅱ期末复习笔记高等代数Ⅱ期中复习笔记 Banach–Tarski 分球定理的证明细节高等代数Ⅰ期末复习笔记高等代数Ⅰ期中复习笔记更多 »

#分析学 ⁷

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

#计算理论 ⁶

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

#范畴论 ⁵

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

#拓扑学 ⁵

Morse 理论（一）：非退化光滑函数从单形到无穷范畴理论同调论的拓扑基础与持续同调几何学Ⅱ期末复习笔记关于滤子：极限及“最终”模态词诱导

#物理学 ⁴

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

#算法 ³

Hash 与基于哈希的 table 实现量子信息的基本原理与基本结论迷宫生成算法的若干方案

#游戏 ³

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

#密码学 ³

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

#图形学 ³

着色器中的随机与噪声基于 GLSL 的色彩与数学绘制 GLSL 的基础用法与 Raymarching

#组合学 ²

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

#数论 ²

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

#哲学 ²

关于怀疑论的若干衡量命题模态逻辑与知识逻辑

#统计学 ¹

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

#概率论 ¹

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

#文学 ¹

《百年新诗选》诗选