2013-04-01 E. Kmettさんに圏論学習の教材を聞いてみた - taketoncheir.log E. Kmettさんに圏論学習の教材を聞いてみた - taketoncheir.log2013-0...続きはこちら