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