itto100pen https://blog.hatena.ne.jp/itto100pen/ らむだ畑でつかまえて (catcher in the λ) https://itto100pen.hatenadiary.org/ 第3回PFDS(Purely Functional Data Structures)読書会で exercise 3.9 のときに紹介された論文「Constructing Red-Black Trees」（この名前でググるとPDF版が見つかる。Postscript版はこちら）に載っている関数 bottom-up の計算量が O(n) であることを確認する。コードは data Color = R | B data RBTree a = E | N Color (RBTree a) a (RBTree a) data Digit a = One a (RBTree a) | Two a (RBTre… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fitto100pen.hatenadiary.org%2Fentry%2F20120120%2F1327064854" title="Purely Functional Data Structures exercise 3.9 （Red-Black Tree 赤黒木） - らむだ畑でつかまえて (catcher in the λ)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-01-20 22:07:34 rich https://itto100pen.hatenadiary.org/entry/20120120/1327064854 1.0 100%