window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

display は、画像の表示をする。この時、 -resize オプションで拡大ができる。例: $ display -resize 400% image.pgm ... 4倍に拡大。(補間は Mitchell) $ display -resize 400% -filter box image.pgm ... ピクセルをそのまま四角で拡大 ところで、 convert…