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

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

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

参照用 記事

2013-03-29から1日間の記事一覧

一般関手モデル:「圏の表示」の圏

プレーンな関手データモデルでは、スキーマ全体からなる圏Schは圏の圏Catの部分圏とみなせる圏です。Sch = Cat と考えてもいいでしょう。S∈|Sch| に対して、関手圏 [S, Set] がスキーマSのインスタンスの圏となります。Schの選び方を変えたり、集合圏Setを別…

目玉が動くところ

長男:「おとうさん、自分の目玉が動くところ見たことある?」父親:「ないなー、って、それ無理だろう」長男:「ずっと前にさー、目の端っこが充血していて、鏡で見たのね」父親:「で、目玉を動かしてみた、と」長男:「そう。充血してるところをよく見よ…