トポロジカル不変量の計算と検証の方法