2011-01-03から1日間の記事一覧
http://twitter.com/#!/oto_oto_oto/status/21809570707931136 : subobject classifier で定式化される部分対象とMonoだったかSubで定式化される部分対象は同じものなんだろうか。 http://d.hatena.ne.jp/m-hiyama/20101230/1293682058 : クリスマスにトポ…
2010年12月30日に(http://twitter.com/#!/m_hiyama/status/20322641730600960): とりあえず今年の目標: 今年中に、作用圏とフレイド圏を使えるようになる。 と書いたが、それは達成できず。正月にやろう、っと。しかし、「クリスマスは終わってしまった…