我在幹什麽？
回顧我記錄下來的目標，可謂是天花亂墜，這就是我作為空想家（而不僅是自謙為“空想者”）的基本素質。我來整理一下（無序）：1.寫一部小說（原因1是對人性論點的不滿，原因2是希望情感可以被機械模擬，原因3是覺得因此自動生成情節是有可能的，原因4是想整合多年的碎片構思）；2.做一部動畫（原因1同上幾點，原因2是覺得與其建模，不如讓機器腦補作畫，理論上可以大幅減少運算步驟，並且不止是智能PS那麽“簡單”）；3.寫一套編程教材（原因1：學的時候看不懂；原因2：希望找到快速學習方法；原因3：前一條原因引出了“知識是什麽”，包括知識表示和分析，和專家系統沾邊了；原因4：因此生成教程是可能的，直接由知識的結構生成書，雖然牽扯到接受知識的過程）；4.寫一本哲學書（1：對常見哲學問題回答的不滿；2.希望對零碎之物能有系統分析）；5.翻譯文檔（1.知識表示的範本；2.自然語言之特定領域的分析範本）；6.做一個pdf閱讀器，加上彈幕和互動功能（1：註釋立體化，2：分布式教育和學習，3：時間作品，能看到思維痕跡）；7.3d網絡課堂（和遊戲區別不大，但是我覺得有意義，至少和一般的網課相比）；8.ACG自動翻譯軟件（1：主流翻譯器那個復雜啊，我又不怎麽玩；2.可以改造成學外語軟件）；9.開發一個遊戲（1.受夠了傳奇；2.操作大神太多；3.遊戲心理學；4.元遊戲令人心動；5.我的第一本python書就講了pygame；6.組合！隨機！命運！哈哈哈哈）；10.超引用文檔（比如在一個文件裏指向另一個文件，我也不知道有什麽用，也不知道怎麽實現，也不知道如何表示，但這可能是整合筆記的一個選擇，目的也是筆記和知識）；11.做一個Git圖形界面（上一篇末尾正好提到）；12.編譯器（最現實的之一，程序語義化）；13.設計一門編程語言（最近正在哲學分析，可讀性可寫性等等）；14.設計一門自然語言（1：從信息的角度分析語言；2：可能將作為自然語言和機器語言的接口 | 附：在我的語言哲學中，語言既傳達信息，又由聯想直接而來，而語法不該存在）；15.機器證明，比如托勒密定理（1：這首先是哲學問題，因為數學定理之間不存在“派生”關系，這可能需要先回答真理是什麽；2：人是怎麽發現並證明的？；3：有機械過程嗎？既然歐氏幾何只需要公理）；16.模擬一個社會（1：參見第1、2條，這次是自頂向下，並且意義不僅在於對接；2：第15個版本在一個多月前被擱置，我的事情太多了
其中的大部分都是一時起意，有些甚至不該算目標——特別細微的沒有寫，比如（很久以前的事）解簡諧運動的微分方程；零散的也沒有寫，因為只是在進一步描述之前的目標；而且顯然我記下的除了目標還有很多，但目標畢竟是導向類信息。我總覺得，這些構想即使再多，都可以組織在一起——並且應當更像樹而不是完全圖。樹是分類，完全圖是聯系，分類是有序的聯系。就像LED燈和星星，雖然本質差異巨大，但給人（至少看起來）很相似的感覺。這種聯系卻不是進化出的。但也似乎在暗示：【物是集合】。
（2018-1-11 於地球）（待續）
我在幹什麽？