前回の続きです。正確には、前回の続きの後の檜山さんのブログ記事に対する更なる「合いの手」です。 Alloyで直和を考える - たけをの日記＠天竺から帰ってきたよ 個体と世界の関係：圏から論理半環を絞り出す - 檜山正幸のキマイラ飼育記 一連の記事を読ん…