結果 : recursive definition mathematica