2,619
次編輯
「動態筆記」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 1： | 行 1： | ||
==玩具語言== | ==程式語言== | ||
===玩具語言=== | |||
[[檔案:TheProposalOfTheToyLanguage.png]] | [[檔案:TheProposalOfTheToyLanguage.png]] | ||
==Electron Alternative== | ===Electron Alternative=== | ||
天下苦 Electron 久矣？ | 天下苦 Electron 久矣？ | ||
| 行 15： | 行 16： | ||
Servo 包裝？ | Servo 包裝？ | ||
== 界面 == | === 界面 === | ||
若要寫圖形資料庫可參考 | 若要寫圖形資料庫可參考 | ||
| 行 44： | 行 45： | ||
*Menu | *Menu | ||
*Universal Search Bar | *Universal Search Bar | ||
==哲學與邏輯== | |||
===筆戰分析的管見=== | |||
*列出每句話的背後隱藏的邏輯關係(A->B and C->D等等)。 | |||
*嘗試轉成量化或命題邏輯表達式 | |||
*自然語言的一句話和其的字典似的解釋各轉成形式語言。 | |||
**然後用表達式重寫，但不宜太複雜或冗長。 | |||
==語文== | ==語文== | ||