时光如流水

       有人说过这样一句话:年怕过中秋、月怕过半、礼拜怕过三。

       记得儿时,每每觉得日子过得好慢,用“度日如年”来形容也不觉过分。彼时一直在幻想21世纪是怎样的,却忽忽2020年,以至于每天都在感叹这日子是一年过得比一年快、一天过得比一天快。

难道——我真的——已——老?怕怕。

写信

        昨天无意中和一位朋友谈到写信。写、信,只感到好遥远好遥远好遥远。印象中当然是写过信的,而且也写了不少,但是,那都是很久以前的事了,久得都已模模糊糊了。

现在,人们好像都已经不写信了,电子邮件方便而迅捷。然而,冰冷的一成不变的宋体却并没有带来没有太大的感觉。想起年少时收到同学的来信时的那一份狂喜,不觉微微感叹。现在,又有多少人能体验到鸿雁往来的幸福呢?

华东师范大学大夏学堂插件

由于最近的疫情影响,我校不得不采取线上上课的方式,这导致了大夏学堂的使用达到了一个高峰,为了方便同学们下载课件,我和缪渠成大佬共同开发(他开发,我白嫖)了Chrome和Firefox两款插件,可以批量从大夏学堂下载文件。

Chrome版详见缪大佬的博客

Firefox版源代码在GitHub:[https://github.com/iamSmallY/ecnu_blackboard_helper_firefox]
也可以点此一键下载

Sylvester 不等式与 Frobenius 不等式

寒假里阅读南航的《矩阵论》时,又一次见到了 Sylvester 不等式,上一次见到它还是在读交大的《线性代数》的时候,不过当时是证明的矩阵,而这次要证明线性映射版的。趁此机会,正好把证明过程记录下来,避免之后遗忘。

Sylvester 不等式 : \(rank(A)+rank(B)\geqslant n-rank(AB)\) 或者 \(rank(\mathscr{A})+rank(\mathscr{B})\geqslant n-rank(\mathscr{A\circ B})。\)

Read more