Featured image of post 型理論與 Curry-Howard 同構:命題=型別、證明=程式的深遠和諧

型理論與 Curry-Howard 同構:命題=型別、證明=程式的深遠和諧

邏輯學證明與電腦程式的完美一致。從直覺主義邏輯、簡單型別 Lambda 運算,到 System F、依賴型別,再到同倫型別理論 (HoTT) 開拓無 Bug 世界的完整解析。

Featured image of post 新海誠的動畫美學與空間・光影的表現技法:光彩的過剩、場所的記憶、以及「未達之距離」的詩學

新海誠的動畫美學與空間・光影的表現技法:光彩的過剩、場所的記憶、以及「未達之距離」的詩學

從《星之聲》的個人製作到《你的名字》《鈴芽之旅》。相片寫實主義的重新詮釋、鏡頭特效與環境光的色彩設計、世界系與震災的敘事學。

Featured image of post 數理生物學與圖靈斑圖:天才晚年留下的自組織與形態發生的數理

數理生物學與圖靈斑圖:天才晚年留下的自組織與形態發生的數理

艾倫·圖靈晚年的最高傑作。從反應擴散方程式中浮現的動物斑紋與幾何圖案的驚異機制、從線性穩定性分析到Python數值模擬,乃至最新的分子生物學,完整涵蓋。