m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 比較的最近、「絵算のススメ 2015 年末版」という記事を書きました。なぜ絵算をおススメするのかというと、計算や証明がとても簡単になる（ことがある）からです。テキスト記法だとけっこう面倒な計算が、絵算では自明になってしまう例を紹介します。内容： こんな例題 何を説明するのか 描き方・書き方の約束 関手を折り曲げる 同じだから同じ どうしてテキストだと計算や証明が必要になるのか レイアウト変更と引き伸ばし 絵算の問題点 こんな例題次のラルフ・ヒンズの論文から命題を2つ選んで、それを例題にします。 Title: Theoretical Pearl / Monads from Comonads, C… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20151217%2F1450338243" 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> http://www.chimaira.org/img3/hinz-proof-1-1.png Hatena Blog https://hatena.blog 2015-12-17 16:44:03 rich https://m-hiyama.hatenablog.com/entry/20151217/1450338243 1.0 100%