プチコンでの動画再生進捗 エンコーダの改良により、エンコード時間と引き換えに高画質を得られるようになった 公開キーはプロフ