No Such Blog or Diary

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

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

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

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

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

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