2008年8月29日 星期五

2008年8月記

8月21日,終於出院了,目前想到一個方向可以做論文,
不過8月29日時,發現這個論文要做下去,似乎想不到更好的方法,
到底要不要再做下去,目前(8月30日)煩惱中。

沒有留言:

張貼留言

Lean 4 極簡教學 (Using VS Code on macOS)

 1. Install Lean Environment: https://lean-lang.org/install/ 試著完Step one, two, three 2. 在VS code下,建一新的project: 取名Hello_World 3. 嘗試執行Main.lea...