動態筆記

導航：首頁 > 動態筆記

程式語言

玩具語言

建立縮圖錯誤：無法儲存縮圖至目標

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等等）
  • 必要時整併部件
  • 用類行列輸入法編碼分類

愛爾蘭語

• 愛爾蘭語常用字分類（來源、文字檔）
• "The Irish spelling employed is, as a rule, based on that of classical or Early Modern Irish." -- Ó Cúiv, page x, The Irish of West Muskerry

運輸

最小成本號誌化路口路徑問題

• 假設有路網、節點、單向路徑、節點對路徑的綠燈機率（號誌時比）、旅行時間
  • 能不能給出a->b的最短時間成本？
  • 敏感性分析？

自動狀態機

• 最小化節點數下，給定 (0|1)+ 這種正規表達式的 pattern 的字串兩個，能區別字串的DFA中，最少需要幾個節點？
  • 這是資訊學未解決問題，維基條目：https://en.wikipedia.org/wiki/Separating_words_problem。
  • 自動機是一種運輸路網，只是給定的不是路徑成本，是移動條件（比如哪一個指令下了，就要走到新的節點）。
  • 作業研究能不能解決？
    • 能不能建模？
  • 文獻回顧
  • 看英文維基百科底下的參考文獻羣。
  • 用特定有限節點數量測試？
  • 如何表現無窮個控制變數在模型裏面？遞歸可行嗎？
  • NFA本身也可以視爲給定字串輸出狀態的函數。
    • 子節點移動條件羣也可以視爲函數。

評論

• SNS風氣與政治輿論的觀察綱要