up

TODO.md

@@ -1,4 +1,9 @@
-# lattice layout
+# concept exploration 作为最简单的应用
+
+给出一个假定的 attribute 之间的 implication，
+判断它是真的，或者找出反例。
+
+# 类似手算的 layout
 
 练习 order book 中计算 concept lattice 的算法。
 
@@ -11,6 +16,8 @@
   - `LatticeLayout`
   - `layoutLattice(context)`
 
+# 基于最长 chain 的 layout
+
 找出 lattice 中的所有最长 chain -- 为计算 rank 做准备
 
 为了找最长的 chain，可能需要考虑一般的（无圈）有向图中的算法。
@@ -20,13 +27,6 @@
 - 注意，我们要对所有点找到最长的 chain，
   最好能一起找，而不只是一个点一个点的找。
 
-# maybe
-
-[maybe] 实现 `Entity` 与 `Attribute` 在类型上的差别
-
-- 这样可以保证重要的类型安全，但是将大大降低效率
-- `Context` 需要用 `QuotientSet` 而不是 `Set`
-
 # editing context
 
 如何处理对 context 的修改？
@@ -38,7 +38,11 @@
   - 增加与删除 entity 或 attribute；
   - 修改某个 entity 和 attribute 的关系。
 
-# concept exploration
+# maybe
 
-给出一个假定的 attribute 之间的 implication，
-判断它是真的，或者找出反例。
+[maybe] 实现 `Entity` 与 `Attribute` 支持 JSON 的 primitive data
+
+[maybe] 实现 `Entity` 与 `Attribute` 在类型上的差别
+
+- 这样可以保证重要的类型安全，但是将大大降低效率
+- `Context` 需要用 `QuotientSet` 而不是 `Set`