Heighway Dragon Curve: 從摺紙到摺函數!| Funth#108
Schedule
Thu Aug 14 2025 at 07:30 pm to 10:00 pm
UTC+08:00Location
台北市中正區重慶南路三段2號2樓202室 | Taipei, TP
Advertisement
▶︎主題:Heighway Dragon Curve: 從摺紙到摺函數!透過反覆折疊一條紙帶,紙帶上的摺痕會產生越來越複雜的圖樣,而當這樣的步驟無限重複時,便會形成被稱為「龍形曲線」(Heighway dragon curve)的美麗碎形曲線。我們將介紹龍形曲線由紙帶折疊所衍生出的兩種構造方式,以及如何運用函數式程式設計形式化並推廣龍形曲線。最終,我們將揭示這兩種構造方式如何能被更高階的 fold 函數加以描述,並透過 foldr 與 foldl 之間的對偶性建立兩種構造方式的等價證明。
▶︎分享者:張庭梧
前電機系學生,喜歡用程式製作一些奇妙的圖像或動畫。
------------------------------------
地點:g0v 台北社群空間
地址: 台北市中正區重慶南路三段2號2樓202室
https://maps.app.goo.gl/38w8sEgCXoYG4WdXA
------------------------------------
歡迎加入 Functional Thursday 臉書社團 https://www.facebook.com/groups/functioanl.thursday
Advertisement
Where is it happening?
台北市中正區重慶南路三段2號2樓202室, 台灣100056台北市中正區重慶南路三段2號,Taipei, TaiwanEvent Location & Nearby Stays: