2009-12-16 semi-infinite derivator math Dirac sea, Sato Grassmannian, Wakimoto module, Floer homology などを理解するための概念.どう定義したらよいか?