m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ モナド リンク メモ その他代数 形式言語理論 項集合代数（termset algebra）＝コゥゼン代数 古い順： Σコゥゼン σ-順序代数 - 檜山正幸のキマイラ飼育記 メモ編 コゥゼン代数再び - 檜山正幸のキマイラ飼育記 メモ編 コゥゼン代数もっと - 檜山正幸のキマイラ飼育記 メモ編 項と項集合 - 檜山正幸のキマイラ飼育記 メモ編 term, termset, termset term - 檜山正幸のキマイラ飼育記 メモ編 項と項集合、もっと - 檜山正幸のキマイラ飼育記 メモ編 準ツリーと有限豊富条件と項集合代数 - 檜山正幸のキマイラ飼育記 メモ編 項集合とモナド 古い順： 関手圏によるモデル圏構成、代入系の圏 - 檜山正幸… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20131029%2F1383017029" title="項集合とコゥゼン代数とモナド - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2013-10-29 12:23:49 rich https://m-hiyama-memo.hatenablog.jp/entry/20131029/1383017029 1.0 100%