No Such Blog or Diary

午後茶6本でオマケのミニトートバッグをゲット．弁当と水筒を入れるのにちょうどよいかもしれない．

明日の用務地が都心を外したところなので立川に泊まる．立川は昭和記念公園に何度も来てたけど徒歩で来たのはかなり久々な気がする．ここらならカメラ積んでバイクの方が楽だったし．

で，東京から遠い．大きな本屋に行こうかとかも思ってたのだけど荷物をホテルにおいてからとかやるには遠すぎる．新宿とかに宿をとっても良かったかもしれない．残念．

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

明日から出張なので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）も面白そう．