HKDの復元