PAP上の加算合成は、つまるところは で表せる対象に、という順序依存性を インポーズするということ。対象式を展開すると ・・ M1 ・・LM3 ・・ M1ここで、bとcの順序依存性を考慮して矛盾項を消去すると。 のみが残るという計算をしますということたったそ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。