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

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

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

参照用 記事

2018-01-10から1日間の記事一覧

米田埋め込み、米田拡張、そして米田モナド

どうやら、米田埋め込みを単位とするモナドがありそうです。ちゃんと構成するのはけっこう大変。このモナドを定義するためのアウトラインを示します。内容: 伝説としての米田モナド 前層構成子の上のモナド: 楽観的な導入 サイズの問題とフレイド/ストリ…