そういえば、僕は参加しないけど「帰ってきたCoqで圏論の会」 http://atnd.org/events/26669 はどうなってるかなぁ。 みんな今回は何を証明するんだろう。 #concat