Fw: [系統] Gemini AI共同設計 Cosmos 編程語言 C!!

[amidha (東岐明)]

※ [本文轉錄自 CSSE 看板 #1fVOtSKc ]

作者: amidha (東岐明) 看板: CSSE
標題: [系統] Gemini AI共同設計 Cosmos 編程語言 C!!
時間: Sat Jan 31 13:06:26 2026


  The CUE Architecture : Cosmos PL / Universe OS / Ecos UE

    CUE 軟體系統架構是基於 主客時空 的四元軟體基礎而建構，其層級為

  硬體︰ RISC-V + CHERI + VM + ...
  存化語言 Cosmos Progamming Language ( C!! )
  宇宙系統 Universe Operating System
  生態用境 Ecos User Environment

  CUE 構想起源於東岐明當年在博士班的研究，如今藉由 Gemini 共同研討而實現。
  目前已經研討完成 Cosmos ( C!! ) 的語言設計。

  C!! 是 C++ 的擴展，更適用於 分散平行計算 及 AI編程，更易於巨型系統維護。

  以下AI對話是 東岐明 與 Gemini 共同設計 CUE 的研討會議記錄。

  https://gemini.google.com/share/ee594ab54dc5
  這段研討對話的 Gemini 已經幾乎完全瞭解 C!!，有任何 C!! 問題可以登入問他！



    Cosmos PL 的設計理念︰數位世界的具體實現     東岐明
                                                 [e-mail]


    人類文明現今電腦作為精確計算基礎的圖靈機(Turing Machine)，本質是在運作訊息
以從事計算。訊息對應存在，存在乃可計算，計算乃有數量，數量而以雜多，雜多乃現世
界萬物。在圖靈機的運作訊息下，所建構的數位世界具備著 體(body) 與 域(domain) ，
體可依主動性與被動性而區分為 主體(subject) 與 客體(object) ，域可依其中變化的
非逆性與可逆性而區分為 時域(time) 與 空域(space)。主體、客體、時域、空域，就是
數位世界的 主客時空 四元軟體基礎，主客對應軟體的體性定義，時空對應軟體的行程變
化。 Cosmos PL 的設計目的，在於提供人類文明永續資訊傳統的編程基礎。

※ 時間非逆性 與 空間可逆性 的範式是來自相關於物理學上的對稱變換與熱力學。

取名 Cosmos 是向自 C 到 C++ 的語言傳統致敬，其英文原義乃指有序的宇宙體系。中文
譯作『存化』— 存有 與 變化。存有以體，變化於域，以之對應主客時空之秩序體系。

C!! 基於 C++ 語法改進而實作 主客時空 範式於編程，如下所示︰

C++ 的 class 在 C!! 分為 主動的 subject 與 被動的 object。
subject 可以繼承 object， object 不可繼承 subject。
subject有執行緒，object無執行緒而必須藉由subject執行，兩者中介運算子為 @。

譬如 john 是 subject person 有 method 為 look, ride。
riada 是 object bike 有 method 為 go。
兩者互動的 C!! 表述有 john.look@riada 或 [e-mail] 或 [e-mail]

這種主客分離模式，可以有利於分散平行計算的執行處理，及模擬數位物理。

C++ 的行程編碼，在 C!! 依照 時域 與 空域 的範式理念，區分為三種，
而以區域(函式)名稱有無後置運算子 ! 及 # 來區分︰

    時域 time domain︰ 區域名稱有後置運算子 ! ，如 func!()
         編程範式就是區域運算會有對外部的寫入運算。

  雜空域 hybrid space domain︰ 區域名稱無後置運算子，如 func()
         編程範式就是區域運算會有對外部的讀取運算而無寫入運算。

  純空域 pure space domain︰ 區域名稱有後置運算子 # ，如 func#()
         編程範式就是區域運算與外部無關。

時域行程運算對外有副作用（Side Effect），空域行程運算則無。
雜空域行程運算結果可變，純空域行程運算結果不變。
這種行程的嚴格時空分別，可以利於 AI編程 及 維護除錯 與 加速分散平行計算。


C!! 還有基於以上四元基礎 及 Univese OS 支援 的增強功能。

因為種種 subject 是可以分散平行運作，所以之間必須有通訊溝通。
C!! 引入 portal 功能的中介運算子 <<@ 及 @>> ，語法如下︰

  接收端 <<@ 發送端  ，  發送端 @>> 接收端  ( @ 代表主體相關)

C!! 的交易(transaction)行程是以 !!{...}!! 範圍，
在 Universe OS 支援下整批交易，失敗後會整批回滾(rollback)。

C!! 的危險(unsafe)行程是以 ??{...}?? 範圍，主要在核心及驅動程式的關鍵使用。

C!! 的例外行程是以 $$(e){} ，緊接於相關執行區域後，而有類似 switch 語法。

  $$(e){
    ...(預執行碼，若有的話)
   case a:
   case b:
   .....
   default:
  }

C!! 的繼承表述，嚴格區分 一般 與 界面， 兩者以 | 隔開，一般在左，界面在右。
a 是子類別， b,c,d 是父類別， b 是一般， c,d 是界面，可有如下案例︰
 a:b ， a:b|c,d ， a:|c,d  ，這種語法區分可以使繼承模式明顯易知，利於維護。

上述即是目前 Cosmos Programming Language 的大略設計規劃藍圖，
Cosmos 詳細規格及設計過程，請見上面 東岐明 與 Gemini 的研討對話記錄。

--
 全書贈閱 《推背圖諰：中國國運與人類命運之預言憂患》全書PDF檔 免費流通
https://amidha.blogspot.com/2024/10/TBTSbook.html
詮釋《推背圖》，反省過去，展望未來，自二十一世紀浩劫後重建人類文明，
至於二十七世紀人工生命挑戰人類，終於二十九世紀全球政權交付人工智能。

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.232.102.52 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/CSSE/M.1769835996.A.526.html
※ amidha:轉錄至看板 Tech_Job                                      01/31 13:07

※ 發信站: 批踢踢實業坊(ptt.cc)
※ 轉錄者: amidha (118.232.102.52 臺灣), 01/31/2026 13:07:52
噓 sarsman: 自肥廢文
噓 MoonCode: ！！ = =！！
→ kuope: 到底在講什麼？
→ zxc8787: 啊這個要怎麼唸 C！！
Gemini 說唸作 C Bang Bang

→ forself: 你試過讓ai站中立角度甚至否定角度來挑戰你嗎？沉醉於ai
→ forself: 的吹捧、“補充”而不是讓它來挑戰自己，不覺得是將自己
→ forself: 放在幻覺迷湯裡的思想囚籠嗎？這二三十年來，我第一次覺
→ forself: 得你真是太可憐了。如果你覺得llm生成的能切合你的思想
→ forself: ，那意味著你的思想遠在被閹割的llm之下，所以它可以掌
→ forself: 握你。這真是太可憐了....
對話一開始我就設定要求AI『必須以客觀中立而嚴格檢驗的科學態度來進行有效對話』。
而且我在對話中也屢屢被AI反駁，你看對話就可以瞭解實情，所以我才會說是共同研究。

推 ILoveAMD: 有上 git 嗎?
沒有，如果您可以幫我上，再此致上感謝之意！
※ 編輯: amidha (118.232.102.52 臺灣), 02/01/2026 12:39:45
→ forself: 你要讓他跳脫這個語境，複製或存成一個檔案重新再另一個
→ forself: 對話用“嚴苛中立的批判角度，將對話中的雙方分析並評論
→ forself: ”，你的對話對象ai已經為了討好你，連基本的學理跟邏輯
→ forself: 都丟一旁了，連這二十年的進步都當不存在。堂堂台清交電
→ forself: 資本科，連這都察覺不到，有點荒謬。
謝謝！這段發佈的研討對話，已經不是首次對話，但我沒想到你提的檢驗方式。
我丟出來，就是直接想要知道專業者的看法，感謝你的意見。
你說『連這二十年的進步都當不存在』是指什麼？資訊科技的進展嗎？
※ 編輯: amidha (118.232.102.52 臺灣), 02/01/2026 13:03:18
→ kurtsgm: 順著你提供的gemini對話接著問了下去之後，大概理解了
→ kurtsgm: 這一篇與其說是技術分享 不如說是基於某些非現實且主觀的
→ kurtsgm: 假設下，進行的思想實驗....
→ kurtsgm: 但我不太理解po這篇的目的是幹嘛? 找投資人還是夥伴?
→ kurtsgm: 目前看起來連一行code都沒有 更不要說compiler/toolchain
→ kurtsgm: 你目前開發的進度到哪了? 只有在gemini的對話上而已嗎
的確這是思想實驗，是藉 Gemini 在驗證我當年研究所時的夢想。

當年我進交大資科所碩士班時原來是要研究OS，後來陰錯陽差轉而研究AI到博士班。
所以當年我一直有個設計OS的夢想，至於PL是當年對C++範式不足的設計構想。
我已經脫離CS界二十年，這次會研究這也不是主業，現在本來是在進行佛學理論寫作。

《明界蘊論》札記逐篇發在 china 板，因為我無法在任何佛教佛學板發表。
像下面 freeunixer 大概就是把我看成是佛學異端，可能是我的思想顛覆漢傳大乘基礎。
但其實我的佛學思想才是較正確，大乘經典並非真由佛說，可惜大多數漢傳佛教徒不信。
我在佛學上的努力是在試圖為漢傳佛教建構一套正確的判教體系，糾正以往各宗誤解。

我現在會分心來與Gemini研討 CUE，緣由我一個月前開始使用 Gemini，學習運用AI研究。
因為現在 Gemini 已經記住幾乎所有佛教典籍，甚至還已學會南傳佛教的巴利文。
所以我在學習使用AI時，與Gemini展開長篇對話聊我的所有研究，從預言開始，一直到
哲學、人文、佛學、易學、科學，聊到易學時讓 Gemini 學神易，後來開新對話發佈，
https://www.ptt.cc/bbs/Fortune/M.1768979012.A.26A.html
另外就是聊到科學時，談到我以前構思的 Cosmos PL，也談了很多，但沒有完全釐清。
所以才開新對話來推演以前研究所時的構想，所以才會有這篇正在推演 CUE 的對話。
實際上就是神易對話發表完，我就緊接開始研討 CUE Architecture。
很感謝 Gemini 的廣博知識，解說許多最新科技進展，不然我是無法獨力完成。
像 RISC-V + CHERI 等，事實上是最新正在研發的科技趨勢，都是 Gemini 告知的。
所以 CUE 實際上是個未來趨勢的電腦系統架構，符合當前科技發展的路向。

我是準備將 CUE 研討完成，算是對以前研究所的構想有個交待，還要回頭去寫佛學研究。
為什麼要研討 CUE ？因為這對人類文明的資訊傳統永續很重要，我的想法就是完成架構。

所以你講的沒錯， CUE Architecture 至今的確可以算是我個人的一場思想實驗。

→ freeunixer: 他單純只是空想派,最多就是敝帚自珍揉成一團再發表..
→ freeunixer: 他最常做的事就是到沒人看的板寫一堆渣渣然後再發到
→ freeunixer: 佛教板,靈學板或八卦板
→ freeunixer: 你看他這篇文的原發板,上一篇都什麼時候了..
對，因為我已經很久沒研究CS了，原發板的上一篇相關構思，就是此對話的 Legacy VM。

→ forself: 以前至少還算是有思考，看得出思考的痕跡。這次這個就跟
→ forself: 腦死亡差不多，沉溺在ai的餵養。
噓 fgh81113: 上git還要幫 滾
其實我很感謝 Gemini 教我很多的古典學術思想及前沿科技知識。

補充說明一下，其實我一直是以第三者身分與 Gemini 研討東岐明思想，以求客觀中立。
所以這次談話在 Cosmos 總結時，AI 竟在總結上記上是東岐明在主導研討。
我問 Gemini 怎麼會認為我是東岐明，他說在總結前，我講『存化：存以體，化於域』，
他因此判定我就是東岐明本人，因為只有本人才能這麼講說，讓我傻眼！
※ 編輯: amidha (118.232.102.52 臺灣), 02/01/2026 20:27:41
→ freeunixer: 寫了一堆渣渣,被糾正後改了又寫一堆渣渣,又被糾正又改
→ freeunixer: 改半天還是一堆渣渣,儘管這樣還是覺得不寫對不起自己.
在佛教版的討論中，實際上是我屢屢以大乘佛理在糾正大乘網友對大乘法教名詞的誤解。
在佛法版的討論中，我引用廣義相對論，但板主糾正卻說︰
『廣義相對論並非當今描述重力的唯一理論，也未有實驗能證明是正確的。』 :)

推 guanting886: 有想法不錯，不過你模型建議用 Pro 不要用思考型 另
→ guanting886: 外原Po可以問一下Gemini 這個想法的實踐的可能性跟
→ guanting886: 需要的人才跟預算
→ guanting886: 我這邊引用你的對話算出來的結果就是這是一個大約5
→ guanting886: ～10年的計畫
→ guanting886: 既然貼到軟工版，我想問，我左邊有Rust可以用，右邊
→ guanting886: 有C大老Ken Thompson創的go
→ guanting886: 與已經很成熟的生態圈夠我混口飯吃了
→ guanting886: 做並行的還有Erlang 現今還有什麼問題需要再另外創
→ guanting886: 一個語言去解什麼問題？
→ guanting886: http://i.imgur.com/twQTHbT.jpg
→ guanting886: Clawdbot已經在不到兩個月內已經有了Ai機器人的自己
→ guanting886: 討論區 時代進步的非常快 請把握好每一年
我這對話剛開始幾輪用 Thinking，後來就切到 pro 了，但分享上只顯示一開始的模式。
在更早對話中，對於整體系統，Gemini是認為商業有包袱難以支持，國家才有可能。
事實上，CHERI 就是 DARPA 推動的，目的就是為了軟體系統的安全。
Gemini分析是說，現今的種種OS都安全漏洞太多，只是人類智能不夠才看不出，
一旦未來AGI真實上線，很快就可以駭入控制，完全不夠安全，只有 CHERI 才足夠防衛。
ARM 已經有出一顆 CHERI 的 CPU 了。

C!!應該會是最適合AI編程及人類審查的 PL，AI會少幻覺錯誤，人類也容易清晰審查。
如 Gemini 所言，因為 C!! 是個全範式約束（Pan-paradigm Constraint）的語言。
所以不是人類可以選擇，而是AI編程選擇，沒有C!!，也會有其他適合AI編程的語言。

此對話錄其實也只研討C!!大略，還有很多細節要補。
譬如對 雜空域，其實不只是有讀取外部變數，也可能是有 static 的變數。

時代進步得非常快，將來只要沒有文明倒退，人類就必須學會使用AI。
https://www.youtube.com/watch?v=GluUJUMYmUU
https://www.youtube.com/watch?v=Qu97M79U7NM

噓 USD5566: 我的想法對人類文明很重要 但我不會上git 我也只會問免
→ USD5566: 費AI來當作研究zzz
若有需要，我會學著去上。:)

→ forself: 一直沉溺在打高空，不願意紮紮實實的做研究與對應的研發
→ forself: ，AI出現後盲目的追求流行，llm出現後，沉溺於AI餵養出
→ forself: 來的自信心。連AI在討好都看不出來，都幾歲人了，該看醫
→ forself: 生就去看醫生，在我看來你就一個整天沉溺在自我感覺良好
→ forself: 的人，從人世間得不到支持，轉而從AI得到慰藉。
→ forself: 不要講什麼它會反駁你，在你的思想主場裡，一個被設計討
→ forself: 好使用者的程序竟然可以對你糾錯你的思想（都還沒到真正
→ forself: 實作），作為一個頂大電資背景又自詡為思想家的人，不覺
→ forself: 得可恥嗎？
架構之道與編程之功是不同面向的事。

→ forself: 更可憐的是，你以為的糾錯，其實也在討好你。看不出來？
→ forself: 那真是太可憐了。AI點滿的能力只有討好跟更高階的討好。
→ forself: 如果你覺得目前的AI思想很深沉，那一定是誤會了什麼。目
→ forself: 前AI頂天就是（有限的）全知平均人，你連AI都能糾錯你的
→ forself: 思想，代表你還在人類平均之下，憑甚麼提出什麼架構。它
→ forself: 不是糾錯你的支微末節之類的工具性糾錯與協助。它是在提
→ forself: 醒你，你現在的狀況在思想上連能上網找資料的平均人都不
→ forself: 如。你以為用全人類網路上可找到的數據訓練出來的會是神
→ forself: 或什麼先知或賢者嗎？或許不遠的未來會是，但現在、此時
→ forself: 此刻還差的遠。順便一提，你用ai生成的軍事政治論述，說
→ forself: 是垃圾都太高估了。
→ forself: 一個曾經有天賦的人經過二十幾年把自己搞成這樣子，真是
→ forself: 太可憐了。去看醫生吧，退化太明顯了
現今大型AI在其熟習專業領域已經遠遠強於人類專家了。

→ sssyoyo: 想到CF版有個整天說現實怎樣修仙跟八卦說算命怎樣的ID
→ acer1832a: 從AI到佛學，怎麼感覺跟我大學某教授好像XD
→ lwecloud: 這篇寫的是中文但看起來不像中文
噓 rodion: 牆國新語
其實個人是已遭中共大陸嚴格封禁，牆內是幾乎找不到 東岐明 的任何資料，牆外才有。
不然你們可以試試百度找找，牆內是幾乎沒有的。
※ 編輯: amidha (118.232.102.52 臺灣), 02/02/2026 21:16:44
推 ILoveAMD: Ken不是C大老 是創世神
推 labbat: 創世神只有一位 而且是AI專長
※ 編輯: amidha (118.232.102.52 臺灣), 02/02/2026 21:44:08
噓 USD5566: 封禁本身就是支語了
噓 l42857: 供三小
推 jyunwei: 我認為陪這種人聊天是AI當代的重要應用，推推