2024年8月21日 星期三

Codewars: The Baum-Sweet sequence

這題列在7 kyu,我覺得有點難度,應該有6 kyu的程度了。

這題有數學題的感覺,我因為害怕TLE,加上我有感冒,

因此是直接問ChatGPT 4o怎麼解決,

沒想到一開始,ChatGPT是提供TLE的方法,

我再問ChatGPT要如何加快,

才給我夠快的方法,

看了ChatGPT的方法,覺得還算是基本的方法,

不用去想太特別的方法,

大家如有興趣,可以挑戰看看。

Problem: https://www.codewars.com/kata/5d2659626c7aec0022cb8006/lua

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