m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 参照用 構造、例えばモノイドを書き表すとき、どう書くか？ 省略や記号の乱用も含めたルールをどうするか？ 毎回悩みます。ある程度の方針を決めたいと思います。内容： 素材だけの指標 説明的な名前 インスタンスの書き方 追記 (翌日)： もっとバリエーション さらにモナドに関する追記 素材だけの指標「指標」と「仕様」を使い分けるか？ 使い分けるならどう使い分けるか？ という話題を「指標と仕様」で書きました。現時点では結論がなくて、ケースバイケースとしか言いようがないですね。でも今回は、構造の素材〈構成素 | constituent | ingredient〉だけを扱うので、指標に法則（公理）は書きません。モ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2019%2F11%2F07%2F131337" 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 2019-11-07 13:13:37 rich https://m-hiyama.hatenablog.com/entry/2019/11/07/131337 1.0 100%