2014年07月

久々の窓側の席で外見てたら首がおかしくなった．座席と窓の位置関係がよろしくない気がする．

つなぎに布海苔という海藻を使っているのだとか．とりあえず新潟（の魚沼）の食べ物ということで今日の昼に食った．つゆも東京のと違うね……　東京の方のが好みではある．慣れかも知れんが．

柿の種とかの亀田って新潟だったのか．知らんかった．よく考えれば原料が米だし自然なのだけど．

とりあえず土産には浪花屋の柿の種を買って帰ればいいのだろうか．

6時半前後 UPS が鳴き始めたので起きる．ブレーカーを確認するも落ちてなく，外を見に行くかと思ったら復旧．PCが立ち上がろうとして HDD が回転はじめたあたりでまた落ちる．ヤバそうなので電力復旧前にコンセントからPC周りの電源コードを引っこ抜く．そして外のメータを見に行こうとしたら復旧．やれやれと思っていたらまた落ちる．外を見に行ったら近所でも止まってるっぽい会話が聞こえてくる．そして復旧．

とりあえず，連続して3回も落ちるとか異常なので，電話番号を探しだして九電に電話をかける．

6:45 混み合っていますのでかけ直すかお待ちください．

6:47 飯塚が広域停電．突発的な事故で，原因調査中．一部まだ復旧してない．

ということで，今のところ原因不明．困ったもんだ．

純正のケースだとフードが入らないとかいう記述もあったのでテキトウにちょうどよさ気のバッグを探す．結果として Lowepro レゾTLZ デジタル 20 がピッタリサイズ（キツキツではない）で良い感じ．背面にベルトを通せるので適当なベルトを用意すれば便利かも．

とりあえず，ひとつの論文を物理的に投げ飛ばした回数の最高記録達成は間違いない．酷すぎる．

たった2ページの preliminaries を読むだけで気がつけば5時間経っているとか何なんだ一体……　未定義が多いし定義が定義でないのが多いし．これで完成間近ですキリッてのはどうなんだろう．うーん……

とりあえず編集権限取らないと話にならん気がしてきた．

ということを書きたくなるぐらいに酷い．

そうだ，飯くおう．

慣らしに今年も貫山に登ってきた．

朝5時に吹上峠の駐車場出発．

5時半に大平山山頂あたりで山から日が出る寸前．

一度下って5時50分頃に大平山を振り返る．去年同様中峠手前で四方台へ向かうルートに切り替え．

6時10分四方台到着．貫山も直ぐ目の前．あと100m登る．

6時半に貫山山頂到着．

そして四方台から穴の北を通って大平山経由で吹上峠の駐車場に7時半に帰還．今日は快晴ではなく適度に雲があり風もあったのが幸い．そんなに暑くはなかった．

閑話休題．

周りは暗いのに普通に写真を撮ると明るい不思議．一枚目はISO感度12800とかだった．

だがしかし，シャッター速度とISO感度のどちらで露出を稼ぐかの調整をもうちょい楽にコントロールできると有難い．手ぶれ補正ついてるレンズで動かない対象物撮るならシャッター速度落としてノイズリダクション減らしたほうが嬉しいのだけど……　マニュアルでやれってことかな．マニュアルでISO感度変えちゃうと次の撮影用にオートに戻すのがめんどいのだけど．絞り優先プログラムシフト（でシャッター速度とISO感度でのシフト）とかいうモードはできないものか？

そしてズームレンズは便利だな．

定期購読をしている雑誌が発売1周間しても届かない．これまでは火曜か水曜には届いてたのに……　事故った？

そしてサポセンが土日お休みなのでどうのしようもないという．そこらで探しまわって買ってくるか．

後日談：土曜に発売日から8日遅れで届いた．が，届く前に地元の本屋を巡って雑誌買っちゃってたのは言うまでもない．

とりあえず，本人が重くなった分カメラ周りで軽量化を図ろうと小型レンズ（SEL2470Z）と小型三脚（SLIK スプリント MINI II GMN）をゲット．これで去年に比べて 2kg 減った．水2L分なのでけっこう軽くなった気分．

カードが弾かれてたのはやっぱり楽天カードの不正利用防止セキュリティシステムのおかげだった．去年の7月から数えてこれで3回め．今回は向こうから電話がかかってこなかったので昨日一日原因不明だったが，カードのサポートに電話したらセキュリディから折り返し電話するからと言われ，セキュリティからの折り返し電話でまた「セキュリティシステムが安全のために止めました」と．

とりあえず，過去に同じこと（深夜の時間帯にカメラ関係の物をポチる）をしているので，前回もらった回答の「これまでの利用傾向から外れていたからブロックした」ってのは当てはまらない気がするのだけど……　ここらへんの学習機能はないっぽい．つーか，2ヶ月前にまったく同じことで引っかかったばかりなのに．とりあえずこの辺りが学習されないので結果的に人間のほうが「深夜帯にカメラ関係のものをポチるのに楽天カードを使ってはいけない」という学習をしなければならない．

んで，原因不明だったので別のカードで払ったのだけど，楽天カードが正常に使えていれば（つまりセキュリティの誤判別がなければ）貰えるはずだったポイントとかは当然のごとく補填も何もない．電話代もジュース一本分くらいはかかってるんだけどね……

うーん，ここ2年くらい楽天カードをメインに使ってるけれどそろそろ別のカードを模索すべきかな．変なタイミングで止められるのは困る．今月の海外出張でも動かんかったし．

閑話休題．

調べてみたら全部キタムラでポチってた．ひょっとすると「楽天カードを深夜にキタムラでカメラ関係の商品をポチるのに使うな」が正しいのかもしれない．

先週海外で切符を買おうとしたら弾かれたり，昨日通販でポチっておいたら今朝店から弾かれたと連絡があったり，ここんとこ楽天カードが言うこと聞かない．というか，楽天カード＋カメラ関係のモノって組み合わせの弾かれ率がオカシイことになってるような……

とりあえず，サポートに弾かれた原因を聞こうかと思ったら数分遅れで営業時間（9:30--17:30）が終わってしまった．また明日聞いてみるか．

閑話休題．

一度注文をキャンセルしないと支払いを別のカードに変えられないとか面倒すぎる……

とりあえずキャンセルしてポチり直したら発送の連絡が来た．めだし．

閑話休題．

天神で渋滞ってのは2トンの落とし物のせいだったのか．はた迷惑な．

宇佐神宮の池に蓮が咲いてるらしいので朝一で行ってみた．もうちょっと密度が高いと嬉しいか．来るのが遅かった気がする．

閑話休題．

宇佐神宮は出雲大社と同じく二礼四拍手一礼．

なにげに撮影モードダイヤルとかが動くしレンズも外れてくれる．だがしかし，SONYが頑張ればこのサイズでも撮影できるおもちゃが作れるんじゃなかろうか．無料プレゼントはムリだろうけど．

孫α7Sがあると完璧か．

とりあえずCDGでの Terminal 2D から Terminal 2E の L へ乗り換えたメモ：2D で飛行機降りたら表示に従って左奥へ進んで，出国手続きして，下の解に降りて 2E 方向のバスに乗って，直ぐ次のところが 2E の L 用なのでそこで降りて，エレベーターで上って，L へ向かって動く歩道で歩いて，エスカレータ下ったら L に到着してる．セキュリティ通らないので飛行機が止まってから25分でゲート到着＆ボーディングパスゲット．ボーディングパス持たずに出国手続きを通ったので「お前はどこへ行くんだ？　あぁ？」とか聞かれたのはしょうがない．

そして12時間弱も狭い席に缶詰だし日本は昼間なのでおとなしく仕事する．

とりあえず，ウィーン国際空港は仕事するのに便利．反応の良い Free Wifi が使えるし電源付きの作業台がゲートに沢山置かれているし．

これでプリンタが付いてれば最強だな．

分からん発表はやっぱ分からん．タイトルに惹かれて聞きに行ったら全くよくわからなかったとかは残念．でもためになる発表をそれなりに聞けたのは幸い．

さて，帰り支度をするか．

閑話休題．

よく考えるとここ数日晩飯食ってないような……　朝ちゃんと食べて，昼に食い過ぎて，夜に食えないとかいうパタンは朝飯抜きと同じなんじゃないかと思えてきた．深夜に夜食食ったらOK?

とりあえず今日は共著者も帰り昼飯が軽くなったので晩飯をくおう．

みんな元気だよね……　ぶっちゃけ眠い．

とりあえずジャーナルに持ってくぞの作戦会議やら来年用のネタを何にしましょうかの作戦会議やら別の共同作業の段取りの作戦会議やら．

そして途中で会議場から追い出される．続きはカフェで．

閑話休題．

Patrick Cousot の Abstract Interpretation の話は速すぎて初心者置いてけぼりだった気が……　1分に2枚以上のペースで密度の高いスライドが切り替わると何かを考えていては付いて行けない．つーか話してる本人が息切れしとらんかったか？

とりあえず無事発表修了．周りと毛色の違う内容だったと思うけど質問も片手でちょうどカウントできるだけは出たので良しとしよう．

閑話休題．

何某を Coq で定式化して証明しました，とかいう話ではその何某の部分を如何に定式化したかが語られるのだけど，その何某の部分の導入があまり初心者向けでないこともあったりして……　普通に field とか ring とかいう言葉を説明なしで使ってる発表にもテクニカルな質問が飛んでたりして聴衆の前提知識の度合いがよく分からない．

空中待機時間が短くなってくれて結局定刻通りに駐機場に着いてくれたので乗り継ぎに間に合った．乗り継ぎ先の飛行機も出発遅れたけど．

とりあえず，フランクフルト空港 Terminal 2 に JAL で到着してから Terminal 1 の A から乗り継ぐ流れのメモ：飛行機降りてエスカレーター上がったら，Terminal 1 A,B,C,Z という表示に従って進んでいくと上の階にある SKYLINE の乗り場にたどり着く．そしたら SKYLINE で A,Z Gates のところまで運んでもらって（ここらでゲート番号確認），そこから A の表示に従って突き進むと保安検査場を通ることになる．それ過ぎても指示に従ってゲートへ向かおうとすると自動的に入国審査へ突入．そしてその先に向かうとコンコースAのゲート達がまっている．

この流れでいけばセキュリティ1回で済む．機体が停止したのが 16:40 で，そこから上の通りに進んで A30 ゲートについてボーディングパスを出してもらったのが 17:20．セキュリティもイミグレーションも列がなかった状態で40分だった．混んでたらどうなるかわからないのが怖いけど．あとはやっぱりセキュリティの金属探知が厳しすぎる気がする．ズボンのファスナーの上の小さな留め金に引っかかったっぽい．セキュリティに本人が引っかかるとか何年ぶりだろう．

そして無事にウィーン到着．空港から CAT（市内への直通電車） の乗り場までの間にスーパーがあるので水とか軽食の確保が楽（少なくとも 20:20 にはまだ開いてた）．CAT で着く市内の Wien Mitte 駅でも同じスーパーの小さいほうが 21:00 ちょっと前でも開いてた． ここらは土産とか買うのに便利かもしれない．

何となく今回は環境が最悪：真後ろの客（おっさん）が，酒飲みまくりの暴言吐きまくりで警告書食らっても態度変えずという迷惑具合．つーか警告書とか初めて見た気がする．黄色い．

ちゃんと見てないけど読み上げられていたのを聞いた限りでは警告書食らった状態だと搭乗拒否とかされる可能性があるっぽい．航空会社間で情報が共有されてるのかどうかしらんけど，共有されてたらどこからも拒否られて船で帰るしかないとか言う状況に陥ることもあるのかね．怖い．

とりあえず，航空機内は公共の場ですよというCAの言葉が印象に残った．

閑話休題．

フランクフルト上空の天候が最悪なので30分から1時間ほど空中待機だとか．乗継失敗するかもな……　とりあえずホテルの連絡先を探しておこう．

最悪だ．全然揺れないし……

もともと4時半に起きる予定だったのでタイミングは良かったのだけど，心臓に悪い．

例によって sed で問題を解こうと頑張る．とりあえず D に関して指数個の可能性を全部生成したうえで実際に変換できるか試してみる方法を実装．小さな入力に対して正しい答え（総数のカウント付き）が出せるようだけど，流石に最大サイズの入力では処理が重い．もうちょっと頭のいい方法（生成と検査を同時に進行させる）をやらないとダメっぽい．

そして今年のA問題も難しかったという．

閑話休題．

台風が消えてくれて助かった．

閑話休題．

全問正解が早過ぎる……　全問正解したと思った瞬間にエクストラ問題とかが現れたりすると面白いかもしれない．

つーかチーム名が読めない．

結果としてここら一帯には何の暴風・暴雨もなかったような．北から風が吹き込まなければ安全？

そして明日朝イチの東京への飛行機が飛ぶのか飛ばないのかまだ分からない．とりあえず明日の朝空港まで行ってみてどうなるかかな．

明日は全部休講．

明日は職員は通常出勤．ただし無理しない．今日は早く帰れ．

明日はスクールバス運休．

明日は福利施設各種閉館．

明日はキャンパス間学内便休止．

……いっそのことみんなでお休みにすれば節電にもなっていいと思うのだけど．

閑話休題．

ICPC の国内予選はどうなるんだ？　明後日とか関東あたりがやばそうな……

去年の収入明細は 社会実験「富士山保全協力金」実施結果(確定値） で見られる．協力金は基本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時過ぎても開いてて助かった．

パンの上に刺し身……　

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

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

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

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

閑話休題．

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