2012-01-05から1日間の記事一覧

続・形式仕様記述Alloyで時系列の仕様を試してみる

昨日、時系列の仕様を試してみました。 http://d.hatena.ne.jp/nowokay/20120104#1325696475 だけど、カート自体を時間ごとの状態とみなしたので、同一時間でのカート同士の関係を記述できなかったり、いろいろ不便。 なので、「時間」というシグネチャを導…