動態筆記
程式語言
玩具語言
建立縮圖錯誤：無法儲存縮圖至目標
Electron Alternative
天下苦 Electron 久矣？
但大家習慣 web 開發模式。
- Servo 加殼？
- 但是性能也是問題
Servo 包裝？
界面
若要寫圖形資料庫可參考
- GTK
- Qt
- libui
- WxWidget
- GNUStep (Window Maker WM)
- Mac OS
桌面環境的配置，GUI的撰寫，能不能和網頁的 HTML/CSS/javescript無縫接軌？
- 桌機界面
- Mac OS
- GNOME
- KDE
- MATE
- Windows
- WM
- OpenBox
- IceWM
- Window Maker
- Enlightment
- 格狀視窗 WM，加上快速鍵
- 手機界面
- Docker
- Menu
- Universal Search Bar
哲學與邏輯
筆戰分析的管見
- 列出每句話的背後隱藏的邏輯關係(A->B and C->D等等)。
- 嘗試轉成量化或命題邏輯表達式
- 自然語言的一句話和其的字典似的解釋各轉成形式語言。
- 然後用表達式重寫，但不宜太複雜或冗長。
語文
中文打字機？
- 常用字作出渲染表
- 先做1000字
- 分析部件長寬的主要形態（1x1、1x2、2x1等等）
- 必要時整併部件
- 用類行列輸入法編碼分類
愛爾蘭語
運輸
最小成本號誌化路口路徑問題
- 假設有路網、節點、單向路徑、節點對路徑的綠燈機率（號誌時比）、旅行時間
- 能不能給出a->b的最短時間成本？
- 敏感性分析？
自動狀態機
- 最小化節點數下，給定 (0|1)+ 這種正規表達式的 pattern 的字串兩個，能區別字串的DFA中，最少需要幾個節點？
- 這是資訊學未解決問題，維基條目：https://en.wikipedia.org/wiki/Separating_words_problem。
- 自動機是一種運輸路網，只是給定的不是路徑成本，是移動條件（比如哪一個指令下了，就要走到新的節點）。
- 作業研究能不能解決？
- 能不能建模？
- 文獻回顧
- 看英文維基百科底下的參考文獻羣。
- 用特定有限節點數量測試？
- 如何表現無窮個控制變數在模型裏面？遞歸可行嗎？
- NFA本身也可以視爲給定字串輸出狀態的函數。
- 子節點移動條件羣也可以視爲函數。