先行予約

7月5日の西武ドームの水樹奈々のライブの先行予約の紙が来ましたねえ。
それにしても7777円ですよ。
7でごまかしてるけどなかなかいい値段ですなあ。

今日の予定(長文)

タイトルに(長文)って書いてるときって
たいして長文じゃないことが多いよね!
なんてことを考えてるうちに午後になってしまった(うそ)。

ほんとは石丸SOFT2で近藤美香ちゃんと握手って予定だった。
13時からだったかなあ。
もう遅いけど。

Windowsでemacs

Unix環境ですと迷うことなくemacsを使いますが(入っていなければviも使いますが)、Windowsでエディタに何を使うかをよく迷います。テキストを編集する機会があまりないのも原因ですが、emacsをわざわざ使うのが面倒なイメージです。

そんなわけでいざというときはメモ帳を使うことも多いのですが、久しぶりにWindowsでemacsを使ってみました。バージョンは22.3です。

まずインストールは非常に簡単です。http://ftp.gnu.org/gnu/emacs/windows/からzipファイルをダウンロードします。ダウンロードが終わりましたら、それを自分の好きな場所に解凍するだけです。解凍したフォルダにあるrunemacs.exeを実行するとemacsが実行されます。

設定は.emacsを自分で書くことも出来ますが、メニューのOptionsからも変更できるようです。とりあえずデフォルトでツールバーが表示さ れますが、emacsでツールバーを使うことは無いのでOptionsのShow/Hideからtool barのチェックを外しました。

あとemacsをWindowsで使って敷居が高そうと思うのはフォントの設定だと思います。これもOptionsのSet Font/Font set…から普通のWindowsのフォント選択ダイアログでフォントを選ぶことが出来ます。このあたりは昔と比べるとかなり改善されてるのではと思いま す。

注意が必要なのはこのままでは設定の変更は保存されていません。OptionsのSave Optionsを選ぶことで設定が.emacsに保存されます。.emacsは環境変数HOMEのフォルダに生成されると思います。

こんな感じでわりと普通にWindowsのエディタを使うのに近い感覚でemacsを使えると思います。

追記:うまくいったと思ったけどフォントはうまくいってなかった。

ImageMagickを使ってExifとサムネイルを取り除く方法

比較的小さな画像を扱うときはExifやサムネイルのサイズもバカになりません。ImageMagickのconvertコマンドを使ってそれらを取り除くには-stripオプションを使用します。

$ convert -strip src.jpg dest.jpg

スクリプトなどを使用して画像を一括処理したいときに非常に便利です。

ProGuard

ProGuardというJavaのclassファイル変換ツールがあります。classファイルに格納された変数名などを変更することによって、解析しづらくしたりファイルサイズを縮小したりできます。

iアプリなどの場合ではjarファイルのサイズが小さくできることは結構ありがたいと思います。こちらに日本語の解説サイトがあります。ProGuradも解説されています。

私も試しに使ってみたところ13KBのjarファイルが10KBになりました。すばらしいですね。

iアプリでネットから画像を読み込むとき

こんなコードになると思います。

MediaImage image = MediaManager.getImage(getSourceURL() + "hoge.jpg");
image.use();

このコードでgetImageを実行したときになんとなくネットへアクセスしそうな気がしますが、実際にはuseを実行したときにネットへアクセスします。例外処理などに際して注意が必要かもしれません。

ロード中などに表示するアニメーションGIF

Load Infoというサイトで色や大きさを指定してロード中などに表示するアニメーションGIFを生成できます。デザインもかなりたくさんあります。サイズが48×48までしか選べないのがちょっと残念ですね。もう少し大きいのが使えるとさらに便利だと思いました。

夜のピクニック

恩田陸の小説。
第2回本屋大賞受賞作。
2006年に映画化されていたらしい。

全然そういうの知らずに普通に読んだ。
恩田陸結構好きだし。

あらすじを説明すると
歩行祭という徹夜で80キロ歩くという学校のイベントの話。

ほんとそれだけなんだけど、
とくに何かが起きるわけでもないのだけど
その間に交わされる会話とか人間関係とかで読ませる感じ。
名作。

ランダムに画像を返すphp

アクセスするたびに画像をランダムに変更したりしたい場合というのは結構あると思います。トップ画とか背景とかバナーとかいろいろあると思います。 それ以外にも例えば日替わりでランダムに画像を取得して何かに利用したいときに、特定のURLにアクセスするとサーバ側でランダムに画像を返してくれると 便利だと思います。

簡単な仕組みですので自分で作ってもいいですが、そういうものがこちらで紹介されています。作者はこちらのようです。