March 2008
18 posts
WordPress 2.5 RC2 にする。 →
WordPress 2.5 RC2 が出ていたので人柱になってみた。
正式版がでたら他の人の分もアップデートする予定。
見た目はなーんにも変わってないけど、管理ツールががらりと変わっていていろいろ便利になっているのでみんなも使いたいと思うはず。
上の方にあるのはサカさんが書いてくれたロゴ、カッコいいけどどっかで見たような気がするなぁ。元々の絵はキレイだったんだけど gimp…
coq で定理証明 →
自動証明処理系の coq を使って簡単な3段論法を証明してみる。
まず coq を起動する。
% coqtop
Coq <
命題 A B C について考えてみるよ。
Coq < Variables A B C : Prop.
A is assumed
B is assumed
C is assumed
「A ならば B 」といのは命題だよね?
Coq <…
酒、PHP、また酒 →
土曜の夜。sige君が「純米大吟醸寒しずく」をどこからか大量に仕入れてきた。
限定 3000 本しか売ってないはずなのにこの部屋に 10 本もあるなんて!
(写真にあるように瓶にはロット番号が打ってある)
起きたら、2本しか残って無くてガッカリした。(3人しかいなかったよね?
# 酔っぱらった人たちは中国国内から great firewall…
いつのまにか GNU tar が LZMA に対応している。 →
なんとなく GNU tar のソースコードを読んでたら、LZMA オプション発見。
最近 GNU のプロダクトで .tar.lzma ってファイルを見かけるようになったのでいつか tar で扱えるようになるだろうなと思ってたところ。
tar-1.19 ではまだ対応して無くて tar-1.19.1 のスナップショットから使えるみたい。
…
SHA-1 で遊ぼう
ということで今後は匿名で活動することにしました。
ハンドルは random から sha-1 した値にします。
% ruby -r 'digest/sha1' -e 'p Digest: :SHA1.new( rand().to_s ).hexdigest'
"ac5acf440b209fee9d54b480d85aa435c217c22c"
bear.jpg: 「ac5acf440b209fee9d54b480d85aa435c217c22c さんですか。長い名前ですね」
wore.jpg: 「長くても簡単だよ。何度でもいえる。私の名前は ac5acf440b209fee9d54b480d85aa435c217c22c です。私の名前は ac5acf440b209fee9d54b480d85aa435c217c22c です」
bear.jpg: 「コピペしてるだけじゃないですか」
bear2.jpg: 「どもども。ac5ac...ええと、なんだって?」
wore.jpg: 「やだなあ、ちゃんと覚えてよ。いいかい、名乗るよ?」
% ruby -r 'digest/sha1' -e 'p Digest: :SHA1.new( rand().to_s ).hexdigest'
"9cd0ab8d05020802713691c6951659dfe3f10ea3"
wore.jpg: 「私の名前は 9cd0ab8d05020802713691c6951659dfe3f10ea3 と申します」
bear2.jpg: 「9cd0ab8d05020802713691c6951659dfe3f10ea3 さんね。よろしく」
bear1.jpg: 「なになにー。何か面白いことやってるの? あれ?名前変わったの?」
wore.jpg: 「やあ、こんにちは。私の名前はry」
名乗るたびに名前は変わります。
linux で確定申告しようとしたけどダメだった。 →
おしりに火がついてきたのでいいかげん確定申告をする。
e-tax って linux で出来るのか出来ないのか判らないけど、どのみち今から準備するのは間に合わないのでe-tax の準備と、オフラインの書類作成を同時進行でやる。
まず https://www.keisan.nta.go.jp/h19/ta_top.htm
を開いてみると、このサイトは javascript…
codepad.org →
秋本さんの blog経由でこんなの発見 http://codepad.org/
がーん、似たようなものを作ろうとしてたのに先越されてしまった。
でもさすがに実行出来るページを公開しようとは思ってなかったな。 …
データ圧縮の究極 →
データ圧縮の究極より
25 名前: 名無しさん@1周年 投稿日: 2000/11/09(木) 20:42 円周率は、それを任意の桁まで求めるプログラムによって 完全に表現できるじゃん? これこそ、究極の圧縮。
26 名前: >25 投稿日: 2000/11/09(木) 20:56 確かに圧縮率は飛び抜けて良いが、復元速度が鬼のように遅ぞ。
…
リュカ数をプロットする →
この前フィボナッチ関数のグラフを gnuplot で描いた時に sakaik さんから詳しい書き方を聞かれたので、今回はリュカ数をプロットしてその手順を詳しく書いてみる。
リュカ数列とは、フィボナッチ数列が
と定義されるのに対し初期値を
とした時の数列をリュカ数列と呼ぶらしい。see リュカ数 - Wikipedia …
ブックマーク管理ツール選び →
ブックマーク管理ツールの sitebar を長らく使ってきたんだけど、この sitebar の欠点は最大 500 リンクまでという制限があること。今日その 500 に達してしまったので別のブックマークツール選定中。(自前で sitebar を運用するってう手もあるんだけど、sitebar のバージョンアップが割と頻繁にあって最新版に追従するのが面倒になって止めた経緯がある) …