2011-09-08から1日間の記事一覧
「緩関手、反緩関手、強関手、厳密関手とか、おぼえられねー」で、モノイド圏とモノイド関手の定義を述べたりしました。その動機は、ジョイアルとストリート(Joyal, Street)による(僕には)不思議な感じの定義と定理を理解したいと思ったからです。通常、…
Firefoxを更新したら、Adobe Flash playerも更新したほうがいいよ、という指示があったので言うことをきいてFlash playerのインストールを開始。すると、インストーラーが「Firefoxを終了しろ」と言う。しょうがないから終了。Flash playerのインストーラー…