2013-12-12から1日間の記事一覧
P25の「代数的な性質の検査」の4条件のうち、2と4はandじゃなくてimpliesになるのでは。 module Queue abstract sig Node { next : lone Node } abstract sig Queue { root : lone Node } fact noCycle { no n : Node | n in n.^next } fact noReflexive { n…
P25の「代数的な性質の検査」の4条件のうち、2と4はandじゃなくてimpliesになるのでは。 module Queue abstract sig Node { next : lone Node } abstract sig Queue { root : lone Node } fact noCycle { no n : Node | n in n.^next } fact noReflexive { n…