Posted on "2023Y"

All / 2023 Y Archive

11 M

11-08 - 数学基础

Analysis of Boolean Function （Course Exercise Solutions)

11-07 - 量子计算

Quantum Random Walk

10 M

10-23 - 量子计算

Quantum Key Distribution

10-19 数学基础

傅里叶变换 (绕过群表示论，单位根)

10-09 - 文献阅读

Computation & Programs

10-06 - 数学基础

Yoneda Lemma 米田引理

10-06 - 数学基础

Category Theory (Course Exercise Solutions)

09 M

09-16 - 数学基础

Galois Connection & Galois Embedding

09-09 - 文献阅读

A Correctness and Incorrectness Program Logic

08 M

08-10 - 数学基础

关于 Monad