Alloyは「関係」が言語の基本的な構成要素なので、やっぱり身近な関係として「人間関係」を使うとわかりやすいですね。というわけで檜山さんのAlloyで人生モデリング その2：時間軸を設定する - 檜山正幸のキマイラ飼育記の続編を勝手に作ってみました。orde…