Shin-Cheng Mu

luma.com/…

• Forwarded from #functional-thursday
• 2026-09-04 02:38:30

Shin-Cheng Mu

luma.com/…

• Forwarded from #functional-thursday
• 2026-09-04 02:38:30

呂康豪

OpenAI 官宣已形式化證明 Millennium Prize 裡的 Navier–Stokes 問題：

openai.com/index/navier-stokes-solution

• Forwarded from #ai-learning
• 2026-09-09 05:09:43

呂康豪

OpenAI 官宣已形式化證明 Millennium Prize 裡的 Navier–Stokes 問題：

openai.com/index/navier-stokes-solution

• Forwarded from #ai-learning
• 2026-09-09 05:09:43

chewei 哲瑋 _

轉貼活動資訊：10/08 週四晚上 ▶︎ 主題：Dragon Curve 背後的共同遞迴結構
• ▶︎ 分享者：李金樺，今年剛升台大資訊系大二，平常喜歡有趣數學問題、寫寫程式，所以想事情的方式可能有一點「數學腦」XD
• ▶︎ 講題內容：大一期間，我意外接觸到 Dragon Curve，並發現這條曲線背後藏著許多漂亮的遞迴結構。後來，我又進一步認識了 Short Folded Representation 與 Gray Code 兩種不同的數學描述，卻發現它們都能產生相同的 Dragon Sequence。這次分享將介紹我如何利用 Haskell 與數學證明探索它們之間的關係，並找出三者共同的遞迴函數。
• 活動地點：10/08 週四晚上 7:15
• 活動時間：台北市中正區重慶南路三段2號2樓202室

• Forwarded from #functional-thursday
• 2026-09-24 00:55:16

chewei 哲瑋 _

轉貼活動資訊：10/08 週四晚上 ▶︎ 主題：Dragon Curve 背後的共同遞迴結構
• ▶︎ 分享者：李金樺，今年剛升台大資訊系大二，平常喜歡有趣數學問題、寫寫程式，所以想事情的方式可能有一點「數學腦」XD
• ▶︎ 講題內容：大一期間，我意外接觸到 Dragon Curve，並發現這條曲線背後藏著許多漂亮的遞迴結構。後來，我又進一步認識了 Short Folded Representation 與 Gray Code 兩種不同的數學描述，卻發現它們都能產生相同的 Dragon Sequence。這次分享將介紹我如何利用 Haskell 與數學證明探索它們之間的關係，並找出三者共同的遞迴函數。
• 活動地點：10/08 週四晚上 7:15
• 活動時間：台北市中正區重慶南路三段2號2樓202室

• Forwarded from #functional-thursday
• 2026-09-24 00:55:16

facebook.com

Wen-Chin Wu

// 工商服務：中研院統計所「#台灣因果推論研討會」（Taiwan Causal Inference Symposium）// 中央研究院統計科學研究所訂於2026年12月15日至16日（星期二至星期三）假本院人文社會科學館國際會議廳舉辦「Taiwan Causal Inference Symposium」，邀請國內外專家學者發表演講。本次研討會特別邀請三位國際知名學者擔任 Keynote...