形式的手法のサーベイをおこなっていると、やはり不動点は避けて通れない。 前出のKripke構造のところであったが。まずは least fixedpoint: greatest fixedponit: というのが難問だなあ。どうしてになるものの下限(下のぎりぎり)が最小不動点になるかな?…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。