OIST林道问博士后-H-型群上半线性次椭圆方程解分类的进展