展开 德雷克函数性质