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

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

参照用 記事

2011-03-16から1日間の記事一覧

Dumas, Duval, Reynaud はこう発音する(らしい)

「デカルト作用圏が面白い」という記事で、Cartesian effect categories are Freyd-categories (PDF, 23pages) という論文を紹介しました。3人の著者Dumas, Duval, ReynaudをDDRと略したりしたのですが、どんな発音か気になる。外国の人名や訳語がない技術用…