Functional Thursday 將分享一個有趣又易懂的主題：Heighway Dragon Curve: 從摺紙到摺函數！

連結

• https://www.facebook.com/share/p/1GArtKq5oz/

共筆上的原文

8/14 晚上 Functional Thursday 將分享一個有趣又易懂的主題：Heighway Dragon Curve: 從摺紙到摺函數！
- 透過反覆折疊一條紙帶，紙帶上的摺痕會產生越來越複雜的圖樣，而當這樣的步驟無限重複時，便會形成被稱為「龍形曲線」（Heighway dragon curve）的美麗碎形曲線。我們將介紹龍形曲線由紙帶折疊所衍生出的兩種構造方式，以及如何運用函數式程式設計形式化並推廣龍形曲線。最終，我們將揭示這兩種構造方式如何能被更高階的 fold 函數加以描述，並透過 foldr 與 foldl 之間的對偶性建立兩種構造方式的等價證明。
- ▶︎ 分享者：張庭梧，前電機系學生，喜歡用程式製作一些奇妙的圖像或動畫。
- ▶︎ 地點：g0v 台北社群空間，台北市中正區重慶南路三段2號2樓202室
- ▶︎ 活動 FB 頁面：https://www.facebook.com/share/p/1GArtKq5oz/