本講演では，Khovanov理論の解説及びその４次元多様体論への応用を紹介する．
とくに，ある種のCasson handleのエキゾチック性の証明が組み合わせ的に与えられ
ることを報告する．