構造、例えばモノイドを書き表すとき、どう書くか？ 省略や記号の乱用も含めたルールをどうするか？ 毎回悩みます。ある程度の方針を決めたいと思います。内容： 素材だけの指標 説明的な名前 インスタンスの書き方 追記 (翌日)： もっとバリエーション さら…