math

chewei 哲瑋 15:25:00

@chewei has joined the channel

chewei 哲瑋 15:25:20

8/14 晚上的講座，摺紙與函數
https://www.facebook.com/share/p/1GArtKq5oz/

chewei 哲瑋 15:25:20

[轉貼分享] 8/14 晚上 八月 Functional Thursday 將分享一個有趣又易懂的主題：*Heighway Dragon Curve: 從摺紙到摺函數！*

透過反覆折疊一條紙帶，紙帶上的摺痕會產生越來越複雜的圖樣，而當這樣的步驟無限重複時，便會形成被稱為「龍形曲線」（Heighway dragon curve）的美麗碎形曲線。我們將介紹龍形曲線由紙帶折疊所衍生出的兩種構造方式，以及如何運用函數式程式設計形式化並推廣龍形曲線。最終，我們將揭示這兩種構造方式如何能被更高階的 fold 函數加以描述，並透過 foldr 與 foldl 之間的對偶性建立兩種構造方式的等價證明。

▶︎分享者：張庭梧
前電機系學生，喜歡用程式製作一些奇妙的圖像或動畫。

------------------------------------
地點：g0v 台北社群空間
地址: 台北市中正區重慶南路三段2號2樓202室
https://www.facebook.com/share/p/1GArtKq5oz/

johnson 00:07:44

@chnejohnson has left the channel

chewei 哲瑋 22:13:35