Mercurial > hg > Members > Moririn
comparison Todo.txt @ 578:7bacba816277
use list base simple stack
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 02 Nov 2019 16:37:27 +0900 |
parents | 73fc32092b64 |
children | 6a805c8c1e53 |
comparison
equal
deleted
inserted
replaced
577:ac2293378d7a | 578:7bacba816277 |
---|---|
1 <<<<<<< working copy | |
2 Thu May 17 15:26:56 JST 2018 | |
3 | |
4 findNode -> replaceNode -> getRedBlackTree だが | |
5 | |
6 findNode -> P0 -> replaceNode -> P1 -> getRedBlackTree | |
7 | |
8 という形で証明しても良い。一挙に証明するのは,可能だろうけど、良くないはず。 | |
9 | |
10 ||||||| base | |
11 ======= | |
1 | 12 |
2 | 13 |
14 >>>>>>> destination | |
3 Sun May 6 17:54:50 JST 2018 | 15 Sun May 6 17:54:50 JST 2018 |
4 | 16 |
5 do1 a $ \b -> do2 b next を、do1 と do2 に分離することはできる? | 17 do1 a $ \b -> do2 b next を、do1 と do2 に分離することはできる? |
6 | 18 |
7 | 19 |