m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ msched WCC あたらめて、msched -- meeting scheduler ね。ラベルLを固定する。ボトム⊥を入れて、Lはミート半束の構造を持つ。アフィン時間Tの区間の全体も共通部分でミート半束。これらの直積をとり、ボトムの部分をつぶす（つぶし方は複数ある）とまたミート半束。こうやって作ったイベントの半束(Ev, ∧, Θ) が舞台。物理で言えば配位空間。∧から導かれる順序は⊆で表す。もう少しイベント間に定義できる基本関係： a∧b が空である ⇔ aとbは分離している、離れている a∧b が点イベント ⇔ aとbは隣接している、接触している a∧b が空か点 ⇔ aとbは無衝突である。 2つのイベン… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20081213%2F1229138718" title="イベントのR構造と状態空間 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-12-13 12:25:18 rich https://m-hiyama-memo.hatenablog.jp/entry/20081213/1229138718 1.0 100%