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%2F20160425%2F1461545966" 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> Hatena Blog https://hatena.blog 2016-04-25 09:59:26 rich https://m-hiyama.hatenablog.com/entry/20160425/1461545966 1.0 100%