m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ トレース／コンパクト閉圏 プログラム意味論 リンク 新→旧 の順 計算科学における半加法圏の位置付け テンソル半加法圏とプログラム意味論 個体と世界の関係：圏から論理半環を絞り出す クリーネ代数の「テスト」を圏論的に定義できるだろうか？ クリーニ代数と圏論 トレースを使ってクリーネスター（またはクリーネプラス）を計算する方法の概略 テスト付きクリーネ代数の圏論的な定式化 テスト付きクリーネ代数とその使い方 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20161227%2F1482829243" 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 2016-12-27 18:00:43 rich https://m-hiyama-memo.hatenablog.jp/entry/20161227/1482829243 1.0 100%