「自然数の区間をAlloyで書いてみる」より： ある目的から、自然数の区間 {0, 1, 2, ..., n} の性質の一部を抽象した構造が欲しくなりました。 「ある目的」とは、エイトクイーン問題を解くことです。 Wikipedia: エイト・クイーン エイトクイーンは、「ある…