2011-03-16から1日間の記事一覧
「デカルト作用圏が面白い」という記事で、Cartesian effect categories are Freyd-categories (PDF, 23pages) という論文を紹介しました。3人の著者Dumas, Duval, ReynaudをDDRと略したりしたのですが、どんな発音か気になる。外国の人名や訳語がない技術用…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
「デカルト作用圏が面白い」という記事で、Cartesian effect categories are Freyd-categories (PDF, 23pages) という論文を紹介しました。3人の著者Dumas, Duval, ReynaudをDDRと略したりしたのですが、どんな発音か気になる。外国の人名や訳語がない技術用…