岡多様体の理論の中で発展中