In the middle of 1980s, Andreas Floer invented a new theory,
which is nowadays called Floer (co)homology.  I would like to describe a general story of Floer theory for Lagrangian submanifolds and explain some of its applications.