傅里叶变换 (绕过群表示论,单位根)
学群表示论时,对 Fourier basis 和 Fourier transformation 有了个理解。
学布尔函数分析时,有了新的理解。
学量子密码学时,又有了新的理解。
Category Theory (Course Exercise Solutions)
Department of Computer Science and Technology – Course pages 2022–23: Category Theory – Course materials (cam.ac.uk) 自己做了下,感觉很有趣
Galois Connection & Galois Embedding
黄前久美子:“不嫉妒比自己优秀的人,到底是优点还是缺点呢,我应该说些什么吗。这种小事让我不自觉地思考,有种令人害怕却无法否认的要钻进牛角尖里的感觉,它将我的不成熟摆在眼前,我也因此竭尽全力。”
A Correctness and Incorrectness Program Logic
ROBERTO BRUNI, University of Pisa, Italy
ROBERTO GIACOBAZZI, University of Verona, Italy
ROBERTA GORI, University of Pisa, Italy
FRANCESCO RANZATO, University of Padova, Italy