m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 うううう、寒い。寒いのダメ。それはともかく：シーケント計算について初めて知ったのは、竹内さん（a.k.a ガイシ）の論理の本だったと思います。が、最近は、論理とあまり関係ないところでもシーケント計算を使ってますね。「シーケント計算は論理で使うもの」という意識を捨ててしまうと、けっこう使い所はあるように思えます。特に、トレース付きモノイド圏やコンパクト閉圏における計算では、シーケント計算を使うとラクチンです。かけ算九九をおぼえた後、二桁以上の掛け算のために筆算を習いますよね。筆算のおかげで、大きな数の掛け算も遂行できるようになります。シーケント計算は、論理と圏論における筆算のようなもんだと考える… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20120112%2F1326362011" 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-12 18:53:31 rich https://m-hiyama.hatenablog.com/entry/20120112/1326362011 1.0 100%