タグ

2011年3月9日のブックマーク (2件)

  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • convertコマンド - 駄文だって

    職業柄というかなんというか、epsファイルを取扱う事がよくあります。LaTeXで文書を書くときはまだeps形式の方が図の取り込み時に無難であったりするためです。一方、スライドを作る時はpng形式を好みます。そうするとepsをpngに変換する事がよくあったりするわけなんですが、 $ convert hoge.eps hoge.png なんてやってしまうと、プレゼンにはあまり向かない解像度の低い画像になってしまったりします。PNGはもともとgifとjpegの両面をあわせもったタイプの形式でドロー系には強いのですが、それでも圧縮によるブロックノイズが気になります。圧縮率を下げれば解決するかというとそうでもなくて、EPSの中で非常に細い線がかかれていたりすると、変換時のDPI設定によりいくら圧縮率をさげたところで問題は解決しません。 結局DPIを変更しないといけないわけです。以前調べて変更方法を学

    convertコマンド - 駄文だって
    Phys
    Phys 2011/03/09