論文よみ。Lowering: A Static Optimization Technique for Transparent Functional Reactivity

一応読み終える。