F4: functional thursday 社群活動

連結

• https://luma.com/1y48vz61
• https://www.facebook.com/groups/functioanl.thursday/

共筆上的原文

9/10 週四晚上 F4: functional thursday 社群活動
- ▶︎ 主題：輾轉相除法、codata 與枚舉有理數
    - 眾所周知，有理數是可數的，亦即所有有理數可以和自然數一一對應。通常說明這件事都是用康托爾的枚舉法，但是會有許多重複的數字，並不令人滿意。這次分享將展示如何從輾轉相除法推導出著名的 Stern–Brocot 樹和 Calkin–Wilf 樹，並利用 codata 上的推理，從 Stern–Brocot 樹推導出一個可以不重複枚舉有理數的簡單式子。
- ▶︎ 分享者：黃建碩
    - 台大資訊系四年級，接觸 functional programming 剛滿一年。
- ▶︎ 活動資訊
    - 活動時間：19:00-21:00
    - 活動地點：重慶南路三段2號2 樓 202 室
    - https://luma.com/1y48vz61
    - https://www.facebook.com/groups/functioanl.thursday/