このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2019-11-07から1日間の記事一覧

構造とその素材の書き表し方

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