No Such Blog or Diary

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

閑話休題．

雨がひどい．

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

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

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

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

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

閑話休題．

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

パンの上に刺し身……　

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

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

自分の発表が終わったので残りは基本的に観戦モード．次の仕事（作業）の相談とかもしつつだけれども．

そして時差ボケで睡眠時間が平常の 2/3 なので眠い．

閑話休題．

バーガー（やらステーキやら）についてるポテト多すぎ．