http://maths4pg.connpass.com/event/11781/ - 第2回 プログラマのための数学勉強会 -- http://maths4pg.connpass.com/event/11781/ - 位相 -- http://proofcafe.org/k27c8/math/math/topological_space/index.html