No Such Blog or Diary

なにげに撮影モードダイヤルとかが動くしレンズも外れてくれる．だがしかし，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 とかいう言葉を説明なしで使ってる発表にもテクニカルな質問が飛んでたりして聴衆の前提知識の度合いがよく分からない．