m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「線形代数の二重圏 Double Linear Algebra」にて： 二重圏で（その他の高次圏でも）ウンザリすることは、図（ペースティング図またはストリング図）で表現されていることをテキスト記号列に翻訳することです。記法の約束を決めたり、約束によるエンコーディング／シリアライズでほんとに消耗します。出来るだけテキストを使わないことにすれば無駄に疲弊することは避けられます。しかし、描画のツール・環境が整っているわけでもないので、テキストを完全に避けることもできないというジレンマ。あー、しんどい。 これは深刻な問題で、ほんとにしんどい、辛い！二重圏のコンパニオンを、“「線形代数の二重圏 Doub… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2025%2F02%2F22%2F131645" 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> https://www.chimaira.org/img-sem/graphical-signature-2.png Hatena Blog https://hatena.blog 2025-02-22 13:16:45 rich https://m-hiyama.hatenablog.com/entry/2025/02/22/131645 1.0 100%