«前の日(07-07) 最新 次の日(07-09)» 追記

ソフトウェアと本の覚え書き

2005|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|

2008-07-08

_ [Linux] スキャンした文書を一括して見やすくする

スキャンした文書の背景が灰色になってしまったので、一括変換で白くしたい。Gimp で script-fu を書くのが良いかと思ったのだが、scheme が使いこなせないので、断念。ややこしい処理をしなくても ImageMagick を使って色を置換すればすむことに気づき、次のように実行した。

convert -fuzz 11% -fill "#ffffff" -opaque "#e0e0e0" source.png result.png

実際には、zsh で

for f in *.png
convert -fuzz 11% -fill "#ffffff" -opaque "#e0e0e0" $f result_$f

として、一括して50枚の画像を変換した。

_ [Linux] ファイルに連番をつける

1.png
2.png
.
.
10.png

となっていると、ソートするときに不便で

01.png
02.png
.
.
10.png

のように桁が小さい場合に0をつけた名前に変更したい。定番の方法はよく分からないが、私が思いついたのは zsh での次の方法だ。

for i in {1..10}
mv $i.png `printf %02d $i`.png

2012-07-08

_ [映画] 『ナショナル・セキュリティ』

おすすめ度:★★★☆☆

ナショナル・セキュリティ


2013-07-08

_ [映画] 『恋する人魚たち』

おすすめ度:★★★☆☆

恋する人魚たち


2014-07-08

_ [映画] 『スター・ウォーズ イウォーク・アドベンチャー』

おすすめ度:★★★☆☆

スター・ウォーズ イウォーク・アドベンチャー


2015-07-08

_ [映画] 『きっと ここが帰る場所』

おすすめ度:★★★☆☆

きっと ここが帰る場所


2016-07-08

_ [映画] 『ティンカー・ベル』

おすすめ度:★★★☆☆

ティンカー・ベル


2017-07-08

_ [読書] 西森秀稔 大関真之『量子コンピュータが人工知能を加速する』

量子アニーリングについて少しはイメージできた。

おすすめ度:★★★☆☆

量子コンピュータが人工知能を加速する

_ [映画] 『カリートの道』

おすすめ度:★★★☆☆

カリートの道