2008年02月

夕方起きた．折角の４年に一度しかない日なのに昼間がいつの間にか終わってる…

証明が面倒なものである．明らかに正しいのに証明しようとなると手間かかるなぁ．

めがねを代え忘れたせいでスライドを見るのに目が疲れた．そのせいか頭痛が…　寝よう．

Framework 3.5 は VisualStudio2005 で使えるのだらうか？

それはさておき，レンタルサーバの代金支払いに登録してあるレジットカードが限度額いっぱいまで使い切ってしまっている状況なのだが大丈夫なのかなぁ？　何の連絡も来ないけどとりあえず様子見しとこう．

Asynchronous JavaScript and XML の略だそうだけど別の意味があるのかと調べてみたらギリシア神話に登場する英雄にAjaxというのがいるらしい．二人も．でも関係あるかどうかよくわからん．

2/22で「にゃんにゃんにゃん」だということらしい．そして11/1が犬の日らしい．

何も間違ってない．

せっかくフラゲしたので３６時間以上寝てないにもかかわらず読み始めてしまった．とりあえずいつもより時間かかった気もするけど読了．何で時間軸と空間軸しかないのだろう？　たまには別のギミックがほしい．

いまのところビッグチロルは箱が大きいだけで中身は通常サイズ．でもやっぱり人としては中身もあのサイズのものがほしい．ということで，自前でビッグチロルサイズの抹茶チョコを作ってみた．

左が作成された真・ビッグチロル（抹茶ミルク）．右がビッグチロルの箱．とりあえず重さは520g．どうやって食べればいいのかわからないのが問題なのかもしれない．

以下，作成過程抜粋．

まず原料．抹茶入れて緑色にしたいのでベースはホワイトチョコ．今回は大東カカオのクーベルチュールホワイトチョコ2kg（2780円）．体積比を考えると600gぐらいでビッグチロル一個分くらいなので作ろうと思えばビッグチロル３つ作れるはず．でも今回は一個で十分なので一個分（600～700g）だけを砕いて湯せんにかける．

そんで湯せん中に型の用意．型にはビッグチロルの箱を使用．面倒なのでクッキングシートを箱にしたがって折って内側に配置．

湯せんで溶かし終わったところ．塊を細かく砕くのが面倒だったので大きいままにしてたら溶かすのに時間食った．

んで，抹茶と混ぜ合わせる．分量は適当．いろいろと面倒なのでフードプロセッサで片付ける．ちなみにホワイトチョコの一部はビッグチロルの最上部として型に流し込んであったりする．

抹茶混ぜ終わったら型に流し込む．あとは冷蔵庫に入れときゃ完成．多少余った分は別の型に入れて固めた．

試食：もっと抹茶入れないと抹茶の味がしない．色はついてるけど色しかついてない…．次回やるときにはもっと深い緑になるまで混ぜ込もう．ついでに，生クリーム入れてやわらかくしよう．

Primのアルゴリズム間違ったかな？　有向グラフ用の最小全域木アルゴリズム実装し始めた時点で終わってた気もする．問題よく読もう．そして1000点問題を全探索で書くのはバカだ．ということで，250点問題しか解けてねー．それ以前に開始直後にキーボードが反応しなくなるという時点でいろいろと悲惨だったのだが…

250点問題：シミュレートして終わり．

500点問題：最小全域木作って終わり．

1000点問題：行と列で奇数部分をフリップすると他方の偶奇の数が入れ替わる．これに気づけば簡単な条件判定．

追記：どうやら本戦にいけるらしい．

せっかく根性でポーカー書いたのにまた明日やり直しか...　

結局サーバ停止は何が問題だったんだろう？

500点問題にバグを埋め込んだ．青くなってしまった．だめだこりゃ．

250点問題：ある点から右にある最も近いインターバルの始点を求めて最小のやつを取るのみ．間違えられない．

500点問題：DP．辞書順最小のための優先順を間違った．

1000点問題：長方形の演算を繰り返して最後に足し合わせる．プログラム書き終わらなかった．

追記：1000点問題書き終わったのをPracticeに投げたら通った．例外処理が面倒なので，とりあえず入力されうる長方形の最大サイズの真っ白な長方形を用意．そのうえで，入力された長方形の四辺の直線で下にある長方形を全部切断し，切断された長方形のタイリング（2x2ブロックの塗りわけ16種類）を更新していく．細分化に最適化を入れないと間に合わないかと思ったけどナイーブな実装で間に合った．まあ，細分化された長方形の最大数が10000程度なので問題なかったと．もう少しアルゴリズムの確定が速ければ間に合ったかもなぁ．

木曜のサーバ置換から引き続きうまくメールが受信できない．というより，サーバ上に保存してあるファイルをすべて取得しなおすような展開になってしまっているので...　六千通以上のメールを受信するにはまだサーバが混みすぎているもよう．いろいろとどうにかしてほしい気分．

VMwareからXを転送してWindowsのXmingで表示しているのだが，WindowsネイティブのウィンドウはdvorakなのにXmingのウィンドウはqwertyとかいうわけのわからん環境でしばらく作業してた．が，いい加減疲れたのでXmingの.launchファイルにxkbの設定を書き込む．

ExtraParams="-xkbmodel us101 -xkblayout dvorak"

何でXMLなのに属性に設定を書かなければならんのかよくわからんのだけど，とりあえずこれですべてのウィンドウがdvorakになった．

スライドを変換したい．

ISDNしか接続できないビデオ会議システムなんか使うなー．IPで繋がるように穴あけてくれー．というより，穴あいてないことをもっと早く教えてほしい．あー，準備やり直し＆接続テストできず．どこかに協力に穴を突き抜けるビデオ会議システムはないものか？

去年のLet'snote の予約キャンペーンで申込みが先着１０００名に入っていたらしくW7用の軽量バッテリが送られてきた．定価２万円なので結構得した気分．遠出するときの予備として使ってあげよう．

同じフロアの反対の端にある部屋までダッシュで往復しまくったので疲れた．久々に走りまくった気がする．とりあえず衝撃が逃げ切れていなかったのか脛に負荷がかかったようで痛い...．

さて，あとは向こうから連絡が来れば終わりなのだが．