No Such Blog or Diary

次は来年か再来年か？　

閑話休題．

イベント後に呼ばれて参加したインフォーマルなミーティングでの内容が一番インプレッシブだったなぁと．ARMプログラムのタイムバウンドを保証するとか面白い．そもそもアセンブラのぐちゃぐちゃジャンプしまくりのプログラムを証明するだけでも面倒そうなのに，そこにコストまで導入して証明しちゃうとか．ま，あくまで上限の証明だし，その上限はこちらが与えておかないといかんのだけど（それを推定してくれはしない，という話だった）．並列版の証明とか更に面倒そうだけど，保証のある並列プログラムは欲しいよねという感想．

発表終わった．

ぶっちゃけ羽田からの深夜便で飛んでってそのまま発表するのは体力的に無謀．シャルル・ド・ゴールについたのが6時で，空港でたのが7時半で，パリ市内の会場についたのが8時半で，イベント開始が9時で，自分の発表が11時半．ちょっときつい．

羽田までの移動がめんどくなったなぁ．そして福岡空港までの移動もバスのタイミングが微妙だし……

どうでもいいけどJALのファーストクラスラウンジは快適だ．

C型へのプラグ変換アダプタが行方不明なので新しく購入しようと思ったのだけど，近所で何処に売っているかわからないとかいうオチ．博多のヨドバシなら確実にあるだろうけどそこまで行くのも面倒だなぁとか思って近所を回りまくってより面倒．

今日は朝の集まりが悪かったなぁ．金曜だからか？　研究室の特性か？　とりあえず前日に作業を終えた気になってても当日の集合時間に集合しろよ．

閑話休題．

面倒な仕事が終わったので来週月曜のスライド作らんと．

つか，金曜までに事前にスライド送ってねとかメールが来てるよ……　時差７時間を有効活用．

予定通り片付かない部屋が……　スケジュール大変更という結果になった．今日は部屋数が多かったからかもしれないが，そもそも部屋に荷物多すぎで廊下狭いから「大量の部屋を空にする」とかいう要求に無理があるような？

つーかもうちょっと近くの部屋同士で協調動作してくれると助かるのだけど．

閑話休題．

年齢++．