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  に分離することはできる?