DOFY's Blog
DOFY's Blog

We know the past but cannot control it. We control the future but cannot know it.

DOFY's Blog
We know the past but cannot control it. We control the future but cannot know it.

Hello World!

About me and this blog.

   765   2020-06-28   去围观

从藏传佛教的视角看待中央政权与蒙藏关系

通选课中国佛教史期末作业,上限2000字(绝世好课)

   54   2022-06-05   去围观
http://dofy.top/wp-content/uploads/2022/06/0.png
平型关
高山与沟壑当中,曾是抗日将士声嘶力竭的呐喊,也是铁道兵齐心协力的口号。他们都是永远被这片土地铭记的英雄。
   59   2022-06-02   去围观

Cairo Compiler Learning Notes

Excerpts from How Cairo Works Introduction to Cairo Registers ap: allocation pointer fp: frame pointer pc: program counter Basic instructions [fp - 1] = [ap - 2] + [fp + 4] [ap - 1] = [fp + 10] * [ap]; ap++ [ap - 1] = [fp + 10] + 12345; ap++ #…

   61   2022-06-02   去围观

Rosette Learning Notes

Excerpts from The Rosette Guide. Rosette Essentials Symbolic Values (define-symbolic b boolean?) Specification (define (check-mid impl lo hi) ; Assuming that (assume (bvsle (int32 0) lo)) ; 0 ≤ lo and (assume (bvsle lo hi)) …

   40   2022-06-02   去围观

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

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

   718   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…

   611   2021-11-13   去围观
http://dofy.top/wp-content/uploads/2021/12/风车与牛羊-scaled.jpg
白云与黑金
记一个周末
   511   2021-03-25   去围观

假设检验

概统背不完了。

   509   2021-01-08   去围观
http://dofy.top/wp-content/uploads/2021/11/IMG_20201128_171151_mh1607700758052-scaled.jpg
密码保护:煤港之夜
这篇文章受密码保护,输入密码才能看哦
   607   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…

   507   2020-09-21   去围观
加载更多