m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 うううう、今日も寒い。昨日、シーケント計算の話をしました。ここ最近、プログラムの解析にシーケント計算が使えるんじゃないかと思っているんですよ。シーケント計算の背景には、単なる圏よりはむしろ複圏／多圏（multicategory/polycateogry）があるので、年末年始に複圏／多圏について調べようとしたんですが、結局あんまりやれなかったですねぇ。とりあず、プログラム解析に使うという立場から、シーケント計算の基本概念とか用語とかを圏論絡みでまとめておきます。全然系統的じゃないですけど。内容： 複圏、多圏、高次圏 証明系と証明可能性 シーケント証明系と複圏／多圏／高次圏 複圏、多圏、高次圏雰囲… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20120113%2F1326446805" title="シーケント計算と圏論（続きみたいな） - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2012-01-13 18:26:45 rich https://m-hiyama.hatenablog.com/entry/20120113/1326446805 1.0 100%