文系(文化系?)SEの時事日記

PHPのURLエンコード

PHPで簡単なアプリを作っているのですが、ちょっとはまったので書いておきます。
<a href="http://www.hogehoge.com?key=名前">ほげほげ</a>
というようなコードをHTMLに書いて実行した場合、Mozillaだとちゃんと
key=名前として解釈してくれるのですが、
IEだと解釈してもらえません（こっちの方が当たり前なのですが）。
そういう場合はあらかじめ
<a href="http://www.hogehoge.com?key=<?=urlencode("名前")?>">ほげほげ</a>
みたいにする必要があります。
PHPってこういうときが安直でいい！
urlencodeでエンコードしてurldecodeでデコードすればいいだけなのね。

Perlの正規表現

Perlでしょぼいバッチプログラムを書いているのですが、
「０詰めされた数字の０をとる」の正規表現が面白かったので書いちゃいます。
$a=~s/(?<!\d)0+(\d+)/$1/g ;
だそうです。うまいものですね。
ソースは
http://yamamaya.com/labo/labo3.html
です(やまねこ工房さん、ありがとうございます)。
日ごろPerlは使っていないのでこういう頁があると助かります。
ソースコードの話はあまり面白くないかなと思うのですが、
おもしろかったのでのせちゃいました。

Javaで桁数固定の左詰め数字表現をする方法

「Javaで桁数固定の左詰め数字表現をする方法」という長い題なのですが、数値の100を５桁の00100という数字で表わしたいというよくある「あれ」です。Tigerだとprintfみたいなものがあるのですが、Javaの1.4だとjava.textのFormatのたぐいを使うことになるのでしょうか(あきらかにC言語の printf系の方が Formatよりも使い易いので 5.0では追加されたのでしょう。でも何で 5.0 !。Sunはバージョンナンバーのつけ方がいつもいい加減ですね。Solarisしかり）。
ソースのせると
import java.text.NumberFormat してから

int number = 100;
NumberFormat nf = NumberFormat.getNumberInstance();

nf.setGroupingUsed(false); // これが true だと 00,100 のようにカンマが入ります。
nf.setMinimumIntegerDigits(5); // これがポイント
System.out.println(nf.format(number));

のようにすると 00100 のような右詰めの値が表示されます。