結果 : an algorithm for solving second order linear homogeneous differential equations