generated at
永続データ構造