2007年9月11日 星期二

研究生九月日記

今天和杜老師的學生還有學姐討論我之前寫的報告哪邊錯了,
結果發現我主要的計算部份應該沒錯,
這讓我大大放心了…
不過還是有一些小錯誤被學姐發現。
雖然我的報告有錯,不過主要的部份沒錯,釐清之後感覺好多了。

沒有留言:

張貼留言

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...