複素多様体上での岡理論はどうなの?