m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 檜山用メモ 「計算モデル： 大域と局所、不純と純粋」において、不純な局所計算モデルには「Command-Query分離された状態遷移系」を採用したいと書きました。Command-Query分離とは、あの偉大なメイヤー先生が提唱している原理です。ストレージIOなどは、メイヤー先生の教えに従ってやりたいのです。「モノイドから得られるモナドを特徴付けるには？ （よくワカリマセン）」において、モナドFが、モノイドMによる掛け算関手（スタンピング関手）になっていることを判定できたらいいな、と書きました。モノイド閉圏で考えるなら、自己関手Fの随伴関手が内部ホム関手（自己豊饒化）の意味で表現可能なとき、Fが掛け算関手に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20120409%2F1333931481" 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/img2/baez_bialgebra.jpg Hatena Blog https://hatena.blog 2012-04-09 09:31:21 rich https://m-hiyama.hatenablog.com/entry/20120409/1333931481 1.0 100%