若則理のBlog

反函數定理與隱函數定理在一般情況下的證明.

群 GL(3,2) 的直觀解釋, 同構關係以及單性證明.

龔昇《線性代數五講》的筆記.

寫了一點晦澀而又帶著十足挑釁意味的東西。

二項分佈的 Chebyshev 不等式; 以及在函數逼近上的一個應用.

概述和一些想法。

一段關於未來的遐想。

計算機輔助證明介紹, 及簡單 Haskell 實現. (計算機理論課期末大作業)

學技術和工程的人說話有時真讓我討厭。

循環的本質在於：工作之後迎來享樂，享樂之後繼續工作，壓力及時得到宣洩，完美符合科學規律。我們的社會藉此完成其控制，所需要的不過是確保享樂之律令的不可侵犯。