2012-04-25から1日間の記事一覧
nishioさんのAlloyネタを追っかけてナンプレ(数独)をAlloyで写経してみた。 sig Col extends Index とか one sig One,Two,Three,Four,Five,Six,Seven,Eight,Nine あたりがダサさが極まっていてたまらない。 abstract sig Index {} sig Col extends Index { c…
nishioさんのAlloyネタを追っかけてナンプレ(数独)をAlloyで写経してみた。 sig Col extends Index とか one sig One,Two,Three,Four,Five,Six,Seven,Eight,Nine あたりがダサさが極まっていてたまらない。 abstract sig Index {} sig Col extends Index { c…