No Such Blog or Diary

アスクルの箱を事務で回収するの忘れた．気づいたら事務閉まってるし．

明日から出張なので1週間放置するしかない．宅配ボックスとかあってくれると便利かもしれない．

最近スカパーが月に1回程度 WRC の番組を見るだけのものになってきてるような．ちょっと高い気もする．

で，タナックが来期はトヨタで走るのか．ヤリスでのタイタナック2号に少し期待．

数時間雨で濡れ続けた状態なら汚れも落ちやすいかもしれない，雨だから洗車場が空いてるに違いない，どうせ雨で濡れるから拭き取りしなくていいから楽だ，と思うことにして洗車してきた．最近全然洗車しとらんかったし．

そしてフロントガラスのコーティングがヘタってきた……　雨上がりとかに水滴に付いてた汚れが定着しちゃうのが悪い気がする．保護のためにフロントガラスに外側からカバーを掛けとくのが正しいのかもしれない．

キャッシュのアルゴリズムを考えた時，オンラインにやるなら LRU が直感的にはユニバーサルに最適なんじゃなかろうかとか思ったのだけど，よく分からんのでちょっと調べてみたら面白そうな論文を見つけた：On the optimality of Least Recently Used．

各アルゴリズムでのページフォルト数を確率変数とみなした上で，それら確率変数間の大小関係（stochastic ordering）をもってアルゴリズムの良し悪しを考えようという感じのアプローチ．この大小関係は，X1 と X2 を確率変数としたら「 X1 ≦ X2 ⇔ forall x, P(X1 ＞ x) ≦ P(X2 ＞ x) 」で定義される．どんな基準点 x を持ってきても X1 より X2 の方が x を超えている可能性が高いなら，X1 より X2 のほうが大きいと言いましょうと．自然な定義な気がする．

まだこの論文もちゃんと読んでないけど，その後に出た著者の博論（https://depositonce.tu-berlin.de/handle/11303/2683）も面白そう．

明日の昼間に東京の大学に届いて欲しい書類がある．12時までに郵便窓口で出せれば間に合う．だがしかし，完成した書類が手元に来たのは11時20分とかで……

書類持って郵便局へ走った．行程の多くが「車で」だけど，駐車場まで／からは書類持って疾走してる変な人になっていたに違いない．本郷郵便局みたいにキャンパスの目の前に郵便局があってくれると楽なのだけど．

閑話休題．

ひとつ手前の小さい郵便局でも午前なら大丈夫とかいうオチだったりするのだろうか？　今度調べておこう．

今朝，車の総走行距離が13万キロになった．

去年の 8/18 の 10万キロから 14ヶ月で +3万キロ．来年の夏には 15万キロかね．あと3年乗って 20万キロは突破したい．

そういやそろそろスタッドレスを買わないと．VRX2 が出たので買ってみるか．