再帰型
例