No Such Blog or Diary

IPv4 のアドレスは 32 ビットなので大きな十進数１つでいいじゃんという……　検索かけるとそういうものが存在することは確認できるのだけど，どこに規定されているのかがわからない．IPv6 の方はテキスト表現に関する RFC とかあるけれど，IPv4 のテキスト表現に関する仕様ってどこに書いてあるんだ？

つーか普通に使える表現なのか．とりあえず IE9 では数字を書いただけでは通らんかったけど，http://数字/ としたら通った．Chrome だと数字だけ書いた場合には「もしかして」とかいうポップアップにドット区切りに変換された http:/ドット区切りの10進4つ/ というURLが表示された．もちろん http://数字/ としたら普通に通った．

驚き．

最近のはメールを確認しに行ってくれるようで，テレビにメールアドレスを一つ用意して，そのアドレス宛に予約内容を書いたメールを投げてあげれば外出先からも予約可能．試したらちゃんと動いた．

便利だなぁ．でもメール確認を2時間おきにしかやってくれないのがちょっと残念．15分おきとかでもいいじゃんとか思うのだけど．

あとは，Web 上の番組表からメール内容をクリックひとつで作ってくれるような仕組みを用意しておかないとちょっと使い勝手が悪いかもしれない．他にも予約の柔軟性が低そうなのが残念か．メール内容は日時とチャンネル（と録画先）を指定するしか出来ないので，放送時間がずれたらどうなるのかとかよく分からない．どうなんだろ？　

……遠隔で予約一覧の確認とか出来てくれると嬉しいのだけど，だめなんか．つーか，VPNあるんだから家庭内LANからブラウザ経由で予約操作とか出来れば十分便利だとおうもんだけど．そんな使い方せんのかね．

近くにドリーム店があるので飛び入りで置いてきた．タイヤ・オイル・エレメント・エアクリーナ・プラグ・クーラントを交換で．さて，どれくらいかかるのやら．

誕生日がゾロ目になる確率ってどんなんだろう？　1/1, 1/11, 2/2, 2/22, 3/3, 4/4, 5/5, 6/6, 7/7, 8/8, 9/9, 11/1, 11/11 がゾロ目の日なので 13/365 = 0.036 程度．30人いたら1人はゾロ目ってくらいか．なるほど．

そして誕生日プレゼントに LEDシーリングライトを送りつける．

どうもボタンの利きが悪くなってきたようで，ドラッグ中に色々とものを落とす．近くにあった rar ファイルの中にファイルが落ちてアーカイブ更新とか起きたり．あとは勝手にダブルクリックになってくれるとか．

使い始めて1年半だけど耐久度としてはこんなもんなのかな．とりあえず新しいのを買ってこよう．

つか，このへんでパソコン屋ってどこだ？

オルレアンを朝6時半に出る電車でパリに移動して，CDGを正午直前に飛び立つ便に乗って今朝6時半に羽田について．羽田を8時半に発って10時半に福岡に着いて，そこから1時間バスを待って1時間強バスに揺られて最後に歩いて1時過ぎに帰宅．移動に24時間ってのも疲れる．

つーか飛行機の中で8時間くらいは Coq とにらめっこしてた気がする．お陰で面倒な部分がひとつ片付いたのはめでたい．シートにPC電源ついてる席になってたので電力的理由による中断が入らないのがよかった．

だが眠い．このあと4時半から研究室のゼミだわ……