Java-ja温泉にてid:warufuzaketaichiに教えてもらったAlloyについて、勉強過程のログを記録しておく。教科書は買ったけどまだ届いていない。Alloyでググっていたら圏の勉強の時にだいぶ参考にさせていただいた檜山さんのブログで言及されているのを発見した…