comemo:通过约束性记忆化实现增量计算

Incremental computation through constrained memoization.