若則理のBlog

概述和一些想法。

一段關於未來的遐想。

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

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

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

Notes on basic set theory.

雖然題目叫文科與理科，但我在寫作時心裡想的是哲學和數學，所以改一下標題大概也能成立。

Notes on symmetric polynomial and Newton's identities.

但當那抹紅色侵入他的視網膜如一個無寓意的空格徒勞而錯愕……

在一個極端市場化的社會場域中，話語權的核心就在於兩個因素，一是規定價值，二是准入門檻，前者被稱為理想，後者被叫做公平。接受了這種話語權對自身身份的形塑，即是成為這種話語的下屬，直白地說，就是選擇當奴隸。