m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 インスティチューション セオリー論 http://d.hatena.ne.jp/m-hiyama/20060119/1137641539の「モゴモゴな話」に書いた件でメモ：少し分かってきた（かな？）。まず、関連するエントリーは： http://d.hatena.ne.jp/m-hiyama/20050716/1121499351 http://d.hatena.ne.jp/m-hiyama/20050719/1121756022 http://d.hatena.ne.jp/m-hiyama/20050720/1121825875 ↑ではKleisli構成を使っているが、もう一捻りして、Circ構成と組み合わせる。Sign上のTe… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20060120%2F1137724144" 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 2006-01-20 11:29:04 rich https://m-hiyama-memo.hatenablog.jp/entry/20060120/1137724144 1.0 100%