#functional-thursday
2026-09-04
luma.com
▶︎主題：輾轉相除法、codata 與枚舉有理數 眾所周知，有理數是可數的，亦即所有有理數可以和自然數一一對應。通常說明這件事都是用康托爾的枚舉法，但是會有許多重複的數字，並不令人滿意。這次分享將展示如何從輾轉相除法推導出著名的 Stern–Brocot 樹和 Calkin–Wilf 樹，並利用 codata…
- ❤️1
2026-09-10
就在明天（今天）唷～
就在明天（今天）唷～
開門囉 ~
開門囉 ~
1
歡迎自行取用零食 ~
chewei 哲瑋 _
9/9 場地與零食
- 1
歡迎自行取用零食 ~
9/9 場地與零食
樓下關了~
樓下關了~
2026-09-24
轉貼活動資訊：10/08 週四晚上 ▶︎ 主題：Dragon Curve 背後的共同遞迴結構
• ▶︎ 分享者：李金樺，今年剛升台大資訊系大二，平常喜歡有趣數學問題、寫寫程式，所以想事情的方式可能有一點「數學腦」XD
• ▶︎ 講題內容：大一期間，我意外接觸到 Dragon Curve，並發現這條曲線背後藏著許多漂亮的遞迴結構。後來，我又進一步認識了 Short Folded Representation 與 Gray Code 兩種不同的數學描述，卻發現它們都能產生相同的 Dragon Sequence。這次分享將介紹我如何利用 Haskell 與數學證明探索它們之間的關係，並找出三者共同的遞迴函數。
• 活動地點：10/08 週四晚上 7:15
• 活動時間：台北市中正區重慶南路三段2號2樓202室
• ▶︎ 分享者：李金樺，今年剛升台大資訊系大二，平常喜歡有趣數學問題、寫寫程式，所以想事情的方式可能有一點「數學腦」XD
• ▶︎ 講題內容：大一期間，我意外接觸到 Dragon Curve，並發現這條曲線背後藏著許多漂亮的遞迴結構。後來，我又進一步認識了 Short Folded Representation 與 Gray Code 兩種不同的數學描述，卻發現它們都能產生相同的 Dragon Sequence。這次分享將介紹我如何利用 Haskell 與數學證明探索它們之間的關係，並找出三者共同的遞迴函數。
• 活動地點：10/08 週四晚上 7:15
• 活動時間：台北市中正區重慶南路三段2號2樓202室