その0：予定と前提 （この記事） その1：時間を含まない関係 その2：時間軸を設定する Alloyで僕が最初に書いてみたのはモノイドの定義です。 『抽象によるソフトウェア設計』とAlloy、第一印象報告 群、環、体のようなお決まりの代数構造も、定義を直訳すれ…