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

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

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

参照用 記事

2019-09-26から1日間の記事一覧

ヤコビ微分圏: 下部構造としての芯付きラムダ圏

昨日の記事「快適な微分計算のための圏と微分公式」の最後の節でヤコビ微分圏に触れました。ヤコビ微分圏は、2年以上前(2017年春)に考えたけど、チョット書いただけでソレッキリでした。 ヤコビ微分圏: はじまり 2017年の記事の続き(ヤコビ微分圏 第2回…