Incalculable Pieces

再次對現實感受到無力，被壓迫。 只是想打一些字，證明我還活著，仍在思考。   不能 coding ，只能看書。   理論的東西。   好想實踐，好想課金，看神書。   課吧。

總算是和教授見到面了。 由於專題方向一直不明確，教授就問了我還記得偏序性是什麼。 你數學還可以嗎，離散方面的。 其實還算是隱隱記得的，不過還是說不知道。明明見面前才看過拓扑排序的東西。 他說了一些名詞，大概就是那樣了吧。 嘛，不知道就說不知道，也沒什麼不對，不過總算是再次確定在 PL 領域集合論很重要。 哎呀，我的離散就是心領神會，然後過幾天就把名詞忘了啊。 "英文呢？" 我搖頭。 "現在英文已經不能算是錦上添花，甚至要算是雪中送炭了啊。" 教授，我知道    ; w ; 教授問我說你的比較偏向抽象思維還是工程思維，我一時回不上了，因為平時沒去注意。 我就回答看算法時，有時會想像出比較具體東西，幫助理解。 像剛剛拓扑排序那題，才在想說複雜度有點奇怪， 邊 trace code ，我就邊聯想到了海浪沖刷的景象。 要把水沖到你腳下，一次次沖刷，像是遞迴般的，越來越靠近，結束。 複雜度依然是 O(n)，沒錯的。 這是抽象思維嗎？我不知道。可能也不是吧。   教授說他也不知道我的特性。所以也沒辦法下什麼決定。 聊到了他帶過的幾位學生，可惜我都不太熟。 後來有稍微查了一下，恩，很厲害的學長。難望項背。 最後他說 PL 這塊，因為現在研究室不是研究這個， 如果我決定要這個方向的話， 可能要獨立一點了。 現在是台大那邊比較有在做。 他又問了我獨立性相關的自身特性，我的回答是： "我覺得應該可以"。 其實心裡是有個小小的問號的。 因為我一直覺得我有在接收新知，可是一直沒辦法對一件事深入。 我缺少的究竟是什麼？面對深奧事物去探究的好奇心與勇氣嗎？ 還是英文差又懶得看那些東西 ( 我知道的，我也有在強迫自己 ) 這可能要好好想想了。這對未來關係很大的。   教授想了想，給了我幾種方向。 一邊，就是像那幾個厲害的學長，想做甚麼都想好了， 教授這邊只是給個支持。他們就自由發揮了。 另一邊，就是只求專題過啦。 而中間，是想要有得到一些東西，也一邊尋求的。 所以教授就問我，要不要試試看 smart contract。 既然不知道全局最佳解，那就找局部最佳解吧。 在安全方面有沒有興趣？他會丟兩篇文章給我。 我想了想，(好像，以我認知)能碰到 FP 不錯，高中同學也有玩虛擬貨幣的， 之前就在問有沒有可以討論的對象，如果我有接觸的話，說不定

因為作業需要 PDF，由於不喜歡開 Word，而漸漸用 Markdown 繳作業的我， 開始去找 Markdown 轉 PDF 的方法。( 會學 Markdown 是因為寫部落格也會用到 ) 別問我為什麼不用 LaTex，因為我還沒學 ( 懶得學 )。 於是我就找到了 Atom。GitHub 上開源的一款編輯器。 Atom 的宗旨就是不要讓你花精力在調教上。 所以囉，小小 try 了一下，就裝起來了。 不過比較麻煩的事可能要開 cmd 到 Atom 資料夾下的 bin，下 cmd。 因為插件需要 compile，所以他需要知道各種編譯器的位置。 cd C:\Users\你的使用者名字\AppData\Local\atom\bin apm install --check 如果需要 python 就裝 python , node 就裝 nodejs，c/c++ 應該會教你裝 vs 的 compiler 吧。 反正我下完 check 後就什麼都找到了，我原本就什麼都有裝了。 點開 package 頁面，我是下載 Markdown-PDF 這個插件。 安裝完後，直接開一個 Markdown 檔案， 快捷鍵 ctrl + shift + c 直接在 Markdown 檔案相同位置產生 pdf 檔。 不然就是點視窗上面有 package 的 menu，到裡面去找那個插件。 我把 Atom 當成轉檔用的軟體，主要編輯還是在 Vim 。 這樣上比較習慣啦～