generated at
再帰定義
再帰的定義
recursive definition
再帰 + 定義