No Such Blog or Diary

ここんとこ車を洗うタイミングが無くとてつもなく汚くなっていたので，買い物ついでに見つけた使ったことのない洗車場で車を洗ってみた．

結果：コースに「洗剤」って入ってるのに水しか出なかった．

ぼったくられた気分．でも水道はタダだったので，自前の洗剤で洗ってから洗車機で放水するという使い方には適しているかもしれない．

cons を :: と書いていて意味不明のエラーメッセージにしばし悩んだ．最近 Coq 周りでのプログラミングが多かったのが原因か．

そういや昨日 C++ のプログラムを書いてたら ; の代わりに . を書いててコンパイラに怒られたっけな．

PPL参加中．なんとなく以前と比べて部屋割りアルゴリズムが変化しているような．

大事なお仕事の説明会でお仕事の手順書を渡されたのだけど，効率の悪い手順をどうにかしてほしい．伝統的にそうなっているらしいのでどこにどう文句を言ったら改善されるのかわからんのが悩ましい．

日本酒が……　飲放題に含まれないので何とも飲むものがない．別精算で払うべきだったか．

2次会の店のメニューで「日本酒」として括ってある中に「梅酒」が入っていたので，「日本酒ベースの梅酒ですか？」と店員に尋ねてみたら，そんなことないただの梅酒ですって返ってきた．カテゴリ分けおかしくね？

4〜5時間くらいかかって半日潰れた．Windows update って何でこんなに時間を食うか？　

途中で再起動とか必要とせずに一気に更新できれば楽なのに．