2008年06月

人形弱すぎだと思うのだけど…　気のせいか？　人形でクリアできん．

それよりもアスペクト比固定したままのスケーリングが効かないのはなぜだろう？　

放熱効果を上げるために髪を切った.五分刈り(9mm)で.6mmくらいに短くしたほうがさわり心地がいい気がする.

ところで,五分刈りって何の五分なんだ？

速いなぁ．上りが今までの下りと同等になった．ほかに使う人いなくてこの速度が保たれればいいなぁ．

そういやそうだった．

そんなことよりもubuntuのアップデートで間違って8.04へアップグレードしてしまい色々と問題が…．しょうがないので8.04クリーンインストールしてやった．幾つかの面倒なパッケージが変な事せずにすんなりインストールできるようになったのはいいけれど，amd64のubuntu-desktop-jaはまだかな？

起きたら18:00過ぎだったこと．

emacsのソースをcvsからcheckoutしようとしてもエラーでとまること．

B-CASカードの存在意義．

レンズの値段．

Skypeでの不在時イベントを携帯に連絡してくれるような仕組みとか．まあ，Skypeと連携するソフトは作れるのでそいつからメール飛ばせばいいんだろうけど．自前でやるにはちと面倒だ．

まあ，使い続けるかどうかはナゾだけど．

ところで多地点のビデオ会議ってできるんだっけ？

とりあえず問題が無ければ土曜日に工事らしい．100Mbpsシェアなので変なヘビーユーザーがいないことを願う．

メインＰＣの調子がまだ悪い。クリーンインストールしても直ってないということはハードのどこかが壊れかけなのかもしれない。とりあえず原因が特定できない以上はこまめにバックアップ取るしかないか。しかも「かう」と打って「買う」が候補に出なくなってたりＩＭＥもバグってる…。ほんと何が悪いんだ？

カメラ使う機会がこない．アジサイが終わってしまう．早く雨やまねぇかな．

ところでFireFox3で中クリック後のスクロール機能はなくなったのだろうか？　どこかに設定があるのかな？

読みにいったきり帰ってこない。ディスクのチェックすら行きっぱなし。今度は別のドライブがおかしくなったので買ってきたドライブが悪いわけではなさそうだけど。とりあえずデータ拾えるところだけ拾ってフォーマットしとく。

ジェスチャのアドオンを変更．今のところ不満なし．

マシントラブルで時間がなく…　250点問題を解いたのみ．Java でpermutationを自前で書くよりC++使えば一瞬だったよなぁ、と．

250点問題：各アイテムの割合が与えられ，それをパイグラフに描いたときに最大で何本の直径を引くことができるかを答える．結局アイテムの並べ方全パタンを生成し，差が５割である組の数を数えて最大をとれば終わる．

500点問題：紙の上に書かれた表に数字が書いてある．紙を縦か横かに折って重なった部分の数字を足しあわせて新しい表とする．これを適当に繰り返して表に書いてある数字を最大化しする．とき方よくわからないので枝狩りで再帰かな？　表の正数の合計より現在の最大値が大きければその表は破棄で．

1000点問題：有効グラフと始点と終点が与えられ，それらの点を結ぶK番目の最短路の長さを答える．グラフには制限があり，どの頂点も高々ひとつの単純サイクルにか属さず，どの２頂点も高々ひとつの単純経路しか持たない．結果として，最短路を求め，その最短路から順番にその路上のサイクルを余計に一回回って少し大きな経路を小さいほうから作っていけばいい気がする．でも馬鹿正直にはできないから工夫が必要なはず．

SRMに参加しようとアリーナを起動しようとした瞬間に世界が止まった．そして再起動もできない．結論としてはOS及び色々な作業成果の保存用として使っていたHDDがお亡くなりに…　かなりダメージ大．

しょうがないので新しいHDD買ってきてOS入れなおして，それからサルベージできるデータだけ何度もトライして抜き出した．バックアップのない部分の作業成果のデータも大部分はサルベージできたので何とか最小限のダメージですんだ．

やっぱり３週間もエアコンなしでPCつけっ放しだったのがやばかったのかな？

ダウンロード終了．早朝なので速かった．

が，All-in-One Gestures 動かない…　新しいバージョン出なさそうだし別のアドオンに換えないとだめか？

Kiss X2 Wズームキットとどちらにしようか迷ったけど連射性能と細かいところの性能を優先して40D買った．ちょいと予定より大きな出費になったけど…　２万円キャッシュバックがあるし．EF-S55-250 IS を買い足しても５万くらいの差しかないし．付いてるのUSMレンズだし．Kiss X2 小さすぎて持ちにくかったし．

天気がよければアジサイでも試し撮りに行きたいところ．だがしかし，土日は天気が悪そうだ…．

あとほかのレンズはどうするか？

おきたら午後一時すぎてた．疲れていたのか時差ぼけか．どうでもいいからとりあえず洗濯物を片付けよう．

が，初っ端からボストン→シカゴの便が遅れるとか言われ…　ひとつ前の便にまだ間に合うから急いでゲートまで行けとせかされ…　乗ったはいいけど結局この便も遅れ…　ま，シカゴで２時間の余裕を取っておいたので日本への便への乗り継ぎに問題はなかったのだけど．むしろ問題だったのは隣の席に座ってたアジア系のおっさんが人の席の方へ乗り出して座りリモコン操作のたびに毛布をバシバシとぶつけて来るわけのわからん迷惑な乗客だったことか．邪魔すぎて寝れやしねぇ．おっさんの攻撃をよけるために通路側によってたらフライトアテンダントからのカートによる攻撃がくるし…．そもそも今日のフライトアテンダントたちは色々と大雑把過ぎるし…．とりあえずどうでもいいストレスがたまった一日だった．

そういや日本への入国のときに税関申告書（携帯品・別送品申告書）を書かされるようになってたのは知らんかった．実際これで税関がスムーズになるのかどうか知らんけど，バゲージクレームで荷物を待ってるときにでも書けばいいので全体としてのタイムロスは減っているのだろう．

Four Points by Sheraton Boston Logan Airportとかいうホテルに移動．ホテルに空港名があるにもかかわらず5キロも離れてやがる．だまされた気がしなくも無い．

それはともかく寝ぼけて洗顔フォームと歯磨き粉間違えて歯を磨きだしたダメージが…

こっちからかけるとやっぱり繋がらない．さて誰が悪いのだろうか？

先生と無事合流．ホテルに飯を食うところが無いという問題にいまさらながらに気づく．そんで外に飯食いに行ったけど一週間分の朝晩の食料費に匹敵するくらいの金がとぶ．スーパーで食材買うほうがやっぱ安いよなぁ．

それはさておき明日にはコードのチェックイン権限がもらえるのかしら？

ビザ取れなかったので予定していた人が来ない．胃の調子がおかしくて飯くわず．秋葉原の通り魔事件をいまさらながらに知って驚く．エラーの意味がまったくわからない．尋ねるべき人間がつかまらない．ココアの粉が溶けないで底に残る．

とりあえず明日一日で目標に達成できるといいなぁ．目処は立ってるけど細かいところでエラーにつかまりそうで恐い．

昨日の散歩から帰ってから頭痛かったので贅沢にも一日寝てすごす．そろそろ食料品の処分も考えんとなぁ．

先週閉まっていたMITのCOOPに行こうと街まで出る．が，レジが込んでた＆琴線に触れるアイテムが無かったので何も買わず眺めただけ．なんとなく本屋と服屋を足して３で割った感じだった．

それはさておき鳥やらリスやらの小動物がそこらにいる環境はいいなぁ．やつらの動きを見ていると面白い．東京もこうならないものかね．

携帯のスパムメールがうざい．金掛かるからくるな．

それはさておき昼飯のときの会話でtheorems for freeとかfunctional programming with bananas, lenses, envelopes, and barbed wireとかが関数型言語周りの変なタイトルの論文として挙げられていたりsubtypingのせいでparametricityが壊れるだのの会話が出たりと今日の話はマニアックだったなぁ．何でこんな話になったのか思いだせん．

オフィスに向かう直前に少し参加．250点だけといて，500点は問題読んだだけであきらめて，950点はアルゴリズムわかったけど書いてる時間なかったのでパス．950点は帰ってきてから試したらテスト通ったのでアルゴリズムは正しかったらしい．

250点問題：ルールに従った0-9の数字でできた上三角を復元する問題．それぞれの数字は，その上の行にある二つの数（直上とその右の数）を足した結果の１の位．で，各行の数字がひとつだけわかっている状況から全体を復元しろと．下から順に決まるので問題ない．

500点問題：数列の区間和の差を最小化してみろという問題．ナイーブにやると時間オーバー．効率的な構造が良くわからなかったのでパス．

1000点問題：各企業は独自のデータフォーマットを持ち，変換可能な他企業のフォーマットが決まっている．さらに，処理できるデータの量と，運営コストがある．で，与えられた企業からもうひとつの与えられた企業へのデータフォーマットをなるべく沢山したい．安いコストで．さてどの企業を動かしますか？　とりあえず，各企業を二つのノード（入／出）で表してそのノード達をつなぐエッジに処理可能量を容量として指定する．そして，その出ノードを変換可能な他企業の入ノードにつないだネットワークを作る（このエッジの容量は処理能力の和とか）．あとは運営するかどうかの全パタンに対して最大流をといて，流量最大かつ費用最小のパタンをはく．最初の企業と最後の企業も処理能力までしか入出力できないことに気をつければ他にはまりそうなところは無い．

結局のところ型推論が想像通りには動いてくれないのでエラーを吐かれると．話を聞く限り夏中には動くようにできるけどしばらくはできないらしい．ま，小細工で無理やりできる部分は無理やりやろう．

そして今日は雨が降っていたので非常に眠かった…

よくわからなかったりおかしいと感じたとこを質問するとたまにクリティカルな虫にあたる．まだまだ開発途中だねぇ．

それにしても簡単な議論とかのために一日中Skypeのチャットに入りっぱなしってのはどれぐらい標準的なことなんだろう？　オフィス広いし迷路みたいだからオンラインのほうが楽だし，ソースコード貼り付けたりするのも楽なので良い感じではあるのだけど．研究室でもこれやれば誰がどこにいるかわかり易くてよさげ．

どうでもいいけどなぜSkypeを終了するとタスクバーもお亡くなりになってしまうのだろうか？

慣れてきたころに無くす物：バッジ．ま，その日限りの紙製Visitorバッジなので問題ないと思われるけど．とりあえず明日入り口のおばちゃんに怒られるくらいだろう．

そういや至る所のホワイトボードにSAVE/CLEANが裏表に書かれたマグネットのプレートが貼り付けられているのが印象に残った．取っておきたい内容ならSAVEを表にして貼っておくと．会議室の大きなボードとかは複数枚が準備してあって，複数の保存領域を線で囲ってSAVEを貼っていたのが面白い．フラグメンテーション起こしたときには如何すんのかねぇ．研究室のホワイトボードにも導入できるシステムだけど大抵の場合CLEANのままなんだろうなぁ．

昨日失敗したので今日行ってきた．が，日曜日なのでCOOPが開いてない…　土産が買えん．とりあえず一通り見て回って帰ってきた．来週元気があって雨じゃなかったらリベンジ．

ところでボストン周りの移動はMBTAつかったけどhttp://www.mbta.com/で移動手段の検索ができるのは便利．あとはバスが現金だと$1.50だけど$2入れたら$0.50チャージしてあるチャーリーチケットが返ってきた．紙製だけど再チャージ可能だそうで，地下鉄と帰りのバスはこのチケットを再チャージして使った．ちなみにプラスチック製のチャーリーカードの方は料金もお得になるらしいけど…　入手法がわからないしそんなに使わないのでチケットでいいや．

ボストンの街に行こうと思ってバス停まで行こうとしたら雨に降られた．天気予報では90%の降水確率となっていたのだが，一度降って晴れたからもう降らないだろうとか思ってみた．が，天気はそんなに甘くないらしい．とりあえず初日もそうだけど長距離の移動を試みるときに雨が降ってる気がする．そして冷えたので今日はさっさと風呂入って寝る．