Mercurial > hg > Members > Moririn
diff 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 |
line wrap: on
line diff
--- a/Todo.txt Fri Nov 01 20:02:55 2019 +0900 +++ b/Todo.txt Sat Nov 02 16:37:27 2019 +0900 @@ -1,5 +1,17 @@ +<<<<<<< working copy +Thu May 17 15:26:56 JST 2018 + + findNode -> replaceNode -> getRedBlackTree だが + + findNode -> P0 -> replaceNode -> P1 -> getRedBlackTree + + という形で証明しても良い。一挙に証明するのは,可能だろうけど、良くないはず。 + +||||||| base +======= +>>>>>>> destination Sun May 6 17:54:50 JST 2018 do1 a $ \b -> do2 b next を、do1 と do2 に分離することはできる?