檢視動態筆記的原始碼

:導航：[[首頁]] > {{PAGENAME}}

==程式語言==
===玩具語言===

[[檔案:TheProposalOfTheToyLanguage.png]]


===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等等）
** 必要時整併部件
** 用類行列輸入法編碼分類
===愛爾蘭語===
* [[愛爾蘭語常用字分類]]（[https://github.com/michmech/irish-word-frequency 來源]、[https://raw.githubusercontent.com/michmech/irish-word-frequency/master/frequency.txt 文字檔]）


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

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

[[category:主分類]]