2007-12-09 圏論勉強会 日記 圏論勉強会、無事に初参加を果たして参りました。 ドメインセオリーのところがちょっと厳しかったです。 順序とか位相のあたりを勉強しようと思いました。まる。 みなさん、ありがとうございました。 そしておつかれさま>自分