We will start from the motivation of the tropical geometry. Then
we will explain how to use Lagrangian Floer theory to establish the
correspondence between the weighted counting of tropical curves to the
counting of holomorphic discs in K3 surfaces. In particular, the result
provides the existence of new holomorphic discs which do not come easily
from direct gluing argument.