順序制約演算を細分化(厳密化)したら、いろいろ直さなくてはならないことがでてきた特に、有限性(image finite)を示すところが、ボロボロです。なんか頭いたい。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。