2006年7月31日 星期一

樂透分析

樂透很難中,
看起來像隨機分布,
所以是非線性的,
如果是呈線性分怖,那就好猜了^^
所謂的線性就是可以寫成
a1*x1+a2*x2+a3*x3+...+an*xn=0
so that a1,a2...an不全為0,
所以樂透開出的號碼可能跟超越數有關,
可惜目前對超越數的研究不多,
而且超越數有許多數,
到底哪幾個超越數跟樂透有關,
還是不得而知的。

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