Hello World!

About me and this blog.

    270    2020-06-28   去围观

《明清时代江南市镇研究》读书报告

通选课明清经济与社会中期作业。第一次写读书报告，体验了一下文科生的日常。

    214    2021-12-03   去围观

Notes of "The Logic of Computer Programming"

Link: The Logic of Computer Programming Four aspect: correctness termination transformation development Program A: Partial Correctness totally correct: if we execute Program A on any input satisfying the input assertion, the program will ha…

    230    2021-11-13   去围观

    105    2021-03-25   去围观

假设检验

概统背不完了。

    157    2021-01-08   去围观

    219    2020-11-28   去围观

深度学习数学基础

概率 贝叶斯 贝叶斯公式 $$p(Y|X)=\frac{p(X|Y)p(Y)}{p(X)}$$ 先验：$p(Y)$，后验：$p(Y|X)$，似然：$p(X|Y)$ $p(X)$可以看做是归一化的量，也可以写成 $$\int_Y P(X|Y)p(Y)\mathrm{d}Y$$ 极大似然估计，极大后验估计可以看这个。 期望与方差 条件期望 $$E(X…

    139    2020-09-21   去围观

双线性函数与辛空间

对偶空间 线性映射与同态空间 线性映射又称同态。用$Hom_{\mathbf F}(U,V)$表示$U$到$V$同态的集合。 当$V$是一维时，称之为线性函数。 容易看出$Hom(U,V)$是一个线性空间。 同态空间与矩阵空间的同构：$\sigma:U\to V$为线性映射，取定$U$的一组基$\bm \varepsil…

    176    2020-07-06   去围观