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 からコピ…