Step 1: 在 Macbook Pro M4 上安裝的方式相當容易,只要打開 Mac 內建的終端機 Terminal 輸入:
ollama run deepseek-r1:14b
系統會自動開始下載所需資料,安裝完畢後即可開始運行。運行結果如下圖所示:If you can’t solve a problem, then there is an easier problem you can solve: find it. -George Polya
Step 1: 在 Macbook Pro M4 上安裝的方式相當容易,只要打開 Mac 內建的終端機 Terminal 輸入:
ollama run deepseek-r1:14b
系統會自動開始下載所需資料,安裝完畢後即可開始運行。運行結果如下圖所示:連續函數有諸多用途,一般在參數最佳化領域中常見的情況是考慮所謂的上包絡函數(upper envelope function)。
Definition: 定義函數族 \(\{f_t : t \in T\} \) 其中 \(T\) 為 index set 並考慮對任意 \(x \in X\),現在定義上包絡函數(upper envelope function) 或者 逐點上確界函數(pointwise supremum function)
$$ F(x) := \sup_t f_t(x)$$
Question: 一個有趣的問題是如果這些函數族成員都是連續函數,那麼取 supremum 之後所得到的新函數 \(F\) 是否仍為連續呢?
答案是否定的。以下例子說明甚至是定義在緊緻集合上的連續函數族也沒有保證上包絡函數連續。
Example: 考慮一連續函數族 \( \{f_t: t \in [0, T]\} \) 其中 \(f_t(x) := x^t\) 對 \(x \in [0,1]\) 且 \(t \in [0,1]\) 並定義 \(f_0 = 0\)。 則函數族的上包絡函數為 $$ \sup_t f_t(x) = \begin{cases} 1, & x \in (0, 1] \\ 0, & x = 0\end{cases}$$ 讀者不難發現此函數在 \(x=0\) 處有不連續跳點。
Comment: 在最佳控制與數理經濟中有個非常有用的定理可以刻畫上包絡函數的連續性稱作 Berge's Maximum Theorem 有興趣的讀者可以自行查閱。
若有人以為自己知道什麼,按他所當知道的,他仍是不知道---哥林多前書8:2
選幾個至少不討厭的目標/領域試試看如何?
Two roads diverged in a wood, and I—I took the one less traveled by,
And that has made all the difference.
這一學期以來,我很幸運陸續有幾位碩士班同學表達有意願想找我當指導教授,我對每一位來訪的同學都表明如果想找我當指導教授的話需要有 (or 致力達成) 以下兩個條件:
我對(碩士班)學生的畢業期許是至少有一篇我認可的領域內會議論文投稿。
我知道上述的要求(特別是條件1)對許多同學而言是極為*沈重*的負擔,因為學生們大多沒有接受過嚴格的數理論證訓練,也並不是每一位都志在學術,大多數同學也許更在乎的是找實習/找工作機會加入業界崗位,更在意的大多都不是碩士論文做了什麼題目,而是能不能準時畢業。我曾經也是學生,我想我大概可以體會這些同學的想法。
然而,另一方面,我是做*理論*研究的學者,我感興趣的研究領域(隨機系統與投資組合優化理論)中許許多多的研究確實需要使用各種 數學工具 與 數學論證的手法。領域內的研究工作者需要能大致讀懂領域內相關文獻,並據此發想可能的新研究主題,接著利用各種(數學/優化/統計)工具來解決這些問題。陳述自己的研究成果方法多半是以定義/定理/證明的形式或者 算法/證明/實證模擬結果。最後實證的部分需使用真實資料輔以程式來實現。如果沒有受過一些嚴格論證的訓練與洗禮以及一定的程式撰寫經驗,要達成上述目標幾乎是寸步難行,特別是論證這塊,除了高微這門課之外我實在很難找到更好的替代方案。
學生們感到(辛苦)困難,老師也感到困難。或許我應該再想想有沒有更好的解決方案?
最近火熱的 DeepSeek R1 模型由於採用了 distill 技術,可以大幅降低計算成本,使得一般人有機會在自家筆電上跑性能逼近 Open AI ChatGPT o1的大語言模型。本文簡單介紹一步安裝在 Macbook Pro 的方法以及使用方法,以下測試採用 Macboo...