{%hackmd @YuRen-tw/article-theme %}

# YuRen-tw 筆記列表

## :book: 文章

- [模算術](https://hackmd.io/@YuRen-tw/modular-arithmetic)
- :beginner:`新手友善` :computer:`程式語言` :heavy_division_sign:`數論`
- 同餘關係、模倒數
- [談 Void：以依值型態語言 Idris 為例](https://hackmd.io/@YuRen-tw/Void_in_Idris)
- :computer:`程式語言` 𝝺`函數程設`
- 依值型態、Curry--Howard 對應
- [啥物是 Lambda Calculus](https://hackmd.io/@YuRen-tw/lambda_calculus_taigi)
- ==:construction:`未完成`== :speech_balloon:`台語文` :beginner:`新手友善` 𝝺`函數程設`
- Lambda Calculus

## :memo: 筆記

- [莫比烏斯反演](https://hackmd.io/@YuRen-tw/Mobius-inversion)
- ==:construction:`未完成`== :abacus:`組合學`
- 關聯代數、Möbius 反演、排容原理、和差分
- [結合律演算法](https://hackmd.io/@YuRen-tw/associative-algorithm)
- ==:construction:`未完成`== :computer:`程式語言`
- 快速冪、部分和、二分區間樹
- [Horadam Sequences](https://hackmd.io/@YuRen-tw/Horadam-sequence)
- :speech_balloon:`英語文`
- 二階齊次線性遞迴關係、Fibonacci 數
- [形式冪級數](https://hackmd.io/@YuRen-tw/formal-power-series)
- ==:construction:`未完成`==
- 形式冪級數
- [Lambda encoding](https://hackmd.io/@YuRen-tw/lambda_encoding)
- :computer:`程式語言` 𝝺`函數程設`
- 不動點組合子、Church 編碼、Scott 編碼

:::spoiler :no_entry:`未公開`
- 行列式與路徑
- ==:construction:`未完成`== :abacus:`組合學`
- 行列式、Lindström--Gessel--Viennot 引理
- 等價關係
- ==:construction:`未完成`== :beginner:`新手友善` :computer:`程式語言`
- 等價類、互斥集合、分割、union--find 演算法
- [Chinese Remainder Theorem](https://hackmd.io/@YuRen-tw/Chinese-remainder-theorem)
- ==:construction:`未完成`== :speech_balloon:`英語文` :heavy_multiplication_x:`代數`
- 中國剩餘定理
- [Burnside's 引理](https://hackmd.io/KrYxf_UcRuyeRZphx04pWg)
- ==:construction:`未完成`== :abacus:`組合學`
- 群作用、軌道--穩定子群定理
:::

## 其他

- [theorem theme 說明文件](https://hackmd.io/@YuRen-tw/theorem-theme-doc)
- :gear:`HackMD主題`
- [article theme 說明文件](https://hackmd.io/@YuRen-tw/article-theme-doc)
- :gear:`HackMD主題`