順序制約に関する正しい分解法則を整理して、横チェーンの見直しと縦チェーンの見直しをほぼ終了。ふと振り返って、それ以前の充足性の判定とか演算の導入とかみると、いまやったところと温度差がありすぎ、記法もバラバラ、n巡目を区別するといっていてもな…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。