m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「絵算のテキスト化を完全にやってみた（超・疲れた）」において、絵算の計算過程を、行列レイアウトの等式的推論としてテキストに写し取ってみました。これは、値を変えずに項を変形していく過程で、通常の等式変形（等式論理系における証明）そのものです。ところで圏論では、可換図式が多用されます。可換図式が、圏論で一番ポピュラーな記述・計算デバイスなのです。この記事では、絵算やそのテキスト表現を可換図式にしてみます。また、この機会に可換図式に関する説明もします。内容： 結合律の可換図式 この可換図式はどうやって作ったか 可換図式とは何なのか 可換図式と他の表現方法 おわりに 結合律の可換図式以下の記事達で、強… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180507%2F1525652971" 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://chart.apis.google.com/chart?cht=tx&chl=%5Cotimes Hatena Blog https://hatena.blog 2018-05-07 09:29:31 rich https://m-hiyama.hatenablog.com/entry/20180507/1525652971 1.0 100%