generated at
再帰的定義