alloyで状態の変化を表現する方法はいろいろありますが、なるべく単純なかたちでこれを実現してみたいと思います。 状態は、事前状態と事後状態のふたつだけ 事前状態と事後状態が同時に表示される中で、どのAtomが事前状態にあり、その事後状態を表すのがど…

去る6月28日、超高速開発コミュニティモデリング分科会「単独主キー主義」の是非を問う に参加してきました。開催ありがとうございました。この会は、渡辺幸三さんの最近のブログエントリ 「単独主キー専用環境」と賢くつきあうために http://watanabek.coco…