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

ご連絡は上記 X アカウントに DM にてお願いします。

[参照用 記事]

2012-04-11から1日間の記事一覧

メイヤー代数、メイヤー指標、メイヤーオートマトン

「メイヤー先生からモナド類似構造へ」で、「モナド類似物」という歯切れの悪い言葉を使っていたので、もっとスッキリした呼び名を与えて、ストレージIOの文脈における「モナド類似物」の解釈を与えようと思います。内容: 言葉使い メイヤー指標 メイヤーオ…