今天中午,要幫系辦買午餐時,
我為了要閃減速的凸起,騎到旁邊的水溝蓋上,
平時這樣騎都沒事,沒想到今天因此摔車了。
摔車後,我看了一下機車前輪,有一邊都是泥土,
猜想是騎到泥土才摔車。
目前,老闆叫我釐清上次meeting時,
我報的paper中的time complexity。
不過,直到現在,我發覺有點複雜,還是不懂為啥麼。
本周,高演期中考,我覺得考得還滿意,希望不要成績出來時,
一翻兩瞪眼…
而基礎數學下週考,我還沒準備,
但願不受摔車的影響,而考差了才好。
1. Install Lean Environment: https://lean-lang.org/install/ 試著完Step one, two, three 2. 在VS code下,建一新的project: 取名Hello_World 3. 嘗試執行Main.lea...
沒有留言:
張貼留言