No Such Blog or Diary

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

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

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

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

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

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

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

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

まったくもって何かをした記憶もないのだけど試しにさっき起動してみたらちゃんと受信してくれた．何が悪かったのか不明．気味が悪い．

3月に入ったからか？

うーん，どうも VPN を張ると受信できるらしい．何なんだ？