No Such Blog or Diary

半日以上寝てたらしい．とりあえず出張中の出費を整理してみた．会議の参加費と飛行機とTGVは抜きで一人頭１２万くらいだった．１０泊だったのでこんなもんといえばこんなもんではあるけれど．基本的に外食なので食費がかさんだきもする．というよりユーロたけーよ．円がんばれ．

朝早くリオンからパリに移動．着いたのはパリにあるリオン駅．わかりやすいような気もするけど紛らわしい名前の付け方な気がする．

んで，飛行機は夜なので昼過ぎからルーヴル美術館を見学．サモトラケのニケ，ミロのヴィーナス，モナリザあたりの実物がみられた．モナリザは想像より小さかったなぁという印象．そしてミロのヴィーナスは見る方向で大分印象が違うなぁと．ま，飾ってあったのが本物かどうかは知らんけど．モナリザも写真撮影禁止の張り紙が伏せられてたしなぁ．ともあれ，やたらと広かったので迷った挙句に全部を回る体力は残ってなかった…　結局３時間弱歩き回っただけ．また機会があれば全部をまわりたいところ．

あとは飛行機に乗って寝て起きたら午後三時には帰国してましたとさ．金曜日は短かったなぁ．

昨日のシフトアルゴリズムの証明を追い終えた．木の重さが単調に増えるという条件を多少緩められるといいのだけど…　「最大の重さを持つ木」に関する性質がアルゴリズムの中心にあるのでこの点の改良は結構大変そう．ポテンシャル突っ込んだら終了とかいう簡単な解決が出来ると楽なんだけど．

Tree Partitioning の話が出る：「木のノードに非負の重みがつけられている．木から k-1 本の片を取り除いて k 個の木に分割する．分割された木の重さを，それに含まれるノードの重みの和とする．このとき，分割された木の重さの最大を最小にする分割を求めよ．」

最後の部分は最小を最大にするとか，最小ないし最大を制限するとかの派生がある．んで，この問題自体は多項式ないし線形オーダーのアルゴリズムがあるらしい．多項式のやつに関してはセパレータを適当にシフトしてくだけでよいらしい．max-min は簡単なシフトのみ， min-max は二種類のシフトを使うとのこと．証明追ってるけどシフトのみでいけるってのは面白いなぁ．

ENS Lyon にある研究室を訪問．とりあえず自分の研究を発表．一応これにて今回の旅の自分の仕事は終了．あとは共同研究のお話を聞く．んで，夕食はレストランでご馳走になる．とりあえず生の馬肉を食らう．刺身でなくハンバーグの焼く前のような状態．面白い味ではあったのだが量が多すぎて後半味がしない．やっぱりこっちの料理は量が多すぎる．消化は問題ないけどしばらく飯イラネ．

日曜日なので Lyon を巡ってみた．

とりあえずフルヴィエール（Fourvière）の丘 ローマ劇場と教会に行き町の全貌を眺める．丘を上るのが一苦労だけど眺めは良い．それだけといえばそれだけだけど．

んで，ものすごく長い階段を下って街中へ移動．途中，インラインスケートでレース中の選手を大量に発見．どうらやこれが混雑の原因らしい．

んで，最後に Part-Dieu のショッピングセンターにたどり着いたのだが…　日曜日なので全部の店が閉まってた．残念．

あとはレストラン街に行って飯を食う．大量に並んだ店で込み具合に差がありすぎることが印象的だった．うちらの入った店は外の席に秋がないほど埋まっていたのに隣の店は客が誰もいないとか．ま，人が多いほうが入りやすいので今日はたまたまそうなったのでしょう．連続して観測できたら面白かったかもしれない．