No Such Blog or Diary

去年の収入明細は 社会実験「富士山保全協力金」実施結果(確定値） で見られる．協力金は基本1,000円だけど静岡側は何故か端数が多くて面白い．アンケート回答率も何気に高い．

んで，今年はインターネットで納入とかコンビニでお支払いとかが出来るらしい．インターネットからクレジットカードで納入すると後でバッジが送られてると．去年はタイミングが合わずに貰えなかったので今年はさっさと入れとくか．

ということで須山口から登るとして申請完了．

閑話休題．

山梨の 平成26年2月定例県議会知事説明要旨 を見ると今年12月を目処に富士山の保全整備に向けた各種の方針案を取りまとめるとか言ってるので使い道に関してはもう暫く待たないと確定しないのかね．とりあえずゴミをどうにかして欲しい．

閑話休題．

協力金リアルタイムモニタとかあると面白そう．

山頂で寄付すると山頂仕様のバッジが貰えるとかあるとやる気出る気がする．

片側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時過ぎても開いてて助かった．

パンの上に刺し身……　

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