「動態筆記」修訂間的差異

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋
 
（未顯示同一使用者於中間所作的 8 次修訂）
行 1： 行 1：
==玩具語言==
{{Nav}}
 
==程式語言==
===玩具語言===


[[檔案:TheProposalOfTheToyLanguage.png]]
[[檔案:TheProposalOfTheToyLanguage.png]]




==Electron Alternative==
===Electron Alternative===


天下苦 Electron 久矣？
天下苦 Electron 久矣？
行 15： 行 18：
Servo 包裝？
Servo 包裝？


== 界面 ==
=== 界面 ===
若要寫圖形資料庫可參考
若要寫圖形資料庫可參考


行 44： 行 47：
*Menu
*Menu
*Universal Search Bar
*Universal Search Bar
==哲學與邏輯==
===筆戰分析的管見===
*列出每句話的背後隱藏的邏輯關係(A->B and C->D等等)。
*嘗試轉成量化或命題邏輯表達式
*自然語言的一句話和其的字典似的解釋各轉成形式語言。
**然後用表達式重寫，但不宜太複雜或冗長。


==語文==
==語文==
===中文打字機？===
===中文打字機？===
* [[臺灣華語常用字渲染表|常用字作出渲染表]]
* [[臺灣華語常用字渲染表|常用字作出渲染表]]
** 先做1000字
** 分析部件長寬的主要形態（1x1、1x2、2x1等等）
** 必要時整併部件
** 用類行列輸入法編碼分類
===愛爾蘭語===
* [[愛爾蘭語常用字分類]]（[https://github.com/michmech/irish-word-frequency 來源]、[https://raw.githubusercontent.com/michmech/irish-word-frequency/master/frequency.txt 文字檔]）
* "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風氣與政治輿論的觀察綱要]]
[[category:雜項]]

於 2023年8月6日 (日) 23:26 的最新修訂

程式語言

玩具語言

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


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本身也可以視爲給定字串輸出狀態的函數。
      • 子節點移動條件羣也可以視爲函數。

評論

取自「https://kianting.info/wiki/index.php?title=動態筆記&oldid=2217」