夏時間終了

今日になって、PCの時計と家の時計の時間がずれているな、と思ったら昨日で夏時間終了なんすね。
つうわけで、今日からまた日本との時差は14時間。Time Zone は EDT から EST に。

PHPのパフォーマンス

PHPのパフォーマンスに関して。
単に case insensitive なマッチングをしたいだけなのに、strcasecmp じゃなくてpreg_match 使ったり、区切り文字が単純文字列なのに explode じゃなく preg_split 使う人っていうのは結構いるので、パフォーマンスがどうこう言うなら、そういう標準関数を熟知しておくのが一番じゃないかと思ったり。mb_convert_variables とか number_format 相当の関数作る人とか結構いそうだし。
まぁ、実際には PHP のコードより実行する SQL とか RDBMS のインデックスの張り方とかをチューニングしたほうがよっぽど効果があるけどな。というか array_push と [] の差なんて全体から見たら誤差範囲でしかないことがほとんどだろうなぁ。

世界史の連想キーワード

高専のときに受けた世界史から連想されるキーワードを並べてみる。ちなみに1年間で習った範囲のほとんどは中世のオーストリアおよびその周辺。

• バランスオブパワー
• 世界の常識は日本の非常識、日本の常識は世界の非常識
• ハプスブルグ家
• マリア・テレジア
• 神聖ローマ帝国
• 汝、結婚せよ*1
• 3枚のペティコート
• アゴの化け物
• 巨人*2
• 生え際

世界史と関係ないような言葉もあるような気がするけど、多分気のせい。
しかし、あんまり覚えてないなぁ。他に覚えている人はコメント欄でよろ。

*1:ハプスブルグ家の家訓。本当はもう少し長い

*2:読売ジャイアンツのこと