哪位科技数学逻辑大神推算下。