Kontsevich予想というのはミラーシンメトリーのこと?