m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 論理、型理論、圏論において、用語・記法のコンフリクト〈競合 | かち合い〉がひどすぎてホトホト困っている、という話は過去に何度もしています。以下の過去記事に、事情や愚痴を書いています。 矢印記号の使用法と読み方 2024 記号のグリフと使用場面・使用意図： 型理論、圏論、集合論、論理など 特に気になるのが次のコンフリクトです。$`\newcommand{\hyp}{\text{－} } \newcommand{\twoto}{\Rightarrow} \newcommand{\BR}[1]{ \big[\!\big[ {#1} \big]\!\big] } % BRacket \newcomm… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2026%2F06%2F22%2F184524" 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 2026-06-22 18:45:24 rich https://m-hiyama.hatenablog.com/entry/2026/06/22/184524 1.0 100%