No Such Blog or Diary

どうもボタンの利きが悪くなってきたようで，ドラッグ中に色々とものを落とす．近くにあった rar ファイルの中にファイルが落ちてアーカイブ更新とか起きたり．あとは勝手にダブルクリックになってくれるとか．

使い始めて1年半だけど耐久度としてはこんなもんなのかな．とりあえず新しいのを買ってこよう．

つか，このへんでパソコン屋ってどこだ？

オルレアンを朝6時半に出る電車でパリに移動して，CDGを正午直前に飛び立つ便に乗って今朝6時半に羽田について．羽田を8時半に発って10時半に福岡に着いて，そこから1時間バスを待って1時間強バスに揺られて最後に歩いて1時過ぎに帰宅．移動に24時間ってのも疲れる．

つーか飛行機の中で8時間くらいは Coq とにらめっこしてた気がする．お陰で面倒な部分がひとつ片付いたのはめでたい．シートにPC電源ついてる席になってたので電力的理由による中断が入らないのがよかった．

だが眠い．このあと4時半から研究室のゼミだわ……

パリからの電車の切符がコンパクトになってた．刻印機は切符を左に寄せて入れてやらんと時刻打ってくれないとかいう微妙なオチが付いてくるけれど．

そして結局あんまりまとまって議論している時間はなかった．つーか訪問先の教授がパリで博論の審査とかいうオチで．代わりに自分の研究に関連したことを始めた新しい修士学生に研究の話を１時間以上するとかいうイベントはあったのだけど．とりあえずパリから帰ってきた教授と今後の仕事の進め方を議論してお仕事終了．

さて，あとはちょっと寝てから24時間掛けて帰るだけだ．

50ZA の予約をしておこうかなと思って楽天カードでの支払いを指定してポチってみたら，何度かトライしても「カード会社に弾かれました」と出て予約注文を完了できない．打ち間違いを確認しつつやってもダメという状況．

んで，何度目かのトライの後，携帯に 81923035631 (国内なら 0923035631) から電話がかかってきた．とりあえず意味不明なので無視しておいたら，どうもカード決済がはじかれるたびに電話が一本来るらしいことが判明．なんとなく怪しい．

調べてみるとこの番号は楽天カードの中の人からの電話らしく，なんか不正使用の疑いのある場合にはここから電話が来るのだとか．そして電話に出ないとカードがブロックされたままとか言う……　よく分からんが超不便なんだけど．海外ローミング中なので電話にでるだけで金かかるんだけど．どうしてくれんの？

ということで，カードがブロックされたままだと困るので，もう一度ポチって弾かれてみて，かかって来た電話に出てみた（決済弾かれて直ぐに電話が来る）．そしたら「そのサイトで同じ価格で不正使用されたとの情報があったので，とりあえずブロックしておきました（キリッ」とかいう話で……　ほんまかいな．ブロックをかけるプロトコルの全体像が全く分からんが，そんなルールでブロックすることが不正使用の防止にどの程度有効なのだろうか．不正使用ってそんなもんなん？　よく分からん．

電話で受け答えして自分の使用であったと伝えたら，電話中にすぐブロック解除して貰えて，結果として無事にポチる（予約を完了する）ことが出来た．が，こっちに負い目のない勝手なブロック（というふうに電話で言われた）によって安くはない電話代がかかるという不利益を被ったのだけど，その点に関してどう対応してくれるのかというのを聞き忘れた．どういう対応をしてくれるのかにとても興味が有るのだけど，今からかけると電話代が高いので帰国してから電話で聞いてみることにしよう．

次は来年か再来年か？　

閑話休題．

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

発表終わった．

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