No Such Blog or Diary

片側2車線のうちの左車線が茶色い泥水に水没っぽく渋滞発生とか，長い下り坂で左車線が川になってるとか，左カーブで反対車線から大量の水が飛んできて前見えないとか，雨がひどくて車の運転が危ない．

というか，いつも通るバイパス下の側道の交差点で2台の車が仲良く並んで歩道の車よけの柱達に突っ込んでた……　進行方向左前の角に2台並んで突っ込むとかどうやったんだか．右折車が雨のせいで直進車を見落としたのかね．

とりあえず，視界が悪いんだからライト付けれ．

休日にヨーロッパ出張から帰ってくると損した気分．7時間差なので1日の約1/3が消えている．

閑話休題．

雨がひどい．

スーパーで見つけた生きビールと茶そば．他にうどん・ラーメン・そば・そうめんもあった．

生ビールではない．生きビール．どうしてこうなった？

http://www.ikibeer.com/ ってのが販売元のサイトか．なぜ iKi なのか分からん．

Coq のバージョンを 8.4pl2 から 8.4pl4 に上げたら今まで通っていた証明が通らなくなった．別に用意した lemma を specialize する部分で，lemma の最後の引数を与えるとエラーになるけれど，その手前で止めて specialize した後に最後の引数を与えてあげると通るとかいう意味不明な挙動で……　ちょっと typeclass を入り組んで使っているのでそのせいかもしれないなぁと思いつつ Coq をよく分かっている人に聞いてもやっぱり意味不明とのご回答．とりあえず回避策はわかったので仕事には影響ないけどバグレポートとかするにも挙動再現の最小コードを作るのが面倒そうだというのが最大の問題．

さて，シンポジウムも終わったし後は帰るだけ．

閑話休題．

Albertheijn ってスーパーは夜9時過ぎても開いてて助かった．

パンの上に刺し身……　

機会があればまた食べようと思う程度に美味しかった．

ワークショップ2日目が昼で終わり，次の会議への参加のためにオルレアンからアムステルダムへ移動．パリから3時間しかかからないので電車でＧＯ！