今週（2012-06-04からの週）は、圏TotPtRelの話をしてましたね。 月曜： 役に立ちそうだが奇妙な圏 火曜： 続報・役に立ちそうだが奇妙な圏： コレ、使えそう 木曜： 奇妙じゃなかった、これは役に立つ圏 月曜日は「変なものを見つけちゃったよ」という感じ…