興奮劑

昨晚至今晨寫作業，時間拖長了。不過今早三四節高等微積分，精神奕奕全無疲態。下午六七八節自動機講的是冗贅無趣的「以 pumping lemma for context-free languages 證明某一語言非 context-free」，所以前兩節解決幾題 Rudin、證明 R^1 的 Heine-Borel 定理，還是精神奕奕。到了第八節把高微擱在一旁，疲倦睡意就襲來了 XD。

--
高微真乃強效興奮劑也！