これまでデスクトップを録画するのには、アマレココを使っていた。今回はふと別のソフトにしようと考えて、Google 先生で検索した時に上の方に出てきた AGDRec を使ってみた。AGD 形式の動画で保存できる。まぁ、普通の AVI でも保存できるので、拘る必要は…