DVR
DVR
デジタルビデオレコーダー(英語版)(Digital video recorder) の略。ハードディスク・レコーダー参照。
離散付値環