Last updated 5 months ago
SuperNovaはNovaをNon-uniform IVCに拡張したものです。同一でないステップ関数F1, F2, ..., Fnの計算を証明できます。