JPEG・GIF・PNGってどう使い分けるべき？知っておきたいイメージ形式の基礎知識 | ニコニコニュース
「拡張子」とは、ファイル名のうちの「.(ピリオド)」で区切られた文字列であり、そのファイルの種類を識別するためにつけられています。拡張子はオペレーティングシステム(OS)においてファイルの判別のため任意につけられるものであり、どのような場合においても必ずしも必要になるというわけではありません。音声データやテキストデータなどさまざまなデータを管理するうえで拡張子の形式の変化が重要になりますが、特に画像を保存する際はその拡張子の違いが如実に現れることになります。仕事上のデータのやりとりだけでなく思い出の写真の保存や個人ブログでの使用・アップロードなど、さまざまな場面ごとで使い分けたい画像の拡張子の性格についてご紹介致します。 ■ 画像に使える一般的な拡張子 ◎ JPEG(Joint Photograph Experts Group) jpegはjpgとも呼ばれ使用される、もっとも一般的な画像形
xargs -P が激しく便利なのでメモ - おともだちティータイム
xargs の -P オプションを使うとプロセスを複数起動して処理を並列に行なうことが出来る。 例 例えば、 1 万枚の JPEG 画像を全て 800x800 に収まるように効率良くリサイズしたい。 まず私はこのようなコマンドを考えた。 convert --geometry 800x800 *.jpg しかし zsh に怒られた。 zsh: argument list too long: convert 引数が全て展開されるためこのような事が起きる。 私は xargs を使って処理することを思い付いた。 ls | xargs -I{} convert --geometry 800x800 {} c_{} 処理は行なわれるが非常に遅い。 しかも CPU を全く使っていないことが分かり、私は処理を並列的に行なう事を考えた。 そこで xargs の -P オプションの出番である。 P の後に並列
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
