Update: e89bec9157226d6e02903628701ca1a6cf05e501 で生じた型の変更に対応