m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ セミナー モナド 説明 具体例 リストモナド＝列モナドの代数は、a:A*→A だから、任意のnに対するn講演算を備えた集合。a:A+→A なら、0項演算（特別な定数）はない。Idモナド（自明モナド）の代数は任意の自己射になる。Rに対して、a:R*→Rに対して、a(空) = 7, その他は平均値の2倍とか定義してもいいから、代数がよく知られた法則性を持つわけではない。単なる演算で、そのアリティが関手で与えられるだけ。という事情だが、多くの場合、モナドに対して都合がいい代数、典型的な代数があるから、それを挙げておく。 モナド 典型的な代数 追加の法則 リスト（列） モノイド 結合、単位 非空リスト 半群 結合 有限ベキ 半束 結… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20090410%2F1239351597" title="モナドの代数 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2009-04-10 17:19:57 rich https://m-hiyama-memo.hatenablog.jp/entry/20090410/1239351597 1.0 100%