cut_elimination https://blog.hatena.ne.jp/cut_elimination/ 曇りなき眼で見定めブログ https://cut-elimination.hatenablog.com/ 代数的論理学 数学 当ブログは論理学とアニメを両輪とするはずが、気付けばアニメばかりになっている！ アイデンティティの危機である。何故アニメばかりになったのかというと書きやすいからである。論理学記事は数式を打つのが面倒臭い。また私の専門(?)分野である証明論は証明図というのを書かねばならず、これがはてなブログだと難しい。 そんで考えたのだが、最近は証明論に加えて代数的な意味論というのを勉強していて、これならちょっとずつでも書けそうな感じ。なのでこれをテーマにいろいろ書きたい所存。 日本のネット上には論理学や数学基礎論の専門家はそこそこいるが、私のような非古典論理・部分構造論理の証明論・代数的意味論をやっている人間… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcut-elimination.hatenablog.com%2Fentry%2F2024%2F01%2F29%2F235006" title="順序集合 - 曇りなき眼で見定めブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41dpMM2N9aL._SL500_.jpg Hatena Blog https://hatena.blog 2024-01-29 23:50:06 rich https://cut-elimination.hatenablog.com/entry/2024/01/29/235006 1.0 100%