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

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

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

参照用 記事

2010-10-26から1日間の記事一覧

指名手配

今でも、オウム真理教・菊地直子の指名手配ポスターが地下鉄に貼ってあったりします。次男に事情を説明したわけです。最近、道路脇に自民党・小池百合子議員の講演会のポスターが貼ってあったのですが:次男:「あの人も指名手配なの?」違うと説明したら、…

トレース付きモノイド圏の新しい定義

「トレース付き対称モノイド圏とはこんなモノ」で、長谷川真人さんの "Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi (1997)" http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.31 からコピ…