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

※ 發信站: 批踢踢實業坊(ptt.cc)
※ 轉錄者: amidha (118.232.102.52 臺灣), 01/31/2026 13:07:34
→ labbat: 撿易語言
→ qwe78971: 完全了解c 聽聽就好 背定義誰都會 更別
→ qwe78971: 說電腦了 只是存在數據拉出來而已 真得
→ qwe78971: 上 兩回事
推 TwinkyLee: 學不完，根本學不完
推 alvinlin: 原來樓上都看得懂，我怎麼看不太懂。
推 Killercat: 不知道是不是我理解不夠 但這看起來就
→ Killercat: 只是個「換句話說」的C++而已 o_oa
→ dlhk3: 不知道在說些什麼，反正軟體到最後，都是a
→ dlhk3: i幫你生成，根本不用去學
噓 refusekkk: 他說他理解你就信喔?信他不如我擲筊
→ refusekkk: 整個對話都只有小片段程式碼 這樣你信?
→ refusekkk: 有本事規格開給他完整寫出來執行debug
→ refusekkk: 能跑的系統再說啦 AI打嘴砲很容易
噓 refusekkk: 你問高中生三角函數 他說他懂 但考50
→ refusekkk: 這樣你接受嗎? 空談很容易
問題是這樣的！如果連範式檢驗都不能通過研討，怎麼可以去完整寫出來能跑的系統呢？
※ 編輯: amidha (118.232.102.52 臺灣), 02/01/2026 13:08:23
推 wsad50232: 從垃圾衍生出垃圾
噓 refusekkk: https://i.meee.com.tw/P04tca1.png
→ refusekkk: 我現在就跟你講 Gemini Pro有多大幻覺
→ refusekkk: ，他跟我說他看過這本書，我就跟他討論
→ refusekkk: 劇情，漏洞百出!關鍵劇情通通講錯!
→ refusekkk: 這樣你還覺得你跟他的討論，是有意義的
→ refusekkk: 嗎? 一個明顯完整文本輸入的一整本小說
→ refusekkk: ，他都能說出毫無根據的劇情，你要說服
→ refusekkk: 大家說他論證無誤就能代表他懂、就能代
→ refusekkk: 表他能正確寫出code? 別搞笑了
→ refusekkk: 更可笑的是我如果不輸入作者名，他回答
→ refusekkk: 的更是荒謬到不行，直接亂套一本小說以
→ refusekkk: 為那本就是黑水奇譚，你就繼續覺得他很
→ refusekkk: 聰明相信他的理解吧