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

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

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

参照用 記事

2011-09-08から1日間の記事一覧

高階の構造が簡単になってしまう現象

「緩関手、反緩関手、強関手、厳密関手とか、おぼえられねー」で、モノイド圏とモノイド関手の定義を述べたりしました。その動機は、ジョイアルとストリート(Joyal, Street)による(僕には)不思議な感じの定義と定理を理解したいと思ったからです。通常、…

Firefox + Adobe ってサイテー

Firefoxを更新したら、Adobe Flash playerも更新したほうがいいよ、という指示があったので言うことをきいてFlash playerのインストールを開始。すると、インストーラーが「Firefoxを終了しろ」と言う。しょうがないから終了。Flash playerのインストーラー…