あいだが空きましたが、昨日は第1章の遺跡を Alloy で表現してみようとして少し書いていました。 今日も新たに読み進めるのではなくて Alloy で検証してみました。まず遺跡の制約と、長老、長老の兄、遺跡に「喰われた」人の証言から遺跡の構造を記述してみ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。