トラックバック元の確認をしましたら、西尾泰和さんのAlloy日記3: 結婚と離婚をモデリング： Alloyは「関係」が言語の基本的な構成要素なので、やっぱり身近な関係として「人間関係」を使うとわかりやすいですね。というわけで檜山さんのAlloyで人生モデリン…