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

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

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

参照用 記事

2013-02-22から1日間の記事一覧

関手データモデル入門 3:とても便利なスピヴァック流パス記法

「関手データモデル入門 2.1:名称変更のお知らせ(それだけ)」(入門 2.1)でお知らせしたように、「関手的」の「的」を取って「関手データモデル」とします。「関手的データモデル入門 2:統一的に制約を書く方法」(入門 2)にて: それにしても、「入門…