輾轉相除法、codata 與枚舉有理數

​▶︎主題：輾轉相除法、codata 與枚舉有理數

​眾所周知，有理數是可數的，亦即所有有理數可以和自然數一一對應。通常說明這件事都是用康托爾的枚舉法，但是會有許多重複的數字，並不令人滿意。這次分享將展示如何從輾轉相除法推導出著名的 Stern–Brocot 樹和 Calkin–Wilf 樹，並利用 codata 上的推理，從 Stern–Brocot 樹推導出一個可以不重複枚舉有理數的簡單式子。

​▶︎分享者：黃建碩
台大資訊系四年級，接觸 functional programming 剛滿一年。

​活動免費，隨喜樂捐給場地g0v
直接推門進來就可以。

​歡迎來交流、交朋友！