No Such Blog or Diary

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

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

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

閑話休題．

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問題も難しかったという．

閑話休題．

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

閑話休題．

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

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