2010年10月10日日曜日

IPAM Workshop 2010 [1/8]

UCLAのIPAM(Institute for Pure & Applied Mathematics) で、今年は複数のワークショップが各月ごとに行なわれており、その2つ目、Numerical Methods for Continuous Optimization を聞きに行ってきた。
これは、そのメモである。

2010年10月10日、Ubuntu 10.10 が公開される日の 6:45 PM のシンガポール航空 SQ12 便で成田を出発し、ロサンゼルスに移動をした。


まず、出発前にお昼を済ませた後2:00PM頃に自宅を出発。京浜東北線と京成線を乗り継いで成田空港第1ターミナルへと到着する。飛行機はほぼ定時に出発。機内食は、テリヤキチキン丼とおそばとパン、と、まさに炭水化物祭りである。となりに座った外国人がサラダに入っていたサーモンについて「生の魚はダメ」といってくれる。また、蕎麦については「ソースを蕎麦にかけて食べる」と説明してしまったが、よくよく考えたらつゆにつけて食べることもできた。お蕎麦を食べ終わった後に、パンの下にノリと七味唐辛子が入っていたことに気がつき愕然とする。となりの外国人も同様だったようで、使い道のなくなったノリと唐辛子をまたもやくれた。




寝る前にひとつ映画を観ておこうと思ってみていたのが、「Toy Story 3」である。日本語訳がなかったので困ったが、英語の音声と中国語の字幕を見ているだけでもストーリは大まかに把握できた。

ごみ処理場のシーンまではたいして面白くなかったが、アンディと小さい女の子が話をしているシーンはこの映画のクライマックスでもあり、いい話である。


朝食はソーセージとオムレツ。

結局、機内で2時間程度しか眠れなかったので、少し味見する程度で終わりにしておく。



飛行機はロサンゼルス空港、LAX に定時を若干前に到着する。
このあと、入国審査で「お前の妻はどこにいるんだ」という通常はありえないような質問を受ける。
このときに審査官がパソコンを操作しながらだったので、どこかに変な情報があると面倒なことになるパターンだが、そういったこともなく無事に通過できた。
あとで学会で他の人も同じようなことを質問されたか聞いてみたが、どうやら他の人は聞かれていないらしい。いったいなんだったのか、いまひとつ不明である。
空港からホテルまではシャトルバンをオンラインで予約してあったが、シャトルバンに乗り込むところでは一人の係員をみんなで取り囲んでいる状態である。この係員に自分がどこに行くのかを説明する必要がある。しかもこの係員の作業がいまひとつなので、周りが文句を言う人だらけであった。シャトルバンは複数台が乗り場に来ているが、同じ方向に乗る人が同じシャトルバンに乗る必要があり、それに手間取っているようであった。同じスーパーシャトルでも、ニューヨークはある程度システム化が進んでおり、ここで時間はかからない。とにもかくにも20分程度待っていると、どうやら Westwood 方面のシャトルバンが来たようでこれに乗り込む。
シャトルバンは、Freeway 405 などを使って、一路 UCLA のある Westwood を目指す。今回泊まるホテルは Hilgard House Hotel である。このホテルの道向かいにもっと大きなホテルがあるが、こちらは Hilgard House Hotel に比べて、かなり高い。なお、Hilgard House Hotel は、UCLA の敷地のすぐ外にあり、チェックインの時点で既にワークショップ参加者と出会う。
Westwood の地域は、UCLA の学生街であり、となりにビバリーヒルズもあってロサンゼルスの中では比較的治安が良いとされている。もちろん、夕方から暗い道は危険である。Westwood Blvd と LeConte Blvd の2本の通りは、レストランも充実しており、人通りも多いので、ここを使うのが安全性が高い。
日常品などは LeConte Blvd のスーパーマーケット Ralphsと電気店 Best Buy でたいてい用が足りるので、Hilgard House Hotel はかなり使い勝手が良い。
しかも、LeConte Blvd を通るバスは2番(ハリウッド方面)、761番(ゲッティセンタ方面)があり、これまた都合が良い。
ホテルのロビーにあったレストランマップを参考に夕飯を探す。
今回は FALAFEL KING という中東のお店である。このお店は Broxton Avenue にあり、本格的なレストランではなくファーストフード感覚である(チップがいらないタイプ)。
なお、ホテルにあるマップだと位置が Broxton Avenue の西になっているが確か東だったかと思う。
ここでは FALAFEL というものを食べてみた。どうやら、コロッケに近い感じのもので、これはそれなりに美味しかった。アメリカの食事のレベルは日本に比べるとどうしても劣るが、最初からそれなりに美味しいものに当たったのはラッキーであった。
帰りがけに Westwood 通りと Weyburn 通りの交差点にある CVS に寄ってミネラルウォーターなどを仕入れる。
ホテルに帰って、早速寝る。

2010年10月8日金曜日

資料作成

海外出張に先立って、できる範囲の事務処理を片付けるだけで今日は終わってしまった。
楕円の研究については、重要な点をリストにまとめたので、これをベースに考えてみたい。

今日の作業内容:
10:00-10:30 [ok] 資料作成の始め
13:40-15:00 [ok] 資料作成第1部
15:30-17:00 [ok] 資料作成第2部
17:30-18:30 [ok] 資料作成第3部
今日のBGM: FF12 OST [1,2]
今日のランチ:シッダルータ ほうれんそうとじゃがいものカレー
明日の予測作業時間: 2h

2010年10月7日木曜日

emacs 上で gpg で暗号化

gpg で暗号化できるが、emacs 上で直接テキストファイルを暗号化することができる。
したがって、暗号化したファイルを emacs で開いて編集して、直接暗号ファイルに書き込むことができる。

gpg で鍵を作ってある場合、Ubuntu などではすでに emacs に easypg が組み込まれているので、拡張子を ???.gpg とするだけである。例えば、
$ emacs sample.gpg
として、Ctrl-x Ctrl-s でセーブをするときにどの鍵で暗号化するかを選択して m でマークをつけて、OK のところでリターンキーを押せばよい。
実際に emacs を終了して、cat などで sample.gpg を表示させれば暗号化されてバイナリになっていることが解る。
次に emacs で sample.gpg を開くと、鍵のパスフレーズが聞かれ、これによってファイルを編集できるようになる。

なお、古い emacs などの場合、easypg が入っていないこともあるが、この場合には
http://sourceforge.jp/projects/epg/files/
からepg-0.0.16.tar.gzをダウンロードして、
./configure && make && make install でインストールできる。
利用するには、.emacs に以下の2行を追加する。
(require 'epa-file)
(epa-file-enable)

今日の作業内容:
10:00-10:30 [ok] gpg 下調べ
15:30-16:00 [ok] 書類整理
16:00-16:30 [ok] gpg & emacs 下調べ
16:30-17:00 [ok] 海外出張書類コピー
17:00-17:30 [ng] 情報幾何の資料調査
17:30-18:30 [ng] Fisher 行列資料調査
18:30-19:00 [ng] 楕円の例を探す
今日のBGM: なし
今日のランチ:さか本 カレー膳とおそばのセット
明日の予測作業時間:3h

2010年10月6日水曜日

楕円の例、難しい

やはり楕円の例は簡単には見つからないようだ。
もう少し考えてみる必要がある。
簡単な例だと、目的関数の正定値行列を作るのが aritifical になってしまうのだが、portfolio のモデルだと中心が必要ない。


今日の作業内容:
10:00-11:00 [ok] SDPA 原稿修正
10:30-11:30 [ok] Bental-Nemirovski の論文チェック
11:30-12:00 [ok] 例題にできそうかどうかチェック
16:00-16:30 [ok] 疎行列について調べる
17:30-18:00 [ng] SDPA 原稿修正
18:15-19:00 [ok] 海外出張書類準備
18:30-19:00 [ok] 楕円の例を考える
今日のBGM: NOIR OST [1-2]
今日のランチ:味庵 白身魚のチリソース
明日の予測作業時間: 2h

2010年10月5日火曜日

楕円の例になりそうなものを探す

やはり、楕円の例になりそうなものは簡単にはないので、もう少しかかりそうである。
linear な項だけでなく quadratic な項がすべての変数にあるといいのだが、明示的にいれてしまうと、わざとらしくなりすぎて良くない。
とりあえず、Bental-Nemirovski の本から例を探してみる。

今日の作業内容:
10:30-11:00 [ok] 事務書類
10:45-11:45 [ok] 海外出張書類準備
13:10-13:30 [ok] 海外出張会計準備
13:30-14:30 [ok] 楕円の例を考え直す
14:40-15:00 [ok] 簡単な例をSDPで検証
16:00-17:30 楕円になりそうな例を探す
今日のBGM: マクロスF OST [1-2], FF7 Reuion
今日のランチ: らく 鶏くわ丼とおそば
明日の予測作業時間:2h

2010年10月4日月曜日

SCIP の話を聴く

今日は午後に SCIP の話を聞いてきた。
SCIP は constraint program のためのソフトウェアで、 ZIB で開発が進められている。
やはり、contraint program なので、いろいろな手法が取り込まれており、SDPA と比較しても複雑になっている印象である。
いずれにしても、branch-and-bound などは全ての問題に対して同じ方法で効率をあげようとすると無理が生じるので、そのあたりを複数の手法でいかにカバーするかが重要である。


あと、SDP で楕円の計算の example を作ってみているが、aritificail ではなく、シンプルでかつ効果的なもの、となると、意外と難しいことに気がつく。
こちらは、アイデアを練り直す必要がある。

今日の作業内容:
15:55-16:15 [ok] 事務処理
16:15-16:45 [ng] Matlab の乱数のところ
16:50-17:20 [ok] Matlab の乱数のところ
17:00-17:30 [ng] SDP での定式化
17:00-17:30 [ng] SDP での定式化
17:40-18:10 [ng] SDP での定式化
18:10-18:30 [ng] もう一度アイデア練り直し

今日のBGM: everywhere [1-2]
今日のランチ:じょじょえん カルビクッパうどん
明日の予測作業時間:4h

2010年10月1日金曜日

制御の論文もチェック

ellipsoid については、制御系の論文にも引用されているようなので、そちらの論文もチェック。
今日読んだのは、

Calafiore, El Ghaoui, Ellipsoidal bounds for uncertain linear equations and dynamic systems, automatica, 40, 773-787, 2004

制御の論文だと、最適化とはまた違った視点もあるし、応用例なども異なるので、そのあたりは参考になる。
特に、3章については応用のアイデアを SNL にも活用できそうだ。また、数値実験の example も non-convex な例になっているので、これも取っておきたい。

論文読みはあと3本ぐらいにして、そこで一端読んだ論文の使えそうなところを抜粋することにする。

あと、どのくらい作業しているかのメモをつけてみることにした。
予定時間までに終われば ok, 終わらなければ ng としてメモ。
今日は予定時間しかかかなかったが、経過時間を把握したほうが良さそうなので、来週からは開始時間も記入する。

今日の作業内容:論文読み 2h + SDP 緩和チェック 2h
今日のBGM: SKY OST [1-2], FF12 OST [1,2,3]
今日のランチ:らく 鶏くわ焼きとおそば
明日の予測作業時間:5h

10:20 [ok] lxde での付箋調べ
11:20 [ng] 論文p773-778
11:50 [ok] 論文p777-783
14:00 [ng] SDPA パッケージチェック
14:30 [ok] SDPA チェック項目のチェック
15:00 [ng] SDP 緩和の簡単な例を確認
15:30 [ok] SDP 緩和の簡単な例を確認
15:45 [ng] SDPA チェック項目再確認
16:00 [ok] SDPA チェック項目再確認
16:30 [ng] Debian コマンドチェック
17:15 [ng] Debian コマンドチェック
18:45 [ok] SDPA 原稿修正
19:00 [ok] 提出書類作成