斯皮维的递归关系的推广 | Synapse