揺動散逸日記唐突にcoqで圏論の会に参加表明して行ってきました。 Thanks to mr_konnさん。 (@mr_konn) Coqで圏論の会、面白そうだけど圏論もCoqも知らない(@gusmachine) @mr_konn なにそれ面白そう。(@mr_konn) @gusmachine http://bit.ly/lAH5bp これです！明日みたいですね。 ＜余談＞...ツイートリストを修飾するタグが欲しいなぁ。＜／余談＞ 実は半年あたり前にちょろっとだけCoqを勉強していたので、そのちょうどいい復習として行ってきました。圏論の知識はあまりありませんでしたがなんとかなった、はずです。 皆で使用していた圏論のライブラリ ConCaT が曲者で、なかなかみんな苦労していました。皆おおよそCategory.vやそこから引用されているMap2.v, Setoid.v などを眺め、書き換えたり写経したりし
