SDPARA を開発しよう

sparsePOP のC++版を Ubuntu でコンパイル

2012-02-15T22:29:00.000+09:00

sparsePOP の C++ 版を Ubuntu でコンパイルしたが、これが結構難しかった。
というのも、README に書いてある方法では、SDPA をコンパイルするときに同時にコンパイルされる MUMPS にリンクするようにしてあるのだが、MUMPS自体は apt-get でインストールしたものがあるので、これにリンクしようとしてライブラリ名がかみ合わずに失敗していた。

そもそも、MUMPS は single 版と並列計算用の parallel 版があって、single 版の場合には MPI のラッパーをかませることで基本的には対応している。
これが、Ubuntu だと libdmumps_seq.a にリンクすることになっており、標準的な libdmumps.a libpord.a は parallel 版のライブラリになっている。
つまり、libdmumps.a にリンクしてしまうと、MPI 関係のエラーが出て実行ができない。

このあたりは注意が必要なのだが、そもそも MUMPS を apt-get 由来のものにリンクするには configure.in を書き換えて autoreconf をかませる必要があって、ほとんどの人はこんなに面倒なことをしない。

今日の作業内容：sparsePOP のコンパイル 1h + SDPARA チェック　2h
今日のランチ：つかさヒラメのから揚げ
明日の予測作業時間：4h

SDPA のチェックポイント

2012-02-14T19:34:00.000+09:00

SDPA では、途中までの解を出力しておいて、それを初期点として次の計算に利用できる。

たとえば、param.sdpa で maxIteration を 5 にすると
$ ./sdpa example.dat-s example.out
で example.out には 5 反復目までの解が入力される。
ここで、example.out の先頭行から xVec とある行までを削除したものを init.dat とすると、
$ ./sdpa example.dat-s example5.out init.dat
とすると、実質６反復目から計算できる。

ただし、この場合は、theta などの一部の情報が引き継がれないので、これらがない状態での計算となり、ずれが生じる。
これらの情報を引き継ぐためには、ファイルに書き出して読み込み直す、という作業が必要となる。

今日の作業内容：SDPA チェックポイント 2h + 論文読み 1h
今日のランチ：角笛　さわらのから揚げ
明日の予測作業時間： 5h

unit disk graph

2012-02-13T17:58:00.000+09:00

SNL関係の論文を読んでいたところ、unit disk graph という名前がついたグラフがあることが分かった。

Clark, Colbourn, Johnson, "Unit disk graphs", Discrete Mathematics, Vol 86 (1–3) pp 165–177, 1990

によると、５以上の奇数サイクルを持つグラフは unit disk graph であるという。
この性質はある最適化問題では重要な性質になっていることが知られている。

最適化からみると、予想外のところを結びつける内容なのかもしれない。

今日の作業内容：論文読み 2h
今日のランチ：四川豚のもやし炒め
明日の予測作業時間：4h

A brief history of lift-and-project

2012-02-10T18:10:00.000+09:00

整数計画問題を解く上で lift-and-project は重要な手法のひとつであるが、この手法の提案をした人が当時を振り返ってまとめた文章がある。
それが、

A brief history of lift-and-project
http://www.springerlink.com/content/b4h2n873j31t1448/
である。

これを読むと、legendary という形容詞がついている Egon Balas らと出会うところから始まり、Pittsburgh への異動など、研究の裏側でどのような生活があって、どのような出会いがあったか、などが分かって興味深い。

また、これを読むと、研究には運がつきもののようである。
一見うまくいっていなかった研究と結びついたりもするし、タイミングがよくなければダメであったりもする。

今日の作業内容：タンパク質データの読み方の勉強 2h + 論文探し 2h
今日のランチ：　ちゅらさん　しまなーチャンプル
明日の予測作業時間：4h

1F39

2012-02-09T19:37:00.000+09:00

この前から調べていたたんぱく質の 1F39 だが、どうやら構造自体が難しいようだ。
pymol の cartoon だと alpha-helix, beta-sheet などの基本的な構造が表示されるが、1F39 の場合にはこれにカバーされていない領域が固まって存在している。
この部分が問題を難しくしているようだ。

今日の作業内容：たんぱく質データ確認 2h
今日のランチ：つかさ　カンパチまかない丼
明日の予測作業時間：4h

たんぱく質データをチェック中

2012-02-08T19:35:00.000+09:00

SNLの計算のために pymol で見たり、たんぱく質データをチェック中である。
pymol での操作は、リファレンスカード
http://s3.myopenarchive.org/season1_doc_org/94.pdf
も役に立つが、これは一通り操作を知っている人がコマンドを思い出すときのものであって、素人の自分には難しかった。
あと、特定の原子間の距離がどの程度あるのか pymol で表示させるのは難しく、
http://ameblo.jp/yare-yare-78/theme-10020442933.html
に載っている方法を利用するが、どうも特定の原子をマウスで指定するのが難しい。
（原子についている番号で指定できるようだが、３次元表示しているとどの原子が何番で、どう書けば指定できるのかがいまひとつ分かりにくい。）

結局のところ、pymolの場合は、マニュアルを見たりするよりも、ウェブで検索して試行錯誤をするのが一番早いことが分かった。

ところで、今扱っている１３個のデータだが、調べてみると面白いことがあって、オングストロームに対してほぼ同じ距離で原子がある。
どういうことかというと、１オングストローム以内の原子ペアの数、２オングストローム以内の原子ペアの数 ... ７オングストローム以内の原子ペアの数を数え上げたときに、これらの原子ペアの総数に対して、それぞれのオングストローム内の原子ペアの数がほぼ同じなのである。

つまり、７オングストローム内でお互いに存在する原子ペアの数を N として、aオングストローム以内の原子ペア数を N(a) とすると、N(a)/N （ただし、a=1,...,7) が１３個のたんぱく質でほとんど同じ値になる。
これは不思議な現象でもあるので、PDBから必要なデータを取り出すルーチンでそのようにしているのかを確認したほうがよさそうだ。

今日の作業内容：論文読み 1h + たんぱく質データ計算 1h
今日のランチ：さか本とろろめし丼膳
明日の予測作業時間：4h

昨日の論文の続き

2012-02-07T18:59:00.000+09:00

今日は時間が比較的細切れだったので、昨日の論文読みの続きをしておいた。
一通り論文は読み終わったが、どうも Lemma 1 の r \ge 2 l sqrt(d) が今一つ正しくない、あるいはかなり大きく見積もっているようにも見える。
このあたりは、もう少し検討してみたい。

今日の作業内容：論文読み 2h
今日のランチ：味庵　鶏の黒胡椒炒め
明日の予測作業時間：2h

SNLの論文をチェック

2012-02-06T17:49:00.000+09:00

今日は細切れの時間を利用して、SNLの新しめの論文をチェックし始めた。
読んでいるのは、
http://arxiv.org/abs/1010.2262
であって、アブストラクトからすると理論的な側面が強いようだ。
まだ前半部分だけなので、どのあたりが今後活用できそうかを検討しながら読んでおきたい。

今日の作業内容：論文読み 2h
今日のランチ：らく豚生姜焼き
明日の予測作業時間：1h

論文斜め読み

2012-02-03T20:43:00.000+09:00

今日は時間が比較的細切れとなったこともあって、５本ぐらいの論文を斜め読みした。
先週までに、ある程度基本的な論文を時間をかけて読んであるので、斜め読みにしても重要なキーワードなどで突っかかることがなくなりつつある。
今日調べた論文は、基本的な論文の拡張であって、自分の検討したい拡張とは別の方向性であったが、このあたりの知識も少しずつ増やしておくと、あとでアウトプットをするときに役に立ちそうである。

今日の作業内容：論文斜め読み 2h
今日のランチ：ちゅらさんタコライス
明日の予測作業時間：2h

Git の本

2012-02-02T18:49:00.000+09:00

SDPA のソースコードの管理は Git で行っているが、Git についてまとめられている本がある。

[Gitによるバージョン管理]のAmazonへのリンク

Git は慣れてしまうと使い勝手がいいが慣れるまでが大変なので、この本が大いに参考になりそうだ。

今日の作業内容：Debian インストールの調整 1h + 論文読み 1h
今日のランチ：シッダルータ　チキンカレー
明日の予測作業時間：3h

Debian testing のインストールを確認

2012-02-01T18:42:00.000+09:00

今日は論文読みと並行して Debian testing のインストールを確認してみた。
基本的には
http://cdimage.debian.org/cdimage/daily-builds/daily/arch-latest/i386/iso-cd/debian-testing-i386-businesscard.iso
をダウンロードして VirtualBox にインストールしている。

すでに日本語でインストールできる状態になっており、kernel も 3.1 を選択できるようになっている。
パッケージの選択の時に何も選ばないとブラウザも入っていない最小構成を簡単に作ることができる。

今回はできるだけ小さい構成ということで lxde をインストールして、あとは ibus-anthy, TeX 関係、そして SDPA 関係をインストールしている。
このくらいでざっと 1000 個のパッケージとなり、仮想ディスクが 4GB ほど消費される。

VirtualBox のシームレスモードは VMware のユニティに相当するが、自分のところではユニティよりも高速に動くようだ。
シームレスモードで利用していれば、ブラウザはホストＯＳのものが使えるので、ブラウザをインストールする必要もない。

ところで、TeX に日本語が通せるか確認してみたが、これは今までの知識で対応できる範囲だった。
ただ、yatex だけが emacs で起動できず、debian の bug として登録しておいた。

今日の作業内容：Debian インストール 5h
今日のランチ：つかさ　鯛のから揚げ
明日の予測作業時間：3h

Debian で SDPA 7.3.6 の準備

2012-01-31T18:16:00.000+09:00

昨日失敗していた pbuilder でのビルドは、debian/control のファイルで liblapack_pic に依存していることを明記したところ、問題なくビルドできるようになった。

Windows 版などのコンパイルも無事に成功したので、debian の mentors にファイルをアップロードしておいた。
http://mentors.debian.net/package/sdpa
にアップロードされたファイルがある。
これをあとはチェックしてもらって問題がなければ、7.3.6 が debian の sid(unstable) に登録されることとなる。

今日の作業内容： Debian パッケージの設定 3h + 論文読み 2h
今日のランチ：たちばな　真鯛
明日の予測作業時間：5h

SDPA 7.3.6 の準備

2012-01-30T21:43:00.000+09:00

Debian 関係でメールがあり、MUMPS のバージョンアップにともなって、SDPA のパッケージも更新することとなった。
そこで、今までのスペルミスの修正などを反映したものを 7.3.6 とするために準備しているが、その過程で分かったことをメモしておく。

[1] Debian で dist-upgrade できなかったのを回避
see man 5 apt.conf
というエラーメッセージがでて、うまく upgrade できなかったが、これをなぜか回避できた。

細かく言うと、Debian Package 用の sid 環境を更新するために

# apt-get update
# apt-get upgrade
# apt-get dist-upgrade
としたが、ここで
could not perform immediate configuration on 'libhdf5-serial-dev'.Please see man 5 apt.conf under APT::Immediate-Configure for details.
というメッセージで先に進めない。
いろいと試してみたが良くわからず。
そこで
# aptitude safe-upgrade
# apt-get dist-upgrade
としたら、大丈夫だった。
どうやら、問題になっている libhdf5-serial-dev が safe-upgrade で一度削除されたようで、これで大丈夫になったようである。
このときに同時に削除された octave3.2-headers をあとで再インストールしたら、libhdf5-serial-dev も再インストールされた。
(octave3.2-headers は libhdf5-serial-dev に依存している)

[2] libquadmath に関する warning が出る。
これは、libquadmath.so にリンクしているけど、この関数をひとつも使っていない、という警告が出る。
ただ、これは configure スクリプトのときに gfortran のところで自動的に付加されるように設定されているので、警告を除外するのが難しい。
この警告はそのまま残してある。

[3] lintian が helper-templates-in-copyright というエラーを出す。
lintian は Debian パッケージのファイルの中で不具合がないかチェックするのであるが、いまひとつエラーメッセージを読んでもどう対応しないといけないのか分からない。
今回は、
Upstream Author(s):
の() が残っていたのが原因であった。
lintian がこのエラーを出す条件について、より詳しくは
http://lists.debian.org/debian-mentors/2011/09/msg00451.html
に書かれていた。

[4] update-alternatives --config liblapack.so.3gf
BLAS をこれまでの ATLAS から OpenBLAS に切り替えることにした。
そこで、liblapack.so も切り替える必要があり、上記のコマンドで
ATLAS 由来ではない liblapack.so を選択するようにした。
なお、SDPA-M をコンパイルするには、liblapack.a に -fPIC が
必要であるが、/usr/lib/lapack/liblapack.a は -fPIC が付加されていない。
そこで、liblapack-dev に代わって liblapack-pic を apt-get でインストール
すると、-fPIC が付加された /usr/lib/lapack/liblapack_pic.a を使えるようになる。

今日はまだ pbuilder を通せていないので、これについては確認が必要だ。

今日の作業内容： Debian 準備 4h
今日のランチ：味庵　にんにくの芽と豚肉の細切り炒め \700
明日の予測作業時間：5h

Springer の Open Access が高かった

2012-01-27T21:10:00.000+09:00

Math Prog の原稿をアップロードしたところ、Springer からメールがきて、従来通りの掲載か Open Access の掲載かを選ぶことができるようになっている、とのことであった。

従来通りであれば、読むことができるのは Math Prog を購読しているか、あるいは論文ごとに購入した場合に限られる。
逆に Open Access であれば、だれでも無料で読むことができる。

本来であれば、Open Access のほうがいいと思うのだが、Open Access にするには 2000 ユーロを支払う必要がある。
システム維持などに必要な金額、という意味では分かるが、さすがに 2000 ユーロは高すぎるので、今回は従来通りの掲載とした。

やはり、論文一本にパソコン２台ずつの金額を追加で支払うことになるのは厳しいし、Math Prog の場合は読む人はほぼ Math Prog を購読していると思われるので 2000 ユーロほどの追加価値があるとは考えにくかった。

今日の作業内容：論文読み 3h
今日のランチ：ちゅらさん　ソーキのカレー煮定食
明日の予測作業時間：2h

MathProg に原稿ファイルを提出

2012-01-26T20:35:00.000+09:00

以前に Accept された論文について、原稿ファイルを送ってほしいときたので、ファイルを最終調整して提出した。

ところで、MathProg の提出先はインドの FTP サイトになっているのだが、他の人も同じところにアップロードしているように見える。
ひょっとしたら、アカウント名とパスワードが共通なのかもしれない。
ちょっと不思議なシステムだ。

今日の作業内容：原稿提出 2h
今日のランチ：シッダルータ　ベジタブルカレー
明日の予測作業時間：4h

mendeley が非常に便利

2012-01-25T21:04:00.001+09:00

この前、bibtex 生成用に導入した mendeley であるが、bibtex だけでなく論文情報の共有が有益であることが分かった。

たとえば、SDP のサーベイでは Todd の semidefinite optimization があるが、この論文の情報は
http://www.mendeley.com/research/semidefinite-optimization/
にある。
ここで、下のほうを見ると分かるように、この論文をチェックしている人が他にどの論文もチェックしているかが分かるのである。
まだ利用人数が少ないのでチェックしている論文数も少ないが、この機能はかなり便利である。

今日の作業内容：論文読み 3h
今日のランチ：味庵　回鍋肉
明日の予測作業時間：3h

タンパク質データと量子化学の直感

2012-01-24T17:43:00.000+09:00

今計算しているタンパク質の１３個のデータのうち、1F39 だけが精度が低くなってしまう。
そこで、pymol で 1F39 を表示してみているが、量子化学の直感がないため、どうしてこれが開発中の手法でうまく計算できないかがよく分かっていない。
次のデータとして使っている 1RGS については、それなりの精度がでており、これと 1F39 の差のどういった点に注目すべきなのか、それが問題である。

それにしても、pymol の場合には、
PyMOL を使ってみよう
のサイトにあるスクリプトを使うと、タンパク質名が分かっていれば２行コマンドを実行するだけで３次元構造を表示してくれるので、とても便利である。
Ubuntu や Debian であれば、
$ sudo apt-get install pymol
だけでインストールできる。

今日の作業内容：pymol チェック 2h + 論文読み 3h
今日のランチ：らく鶏の照り焼き定食
明日の予測作業時間：4h

vmware は、そろそろ潮時かもしれない

2012-01-23T21:03:00.000+09:00

ここのところの流れで open-vm-tools などを調べていたが、今日調べたところでは、

1. Debian testing は、ethernetやHDDを見つけることができず、インストール失敗

2. Lubuntu 12.04 の alpha1 は、インストールまではできたが、起動時に X を実行できず

ということが分かった。

いままで vmplayer で Linux の動作環境などを調べていたが、vmplayer が64bit OS にしかホストが対応できなくなった、また open-vm-tools のように外側で支えるところも弱くなってきているなど、vmware の開発人材が足りないことがうかがい知れる場面が増えてきており、そろそろ vmware からの撤退も視野に入れるべきだと考えている。

そこで、代替として virtual box を検討することにしようと考えている。

いずれにしても、データのバックアップなどやるべきことは多いので、もう少し検討が必要ではある。

今日の作業内容：Debian などチェック 3h + 本読み 2h

今日のランチ：角笛ミックスフライ

明日の予測作業時間：5h

Debian testing と open-vm-tools

2012-01-20T18:39:00.000+09:00

Debian の testing を将来的なインストールに向けて調べてみているが、今日調べたところでは、vmplayer の共有フォルダがうまくいかないようである。

そもそも、testing には open-vm-source がなぜか入っていないので、これをapt-getでインストールすることができない。
そこで、squeeze で open-vm-source からインストールするとできるのであるが、Linux Kernel 3.1 に対応していないようで Kernel 3.1 にアップデートすると open-vm-source をコンパイルできなくなる。
このあたりの事情は sid に登録されている open-vm-source でも同じであった。

あとは、sourceforge からソースを持ってきてコンパイルに挑戦しているが、lib*-dev のインストールが多く、簡単にはできない。しかも、libgtk をインストールしたりすると、なぜか java がインストールされるなど、本来必要そうもないパッケージまでインストールされるようで、apt の情報が正しくないのかもしれない。

現状としては、squeeze で open-vm-source からコンパイルしておき、そのあと testing に移行しても kernel を 3 以上にしない、ということになる。

今日の作業内容：Debian チェック 3h
今日のランチ：味庵鶏の唐辛子炒め
明日の予測作業時間：3h

LMDE 壊れた

2012-01-19T19:27:00.000+09:00

昨日インストールした LMDE は xorg が消えてなくなり、xorg を apt-get できなくなったため破棄して、もう一度インストールし直すことにした。

参考のために、失敗するまでの過程を書いておく。
1. LMDE 自体は問題なくインストールできる
2. ただし、LMDE には vmware 用の open-vm-tools がレポジトリに含まれていないため、Debian の testing のレポジトリを追加し、これで open-vm-tools を発見
3. GUI で設定できる open-vm-toolbox を synaptic でインストールすると、xorg 関係がばっさりと削除される。

ちなみに、削除された後にコマンドラインから apt-get で修復しようと試みたが、パッケージの依存関係が複雑骨折したので、こちらも断念した。

現在、再インストール中であるが、今度は apt-get update だけでも時間が１時間程度かかるようになってしまい、まだまだ調べる必要がありそうである。

いっそのこと、Debian で LXDE の testing を作った方が簡単かもしれない。

今日の作業内容：LMDE インストール 5h
今日のランチ：らく　焼き魚定食
明日の予測作業時間：5h

タンパク質に submodular を使ってみた

2012-01-18T18:20:00.000+09:00

まずは、昨日の LMDE の続きだが、PC がスリープに入っていてダウンロードが終わっていなかった。
今日の夜にもう一度ダウンロードをするように設定した。

今日のメインは submodular でタンパク質のデータでどこが最密部分グラフなのかわかるかを調べてみることにした。
結果としては、以下の図のようになった。

基本的には３次元の図であって、密度の高いと判定されているところほど濃い色となっている。

これを見ると、案外意外なことにタンパク質(1GM2)の原子はグラフ的に密な部分が分散されている。

つぎに、これが min_norm_point で出力された xhat の値をソートしたものである。これに基づいて、小さい値がでているところを濃く、大きい値を薄くしたのが上の図である。

まだ結果が出たばかりで分からないところもあるので、もう少し計算を進めたい。

今日の作業内容：submodular 4h
今日のランチ：信華園レバー野菜炒め
明日の予測作業時間：3h

LMDE のインストール

2012-01-17T22:10:00.001+09:00

今度インストールするのは、Ubuntu の Lubuntu にしようかと思っていたが、Unity の導入で Ubuntu が使いにくくなりつつあることも踏まえて、 Ubuntu から Linux Mint にすることを検討している。

そこで、今回はテストインストールをすることにした。
再インストールなど何回も行うのは手間なので、Debian の testing がベースとなっている LMDE を選んでみた。
インストールは、DVD イメージを使って Live DVD として起動することで、画面の左上のほうにインストール用のアイコンが出てくるようになっており、日本語を選択すれば簡単に日本語でインストールできる。

次に、セキュリティなども気になるので、早速アップデートマネージャでシステム全体をアップロードしようと試みたが、これが異常に時間がかかってしまい、今日はここから先へは進まなかった。
synaptic では jaist からのダウンロードを指定してあるのだが、多くのパッケージを Linux Mint の本体からダウンロードしようとしており、ダウンロードするだけで１５時間程度が必要になるようである。

明日の続きで、アップデート終了から日本語入力などシステムを確認して行きたいし、必要のないソフトをアンインストールできるかどうかも確認したいところだ。

今日の作業内容：LMDE インストール 3h
今日のランチ：角笛ハヤシライス
明日の予測作業時間：5h

submodular toolbox がちゃんと使えるようになった

2012-01-16T21:31:00.000+09:00

先週、うまく行っていなかった submodular toolbox は単純に入力ミスだった。
やはり、１日置いてから考え直すと分かることも多い。

これによって、最密部分グラフを視覚的レベルではうまく取り出せることが分かった。
数学的に最適解かどうかは確認していないが、今回は厳密な最適解までは必要ないので、視覚的レベルのみで確認している。
ところで、submodular toolbox だと sfo_min_norm_point の関数で xhat を output としていない。
このままだと、

Nagano, K., Kawahara, Y., & Aihara, K. (2011). Size-constrained Submodular Minimization through Minimum Norm Base. Proceedings of the 28th International Conference on Machine Learning,. Bellevue, WA, USA: ICML. Retrieved from http://www.icml-2011.org/papers/506_icmlpaper.pdf

の方法がつかえないので、sfo_min_norm_point の関数冒頭の function 定義で xhat も output にするように変更した。（もともと xhat は内部計算に使われているので、output に追加しただけ。）

アルゴリズムとしてはこれでいいのだが、実用的なレベルではうまく行っていないことに気がついた。
最密部分グラフとしては連結グラフがほしいのだが、密となる部分が数箇所あると、それぞれが密として抽出されるのである。
それぞれの箇所のうち、最大連結成分のものをまずは最密部分グラフとして出力するように、これから改良して行こうと考えている。

今日の作業内容： submodular 3h + 本読み 2h
今日のランチ：つかさ　生サーモン照り焼き
明日の予測作業時間：5h

submodular toolbox がうまく使えていない様子

2012-01-13T17:54:00.000+09:00

最密部分グラフを求める計算で、submodular 関数として計算することができるようなので、やってみているのであるが、現状ではうまくいっていない。

今回は submodular function optimization toolbox を利用している。
http://www.mathworks.com/matlabcentral/fileexchange/20504-submodular-function-optimization/content/sfo/sfo_min_norm_point.m
入力として作ったグラフは、前回と同じく

[0,1]x[0,1] の２次元正方形にランダムに100個のノードをばら撒いて、[0.1,0.5]x[0.2,0.6] に 20 個をばら撒く。
このとき、距離が 0.15 以下となるノード同士を枝でつなぐ。

これでできた距離行列を distanceMatrix としたときに、

[m,n] = size(distanceMatrix);
[findI,findJ,findV] = find(distanceMatrix);
findV2 = ones(length(findV),1);
distanceMatrix1 = sparse(findI, findJ, findV2, m, n);

fn = @(nodeSet) -full(sum(sum(distanceMatrix1(nodeSet,nodeSet))));
F = sfo_fn_wrapper(fn);

として関数ハンドラを生成している。
つまり、すべての枝の重さを１として、nodeSet で与えられたノードの集合に両端が含まれる枝の数をマイナスしたものを最小化する。
これで、
[bestSet] = sfo_min_norm_point(F,1:n);
とすると、最密部分グラフを構成するノード集合が得られる予定であったのだが、実際にやってみるとノードが２個か３個になってしまう。

Toolbox を正しく利用できていないのか、toolbox のアルゴリズムに間違いがあるのか、それをまずは切り分ける必要がある。

今日の作業内容： toolbox 2h + 論文読み 3h
今日のランチ：らく鶏の照り焼き定食
明日の予測作業時間：4h

mendeley で bibtex 管理をしてみる

2012-01-12T19:42:00.000+09:00

この前の SDPARA の原稿のときに bibtex の便利さに今更ながら気がついたが、今更過ぎてひとつひとつを bibtex で入力するのは面倒である。
できれば、論文の PDF を登録すると自動的に bibtex にしてくれるようなものが便利である。
Mac OS X なら bibdesk でできるのであるが、これを Windows か Linux でできる方法をさがしていたところ、mendeley という Web サービスを発見した。
(JabRef も試したが、PDF から bibtex に自動抽出する方法が良く分からず断念した。）

これは、500MB までならフリーで PDF をアップロードできて、それぞれの PDF から自動的に bibtex の情報を抽出できるというものである。
モノはためし、ということで SDPARA の論文で早速やってみたところ、問題なく bibtex に抽出できた。
ただし、リサーチレポートなど学術雑誌になっていないものや、古い学術雑誌でスキャナで取り込んで PDF になっているものなどは、うまく抽出できない部分があったため、手入力で情報を修正する必要があった。

いずれにしても、これから論文 PDF をダウンロードした場合には、ここにストックすることにしようと考えている。
登録した時間で時系列表示もできるので、いつごろにどんなことを勉強していたかの記録の代わりにもなりそうである。

今日の作業内容： mendeley チェック 3h
今日のランチ：味庵　麻婆豆腐
明日の予測作業時間：5h

最密グラフのヒューリスティクス

2012-01-11T20:37:00.000+09:00

金曜日に聞いた話で、submodular を使うと与えられたグラフの最密部分グラフがわかる、ということで、これはSNLの計算につかえるのでは？と思って調べている。

まず、いきなり submodular だとハードルが高すぎるので、比較的わかりやすそうなヒューリスティクスで、雰囲気をつかむことにした。

今回実装したヒューリスティクスは、

http://www.cs.umd.edu/~barna/icalp-final.pdf

である。

アルゴリズムとしては、degree の低い node からはずしていって、外すごとに密度を計算する。

この過程で最大の密度を達成したところが、ヒューリスティクスの算出する最密部分グラフである。

このヒューリスティクスでは２倍の精度で最適解を出力する。

つまり、最大密度が 0.9 なら、このヒューリスティクスでは 0.45 から 0.9 の密度となる部分グラフが求まる。

実際にやってみるとわかったが、２倍の精度というのは自分の感覚と相当ずれている。

たとえば、

[0,1]x[0,1] の２次元正方形にランダムに100個のノードをばら撒いて、[0.1,0.5]x[0.2,0.6] に 20 個をばら撒く。

このとき、距離が 0.15 以下となるノード同士を枝でつなぐ。

想定としては [0.1,0.5]x[0.2,0.6]に集中配備だから、ここが最密部分グラフとなるかと思うのだが、乱数によって、ここが出力されたり、グラフ全体を出力したり、ということが、ままある。

あと、乱数の関係で２ノードだけが他から孤立していて、その２ノードは互いにつながっている、という孤島ができることがあるのだが、このとき何故か片方だけが最密部分グラフに取り込まれたりする。

やはり、２倍の精度というのは、SNL 計算には甘いのかもしれない。

いずれにしても、だいたいの雰囲気はわかったので、これで submodular についても検討してみようと思う。

今日の作業内容：最密部分グラフ 3h

今日のランチ：ちゅらさん

明日の予測作業時間：3h

sparsePOP の C++ 版の Windows バイナリを作成

2012-01-10T18:53:00.000+09:00

sparsePOP には C++ 版があって、Matlab がなくても実行できるが、Windows バイナリは準備されていなかった。
sparsePOP-C++ で利用しているライブラリのライセンス関係を調べてみたところ、ライセンスについてまとめたものを作成すれば大丈夫ということが分かったので、Windows バイナリが作れるかどうかを試してみた。

結果的に、SDPA 同様に Debian のクロスコンパイルを使えば、sparsePOP-C++-Windows を作ることができる。
ただし、以下の2点には注意が必要と考えている。

(1) metis は 5.0 以降になると idxtype がなくなっていて、
sparsePOP からは利用できない。
(2) metis 4.0.3 は srand48, drand48 という、 Linux にはあるけど
Windows にはない関数をつかっているので、それぞれ srand, rand で
代用できるように libsdrand48.c を作成

最初のコンパイル成功までにはエラーを削除したりなどで５時間程度かかったが、一度できてしまうとコンパイル自体は３分しかかかっていなかった。

現状としては上記のライセンスをまとめたものを準備していないので配布はできないが、これを準備すれば公開できる手はずである。

今日の作業内容：sparsePOP コンパイル 5h
今日のランチ：らく　焼き魚定食
明日の予測作業時間：4h

psファイルのトリミング(bouding box)

2012-01-06T17:09:00.000+09:00

TeX で図を入れるとなると eps ファイルとなるが、eps ファイルを Matlab などで生成した場合に軸をTeXの数式で表現したいといったことがある。

このときには、eps ファイルを取り込んだ tex ソースファイルを別途作り、ここで pstricks で数式なり文字列なりを任意の位置に挟み込み、普通にコンパイルした後、dvips で１ページ分だけの ps ファイルにする。
ただ、この方法だと ps ファイルで余白が大きくなり、余白のトリミングが必要である。

余白のトリミング ps ファイルをテキストエディタで開いて bouding box の数字を変更すればできるのだが、できるだけ自動で行いたい。
Ubuntu の場合には、
$ ps2epsi a.ps a.epsi
とすれば、トリミングがされた eps ファイルに変更される。
このあとで
$ mv a.epsi a.eps
とでもすればよい。

ただし、
$ ps2eps a.ps a.eps
とすると、トリミングは行われないようである。

今日の作業内容：SDPA 問い合わせ対応 3h + 論文校正 2h
今日のランチ：しなの玉子丼セット
明日の予測作業時間：4h

SDPA関係問い合わせが３件

2012-01-05T21:24:00.000+09:00

冬休み中に SDPA 関係で３件の問い合わせが来ていた。
ここでは、Q&Aっぽく２件をまとめてみる。

[Q1] SDPA-M を実行すると Matlab ごとクラッシュする。特に Schur が SPARSE になったときにクラッシュするようである。

[A1] この場合、原因は MUMPS の可能性が高い。
MUMPS は一部がスレッドセーフになっていないようで、マルチスレッド計算をするとクラッシュすることがある。
この場合は、
>>> maxNumCompThreads(1);
としておけば、シングルスレッドになるため、（計算時間はかかるが）計算は続行できる。

[Q2] SDPA の callable library を呼んだときと SDPA のバイナリファイルを読んだときだと、数値結果が若干異なることがある。

[A2] リンクしているライブラリ (BLASや LAPACK, GLIBC など）が異なると、数値誤差の影響が出やすい（入力行列が一次従属など）場合では数値結果にも影響が出くることがある。
たとえば、OpenBLAS でも、最新版を git で取ってきて、それまでの版と比較すると、入力行列が一次従属な問題では数値誤差の影響が表面化しやすい。

今日の作業内容：SDPA 対応 3h
今日のランチ：シッダルータチキンカレー
明日の予測作業時間：4h

最小費用流問題の本

2011-12-28T17:54:00.000+09:00

昨日、最小費用流問題に復習していて何冊か本に目を通したが、分かりやすいと感じたのは

1. 数理計画法, 加藤直樹, コロナ社
2. 数理計画, 刀根薫, 朝倉書店

である。
1のほうが基礎に近く、２のほうがもう少し advanced な感じである。
たとえば、１の方では最短路問題のダイクストラ法などが載っており、証明などはほどほどの厳密さになっていて、詳細よりも全体を見通しやすくなっている。
２の方では、今回調べたかった主双対法が掲載されており、なぜ主双対法で正しく最適解が求められるかが書かれており、勉強となった。

今読んでいる論文は、この２つのものよりも複雑なモデルなので（教科書に載っているようなものでは論文にはならないだろうし）、もう少し検討すべきところが多いが、やはりこのような本で基礎を固めるのは大事なことである。

今日の作業内容：最小費用流問題の論文読み 4h
今日のランチ：四川　油林鶏
明日の予測作業時間：2h

ネットワーク最適化の手法を復習

2011-12-27T18:45:00.000+09:00

このまえの台南で、I-Lin からもらってきたネットワーク最適化の論文で、なにか面白いことができるかどうかを考えてみようと思っている。
台南ではかなりお世話になっているし。

そこで、この論文を読み始めたが途中になって、ネットワーク最適化の基本的なところを復習しておかないとうまく理解できないことに気がついた。
とりあえず、最大流問題の解法は簡単に復習できたので、最少費用流問題についてもここから復習しようと考えている。

今日の作業内容：ネットワーク最適化復習2h
今日のランチ：ちゅらさんテフラー定食
明日の予測作業時間：5h

SNLのソースをoctave用に少し修正

2011-12-26T19:01:00.000+09:00

最近利用している SNL のソースを octave でも実行できるように修正した。

基本的には、
1. mex で呼んでいる BLAS への対応
2. Matlab toolbox の関数を同等のもので置き換え
3. グラフ処理をスキップするようにする
が必要である。

このうち、1 については、手間はかかるけど大した問題ではない。
２についても、似たような機能でなんとかなることが多い（時間がかかったり、精度面で劣ることがあるが）。
問題なのは３で、octave の plot がどうも不安定である。
あるデータだと問題なく実行できるのに、ほかのデータだと実行できないことがある。
octave の場合、実際に plot するのは gnuplot なのであるが、感触的には gnuplot へのデータ受け渡しがうまくいっていない様子である。

plot できると視覚化できるので楽には楽であるが、なくてもなんとか頑張れるので、ここはばっさりとスキップすることにした。
これで、ほかの数値実験などを進めることになる。

今日の作業内容：SNL の octave 化 2h + Medusa Neo 2h
今日のランチ：角笛幕の内弁当
明日の予測作業時間：5h

GotoBLAS の参考文献をどうするか & OpenBLAS

2011-12-22T21:56:00.000+09:00

SDPARA の校正の段階で指摘されたことで、いままでのところでまだ分かっていないメモ書きとして、
「GotoBLASの文献を参照すること」というのがある。

どの論文を引用するのがいいのか、あるいは URL を引いておくのがいいのか、今日は時間がなかったので明日以降調べる必要がある。

あと、これで気になったので OpenBLAS の Debian パッケージがどうなったか調べてみたが、どうやら experimental で登録しようとしている様子である。
ただ、現時点では kfreebsd でパッケージの build が行われていないようで、パッケージが testing には移動できないようである。
build のログを見る限りはコンパイルに成功しているようでもあり、少し不思議である。
OpenBLAS の Debian パッケージが利用できるようになったら、SDPA の Debian パッケージも OpenBLAS に接続するように変更したいところだ。

今日の作業内容： SDPARA 校正 2h
今日のランチ：らく　鶏の照り焼き定食
明日の予測作業時間：3h

SDPARAの論文が accept された

2011-12-21T20:30:00.000+09:00

8月２５日に再投稿していた SDPARA の論文であるが、今月の途中で accept されたという連絡が来た。
これも共著者のおかげではあるけれど、なにはともあれ accept されたので良かったと思っている。

今日の作業までで ACM のスタイルファイルへの変更は終わったので、あとは bibtex への対応やソースコードの整理を行うこととなる。

今日の作業内容：SDPARA 校正 4h
今日のランチ：ちゅらさん　しおやきそば
明日の予測作業時間： 3h

SNL打ち合わせ

2011-12-20T20:55:00.000+09:00

午後にSNLの研究内容について打ち合わせがあった。
現在のプログラムについてもヒューリスティクスが含まれているので、そのあたりのパラメータをどのように調整するかが難しそうだ。
なにはともあれ、noise があるときにどのように動くのか、まずは数値実験で調べる必要がある。

ところで、SNL の場合、データの生成の段階で sqrt の計算があるので、この時点で 10^{-8} 程度の誤差が入ることが考えられる。
つまり、入力の段階で誤差があるわけで、10^{-8} よりも小さい精度で求めることは無理がある。
random に問題を生成すると 10^{-6} 程度まではいけるが、noise が入ったときに、この精度がどうなるか、のあたりを調べることになる。

今日の作業内容：SNL打ち合わせ 2h + SDPARA 校正 1h
今日のランチ：味庵五目野菜炒め
明日の予測作業時間：4h

バックアップ体制を変更

2011-12-19T19:10:00.000+09:00

今日になって、台湾の資料などをバックアップしようとしたところ、バックアップに使っていたマシンが起動しないことが分かった。
BIOSが起動しないことからも、そろそろ耐用年数に達したのかもしれない。

急きょ、別のマシンで動いている Debian sid にバックアップの体制を敷いた。
とは言っても、それほど大きなデータがあるわけではないので、rsync だけでも十分である。
ただ、sid なのでバックアップとしては不確定要素でもあり、そのうちにバックアップを再確立しなおす必要がありそうだ。

今日の作業内容：バックアップ変更 3h
今日のランチ：しなの　卵丼とおそばのセット
明日の予測作業時間： 3h

台南出張２回目　６分の６

2011-12-16T19:00:00.001+09:00

今日の朝ご飯は餃子に近いかんじのものと、コーヒーと紅茶のブレンド？のドリンク

大学の廊下の様子

お世話になった部屋も、ごみを片付けたり整理整頓終了

台北駅のフードコートで牛肉麺を食べる

トマトがそのまま入っているのが酸味を追加していて美味しい

帰りの BR190 便。

台南の味に慣れてしまうと、機内食ではちょっと我慢できない

羽田空港に戻ってきてバスを待っているところからの国際線ターミナル

昨日の夜はあまりうまく寝つけず、遅くまでベットで起きてしまった。
でも3時ぐらいにはようやく寝ることができた。

今日は日本に帰国する日なので、朝は7時ぐらいに起きて、荷物を片づけた。
9時になる前に朝ごはんを買いに出かける。
今日はちいさい肉まんのようなのと紅茶である。
これで40元、ざっと100円という安さである。
肉まんのは、小ぶりながらもお肉が詰まっていた。
紅茶は、砂糖の甘さもあるけど、結構カフェインが入っていることに気付いた。
ひょっとしたら「古楽紅茶」というようなことを書いてあったから、紅茶だけでなくて一部はコーヒーなのかもしれない。

9時40分ごろに大学の寮に I-lin が迎えに来てくれてスーツケースを車に入れて大学へと移動する。
ここから、もう少しだけディスカッションをして、今後どうするか、どういった応用などがありえるのか、などを話し合った。

10時40分に大学をでて、新幹線の駅へと移動する。
新幹線は11時15分だが、駅に着いたらすでに11時10分を回っており、急いで切符を買って飛び乗るようにして新幹線に乗った。
切符は1305元なので、細かいお釣りが出てこないように5元硬貨1枚と1000元札2枚とを入れたら、おつりの700元がすべて50元硬貨で帰ってきて、お財布がパンパンになってしまった。
新幹線は、行きと同様に時間通りの運行であり、とても便利である。
そういえば新幹線の中で少し寝ておこうかと思ったが、案外目が覚めてしまい寝ることができなかった。
どうやら朝に取ったカフェインが効いているようである。
そこで、窓からの風景をぼんやりと楽しむことにする。
他の国の新幹線で、こうやってゆったりと単純に景色を楽しむことができるとは、この上ないほどの贅沢でもある。

13時に台北に到着して、行きは新幹線乗り継ぎに忙しかったので見ることのできなかった台北駅を見学して回る。
ここは２階が大きなフードコートになっていて、カレーコーナーにはカレーだけで８店程度、牛肉麺のところも牛肉麺だけで８店程度、と同じ料理のお店がコーナーごとに固まっていて面白い。
牛肉麺のなかでも１軒を選び、そこでお昼にした。牛肉麺にトマトが入っているものにしてみた。
牛肉麺は台南では食べることができなかったので、とてもよかった。
トマトの酸味のおかげでさっぱりとしているし、牛肉のボリュームもばっちりだった。
逆にいうと、ボリュームがありすぎて食べきることができなかった。
味はいいだけにちょっともったいない。
そうそう、ここの2階には、東急ハンズや大戸屋、無印良品など日本のお店も多い。

14時10分ごろに台北駅から松山空港へとタクシーで移動する。
今回の台北のタクシーは行きも帰りもムスッとしていて、あんまり愛想がない人であった。
ざっと175元の20分程度で松山空港へ到着。
比較的小さい空港なので、チェックインもセキュリティもすぐに通ることができた。
セキュリティの中にも免税店とお土産屋さんがあるが、ここは羽田や金浦と比べると必要最低限をコンパクトにまとめてある感じである。

帰りの飛行機はBR190の16:00出発であるが、飛行機がゲート到着したのが15:10ごろ。
これでは、16:00には間に合わないだろうなぁ、と思っていたが予想通り出発時刻が25分遅れになっていた。
そうそう、ゲートで待っていたら日本の高校生の修学旅行生がたくさんおり、同じ BR190 便であった。

16時25分に松山空港を離陸。
松山空港から羽田空港の帰りのフライトは、飛んでいる時間自体は2時間15分しかない、という短いフライトであって、離陸からわずかに30分で機内食となった。
機内食はチキンとパスタであった。
機内食としてはそこそこのレベルではあるが、やはり台南の料理のおいしさに慣れていると、この機内食では満足できなくなってしまう。

ところで、飛行機の中の免税品販売でダイキャストを買おうと思ってキャビンアテンダントに聞いてみたら、今回のフライトにはダイキャストは乗っていないらしい。
まだ残っている硬貨を使うチャンスがひとつ減ったこともあり残念である。

飛行機は日本時間の19時47分ごろに着陸。
入国審査をパスして、荷物を受け取ってバス停に行くと、ちょうと8時20分のバスが出発したところであり、8時30分のバスを待つことに。
このバスはシャトルバスではないので、途中でとまるバス停が多いが、それでも25分弱で蒲田駅に到着。
ただ、シャトルバスのように駅前ではないので、200ｍ程度は歩く必要がある。
蒲田を9時1分の電車に乗って帰宅。
9時から始まっていたテレビの映画に少し間に合わなかったが、それでも映画を楽しむことができた。

今回の台南出張は、研究打ち合わせがメインだっただけもあり、多くの研究打ち合わせをすることができたので、ぜひとも今後の研究に発展していきたいところだ。
とくに、SNL の計算とたんぱく質のあたりがどう結びつくか、のあたりは面白そうである。
あと、台南滞在の間も I-Lin や Edward くんのサポートのおかげで、楽しく滞在することができた。
台南は美味しいものも多く、研究を発展させて、また台南を訪れるチャンスを作りたい。

台南出張２回目　６分の５

2011-12-15T19:00:00.000+09:00

朝ご飯を買っている様子

車の横では、お店の人が朝ご飯を調理中である。

お昼は日本式のとんかつ屋さん。とんかつとエビフライのセットがとても美味しいのである。

フルーツティーも甘みが強くて美味しかった。これも日本に持ち帰りたい。

成功大学は、今年で創立８０周年。

シャングリラホテル地下２階のスーパーでお土産を購入

夕飯は、またもや餃子三昧を楽しむ

昨日は腹筋が痛かったのでゆっくり目にベットに入ったが、その影響か今朝は起きたらすでに8時を回っていた。
朝のうちは台湾で放送されている日本の番組などを見たりして、ゆっくりとして過ごした。

それでも10時には大学の部屋について、いろいろと資料をチェックする。

10時30分ごろに I-Lin との打ち合わせをして、今までにどのような研究があるか、そしてこれからどのような研究ができそうなのかをディスカッションした。

12時ぐらいにディスカッションを終わりにして、お昼を食べに行く。
今回のお昼は、成大会館のすぐ近くの「品田牧場」という日本のとんかつのお店である。
ここは人気があるらしく、4月に来た時には混んでいて入ることができなかったが、今日は入ることができた。
セットで299元、ざっと800円ぐらいであるが、とんかつのセットにお茶とデザートまでついていて、かなり美味しかった。
とんかつと海老フライは、日本の味にそっくりである。
みそ汁は日本のよりも韓国に近い感じだろうか？
セットのお茶をオレンジがたくさん入っているフルーツティーにしたが、ここにリンゴの香りとかも入っていて美味しい。

お昼を食べ終わった後にキャンパスの中をぶらぶらと歩きながら見学をする。
ここの大学は台南の一等地にありながらも、ゆとりのある建物の配置のおかげで、散歩をしながら見て回るだけでも十分に楽しめる。

そのあとで、お土産を探しに行くことに。
前回は、結局ホテルと、新幹線の駅のセブンイレブンでしか買うことができなかったので、今回は台南駅裏口のすぐにあるシャングリラホテルのショッピングモールに行ってみた。
5階まで登ってみたがファッションばかりしかなくお土産になりそうなものはなかったのだが、外に出ようとしたところで地下へのエスカレータを発見。
地下2階に小さいスーパーがあるのを見つけることができ、ここでお土産になりそうなものを買うことができた。
お茶やルーローファンの缶詰、そしてパイナップルケーキと台南名物をどんどんと買いこんでおいた。

お土産を持って一度大学の寮に戻って、少し休憩にする。
日本のテレビの刑事もの（心理もの？）で control というのが放送されていたが、ついついそれを1時間見てしまった。
そのあと、急いで大学の部屋へと移動する。

大学でこれまでのプログラムをざっと見なおして、どのように改良するべきかを見通した後、6時から I-Lin の学生の Edward くんと打ち合わせをした。
まずは、anchor-free に対応できるようにプログラムを修正して、そのあとで 3D データに対応できるようにすることになった。
7時30分に打ち合わせが終わって、Edward くんにタクシーで連れて行ってもらって「五花馬水餃館」という餃子専門店に行く。
餃子をせっせと食べたり、豆乳をどんどんと飲んだり、台南はほんとに美味しいものばかりで大変である。

このお店は大学から遠くなかったので、帰りは歩いて大学に帰ってきた。

台南出張２回目　６分の４

2011-12-14T19:00:00.001+09:00

朝ご飯は、こんな感じで買って来ている

開けるとハンバーガが入っているわけだ

お昼を食べに行ったレストラン

揚げた魚と鍋のセット。ボリュームもあったけど、これも美味しかった。

安平樹屋は本当に樹がすごい。

豆花を食べに行く。

豆花は豆腐と甘いシロップで、疲れを取ることができるスイーツ。

大家廟は建物が大きすぎる。

林黙娘の像は、海の安全を見守ってた

歴史公園は右から左へと行くと新しくなるデザイン

億戴金城も歴史の勉強になった

大砲のレプリカは５メートルぐらい？

赤崁樓も歴史の勉強になる。

台湾のヒーローが登場

ライトアップされると雰囲気が変わって綺麗である

関羽のいるところはお参りも熱心であり、見習いたいところだ

小北夜市のお店が並んでいる様子

台南名物オイスターオムレツ。これは食べるべき味。

棺材板は日本にもほしい味だ。

夕飯を食べたお店の雰囲気

臭豆腐は、口に入れるまでがほんとに臭いのさ。

昨日の夜もたくさん食べたおかげか、ぐっすりと眠ることができた。
ぐっすりというか、眠りすぎて9時間以上寝ているかと思う。
ただ、5時ごろに一度眼が覚めて、1時間ぐらいボケーとしていた。
まだまだ寝れるような感じがする。

9時ごろに大学の寮をでて、朝ごはんを屋台の車で買う。
時間が遅いからか、学生の列がいつもよりも長かった。
それにしても、ハンバーガーと紅茶で40元（約104円）は安いと思う。
学生の数が多いので、その恩恵だと思う。

9時30分ごろから、昨日の打ち合わせで話にあった論文に目を通す。
ただ、今回は Type P で見ている関係で画面が小さいのと、そろそろ食べ過ぎでお腹が痛くなってきたのが効いて、あまり捗らず。

11時ごろになって、I-Lin が部屋に来て、お昼を食べながら打ち合わせをして、そのまま観光に連れて行ってもらうことになった。
お昼は、4月にも行ったことのある「香草花園」で、ここは前回スパゲッティの量が多かったので、今回は魚のセットにしてみた。
これならヘルシーなはず、と思ったら、これも量が相当であった。
でも、揚げてある魚はふっくらとしていてソースとも合っているし、お鍋の野菜も美味しかった。
お腹の調子がよかったら、全部食べきれたと思う。

そのあと、安平へと行って、安平樹屋を観光する。
今回は、台南市の観光保険用のカードを無料で作ってくれるということなので、作ってもらった。
写真を取って、パスポート番号と電話番号を書いたら、観光が終わって帰るときにカードをもらうことができた。
安平樹屋は、樹の根が倉庫のなかにまでのびている建物で、これはこれで結構面白い。
一緒に見ることができる徳記洋行では、台湾や台南の歴史を学ぶことができるようになっており、これも歴史的なところが面白い。

このあと、船のクルーズに行くかどうしようかという話になって、とりあえず船が出ている大家廟へといく。
ここの建物も大きな建物で、京都の知恩院ぐらいはあると思う。
なかをいろいろと見ているときに、数珠をもらっていくことができるところがあったので、20元をおさい銭として入れておいて、数珠をもらってきた。

安平港ですこしゆっくりとした後、林黙娘公園で海の安全を祈願している林黙娘の像を見てきた。
この公園は結構古いかと思っていたが、実は2004年の竣工であって比較的新しかった。
この公園は右から左に行くに従って、歴史的な順序が配されている公園でもある。

さらに車に乗って、億戴金城へ。
ここは大砲での防衛をしていたところで、いまも大砲のレプリカがある。
いくつかレプリカの大砲が置いてあるが、じつはひとつだけ本物が置いてある。
今回はどれが本物なのかを見分けることもできて、ちょっとだけ満足である。

台南出張２回目　６分の３

2011-12-13T19:00:00.001+09:00

朝ご飯はサンドイッチとソーセージ、そしてナゲット

お昼は餃子を角にある小さいお店に食べに行ってきた

餃子屋さんの豆乳も美味しい

夕飯の火鍋を食べたレストランの住所とか

夕飯の火鍋も美味しかった。スープがよかったし、ソースも魚の出汁が効いてた。

昨日の夜に食べ過ぎ用の薬を飲んでおいたおかげで、今朝はだいぶ楽だった。
かなり寝ることもできて、朝7時ぐらいにゆっくりと起きだす。

7時40分ごろになって外に出て、屋台でサンドイッチセットを買った。
屋台はほとんどが中華系のメニューだけど、たまにサンドイッチとソーセージとチキンナゲットという洋風のものもある。
自分に割り当てられた大学の部屋について、朝ごはんを食べる。

お昼については学生街に出かけていって、水餃子のお店に入る。
ここは５個以上からの注文であるが、一つ一つは小さいうえに一つ一つは日本円で11円程度。
小さいのをどんどんと食べて、だいたい１０個ぐらい食べた。
そのあと、学生街のあたりをぶらぶらとして大学に戻ってきた。

そういえば、前回来たときにシステムがよくわからなくて食べられなかったお店は今回は見つけることができず。
お昼だから閉まっているのかもしれないし、そもそもお店を閉めてしまったのか良く解からないが、ちょっと残念である。
（あとでもう一回確認したら、建物を建て直しているところにあったお店だった様子で、そのまま閉店になったのか、それとも今後再開するのかはよく分からなかった。）

お昼を食べ終わってからは部屋に入ってプログラムなどを確認してみた。
途中で気がついたら眠気に襲われて寝てしまっていたが、それ以外はかなり仕事がはかどった。

午後5時ぐらいになって、台北から戻ってきた I-Lin と今後の研究などについてまた打ち合わせをした。
7時ぐらいで打ち合わせも終わり、夕飯を探して、大学の近くをぶらぶらとする。
夕飯はちょっと高めにして火鍋を「嘉美餐具」という中華系料理のお店で食べてきた。
これもボリュームがあったけど、火を通していて柔らかくなっているので、案外食べきることができた。

台南出張２回目　６分の２

2011-12-12T19:00:00.001+09:00

朝ご飯を買った屋台の車

朝ご飯はハンバーガーと紅茶で４０元（１０４円程度）

今回大学で滞在させてもらった部屋

お昼を食べに行ったお店

タンジー麺があったり、ルーローファンがあったり海老の春巻きもあったり、杏仁豆腐もあったり、美味しすぎた。

今回お世話になった学科

夕飯は餃子である

朝の3時ぐらいに一度眼が覚めるが、もう一度寝なおしておいた。
起きたのはだいたい7時。
テレビに日本のチャンネルが3つあるので、確認していたら、朝から「ぐるナイ」が放送されていた。

そのあと、朝ごはんを買うために外へ出る。
いくつか屋台の車が出ていてサンドイッチなどを売っているが、まずはセブンイレブンに寄って飲み物を買うことにした。
梅の緑茶というものを買ったが、これが 18 NT$。600ml で 50 円ぐらいなので、かなり安い。
さらに屋台のところでハンバーガーとミルクティを買った。
ハンバーガーは30 NT$ でミルクティも 10NT$ とこちらも安い。

I-Lin が来てくれて、用意してくれていた大学の部屋に通してもらった。
かなり広い部屋なので、1週間未満の滞在では使いきれない。
ハンバーガーはチキンタツタのような感じになっていて、味も良かった。
台南は比較的穏やかな気温になっていて、日本よりも1枚薄着でいることができる。

午前中のうちに SNL の計算で話をしておくべきことをまとめておく。
11時ごろに I-Lin の学生の Lin くんが来てくれたので、今まで Lin くんが進めてくれているところについて話をきいた。
それなりに進んでいたようで、細かいところについても話を聞いてみた。

12時半過ぎにお昼ということで、Lin くんにタクシーで安平にあるお店に連れて行ってもらった。
麺だったり、ご飯だったり、杏仁豆腐だったり、と、とにかく盛りだくさんであって、どれも美味しかったが、やはりボリュームがあった。
ルーローファンとタンジー麺は、やはり美味しいと思う。

タクシーで帰ってきたら2時を回っていたので、また少し数値実験などを進めてみる。
ただ、お昼の食べ過ぎか、途中ではっと気がついたら少しだけ寝ていた。

3時半ごろになって I-Lin の事務処理が終わったということで、自分の部屋に来てくれたので、そこでいろいろとSNLの計算について議論をする。
どのあたりを今回の滞在中に進めるか、などを話した。
そういえば、滞在費などの処理もしてくれたが、その処理をしてくれた事務の人は結構な美人だった、と個人的には思う。

5時過ぎになったあたりで、議論を打ち切って夕飯を食べに行く。
今日はこれから I-Lin が台北まで所用で移動する必要があるということで、軽めの夕飯を食べに行くことにした。
向かったお店は餃子や点心などがそろっているお店で、ここも美味しかった。
美味しいお店が多すぎるのが、台南の問題点でもある。

韓国でもらってきた食べ過ぎの薬がまだ残っていたので、寮に戻ってきた後に一つ飲んでおいた。
そのあと、ボディソープがなかったことに気がつき、ドラッグストアに買いに行く。
日本語混じりの商品も売られているが、ボディソープは大きいものしか見当たらずに困ってしまう。
でも、店員さんに聞いたら、別の棚のところに小さいのを置いてあることを教えてくれた。
これはかなり助かった。
さらにセブンイレブンでお茶を買って部屋にまた戻ってきた。

台南出張２回目　６分の１

2011-12-11T19:00:00.001+09:00

今回搭乗した BR189

機内食。ケーキが甘すぎたけど、シーフードとフルーツが美味しい。

台南で連れていってもらったローカルレストラン。

豚の腎臓をしょうがでサッパリ炒めてあって美味しい

田うなぎと麺（麺はインスタントやきそばっぽい食感）

花園夜市の射的場

８時過ぎなのに、活気があって、歩いているだけでも楽しめる

起床 6:00

今日から、今度は台南出張ということで、朝の６時に起きて出発の準備をする。
８時ちょっと前の電車で蒲田まで到着して、蒲田からバスに乗って羽田空港へと到着する。
羽田空港には２週間前にも来ているので、目新しさはないが、展望台に来ると前回乗った大韓航空の飛行機がフライトを待っている状態だった。
今回乗る台北行きとは１時間の違いなので、台北行きのエバー航空 BR189 もすでにゲートに接続されて搭乗時刻を待っている状態である。

１０時１５分ぐらいに搭乗が始まり、１０時４５分にゲート出発。
ただ、羽田空港の中でも一番遠い滑走路を利用するということで、滑走路にたどり着くまでに１５分程度のタキシングがあった。
フライトはかなり安定していて、快適であった。
機内食もアジア系の航空会社ということでシーフードドリアが美味しかった。
ただ、デザートのケーキは甘すぎだった。
映画とか見ようと思ったが、疲れがあったのか、ついつい寝飛ばしてしまった。
フライトはだいたい予定通りの時間に松山空港に着陸した。

松山空港の入国審査は質問なしでクリアでき、税関もノーチェックだった。
そのままタクシーに乗って台北駅へ。
前回来た時と同じ時間の新幹線に乗り継ぐことができたので、便利であった。
１４時３６分台北発の新幹線は、やはり日本の新幹線そのものであり、１６時１８分に台南駅に到着。
そこでローカル線に乗り継いで２５分で今度は台南市の中央にある台南駅のほうに着いた。
ここまでは前回と同じなので、特に迷うこともなかった。

前回泊まったホテル前で I-Lin と待ち合わせとなっていたが、自分たちが到着して１分とかからずにI-Linが到着。
まさに Just In Time である。
今回はホテルではなく、大学の寮に泊まる。ホテルほどの快適さはないが、１泊８００元とホテルの３分の１の値段は魅力的である。

そのあと、亀谷万年堂で買っておいたお土産を渡して、夕飯を食べに行く。
夕飯は I-Lin に連れて行ってもらって、ローカルレストランに入った。
台南名物のうなぎの麺を食べたが、前回とは違うお店だけど、やっぱり美味しかった。

メインディッシュを食べ終わった後で、また車で移動して前回の４月には行くことができなかった夜市に行ってきた。
夜市はあまりに多くのお店があって、どこにいるかもわからなくなるぐらいであって、すくなくとも2,000人以上の人がいるとは思うが何人いるかも良く解らない状態だった。
とにもかくにもエネルギッシュである。
良く解らないまま、2時間近くもいろんなお店を見て回ったり、食べて回ったりをした。
最後の最後にタピオカが入ったミルクティーだけ買ったが、これが甘くておいしかった。

大学の寮に9時ごろに戻り、10時にはお風呂に入って寝ることにした。

SNL の改良をしてみる

2011-12-09T19:53:00.000+09:00

昨日までで理解したプログラムについて、今日は修正をしながら数値結果がどのように変化するかを確認している。

ただ、修正がヒューリスティクスであるので、どのように数値結果に影響が出るのかが分かりにくいのが難点である。
今日試したところでは問題が小さく、計算時間の差もそれほど出ていないので、あとで問題を大きくしたときにどのような影響が出るかを確認したいと思う。

今日の作業内容：SNLの改良 3h
今日のランチ：ちゅらさん豆腐チャンプル
明日の予測作業時間：2h

SNL と Shortest Path

2011-12-08T17:45:00.000+09:00

Shortest Path を用いたプログラムの octave への移行が終わって、ようやく中身に入ることができた。
やはり固定する段階で Shortest Path の情報を完全には利用していないので、このあたりをどのように利用するかがポイントである。
とりあえず、プログラムのどこに着目すべきかまでは分かったので、これでどのように修正するかである。

今日の作業内容：Shortest Path 2h
今日のランチ：味庵　ハンバーグ
明日の予測作業時間：4h

Lubuntu 11.10 インストールの続きとLXDMの解像度

2011-12-07T19:46:00.000+09:00

昨日に続いて、Lubuntu 11.10 のインストールの続きである。

emacs などについては、Ubuntu 10.10 の init.el がそのまま流用できたので特に変化はない。
あと、日本語入力が Lubuntu 11.10 には入っていないので自分でインストールすることになるが、ibus-anthy か scim-anthy のどちらかになる。
ibus-anthy の場合、パネルがでてこずに anthy の設定ができなかったので、とりあえずは scim-anthy で設定をした。これで canna のキーバインディングで処理が出来るようになった。

なお、「設定」->「入力メソッド切替器」だとうまく起動できなかった。
この場合は「入力メソッド切替器」をコマンドから
$ im-switch
で起動するとエラーが分かる。自分の場合は、必要なコマンドが足りなかったので、apt-get でインストールした。

他にも octave, git などを順次インストールして、sdpa を apt-get とソースの両方でインストールで切ることを確認した。
あとは、TeX 関係のインストールもあるが、これは急ぎではないのであと回しにする。

なお、LXDE を emacs キーバインディングにするには、~/.gtkrc-2.0 に
gtk-key-theme-name = "Emacs"
と１行書き込んでおいて、ログインしなおせばＯＫである。

あと、Type P で vmplayer で起動すると、LXDEのログイン画面、つまり LXDM の解像度が高くて画面に納まらずにやりづらい。
このときには、/etc/lxdm/LoginReadyに
xrandr -s 800x600
とすると、LXDMが起動したときに自動的に 800x600 の解像度へと変更される。

今日の作業内容：Lubuntu インストール 4h + octave 調整 2h
今日のランチ：らく焼き魚定食
明日の予測作業時間：3h

Lubuntu 11.10 のインストール & octave への互換性

2011-12-06T17:55:00.001+09:00

先週の韓国出張の際に、VAIO Type P にvmplayerで入れてあったUbuntu が、apt-get upgrade でおかしくなってしまい、起動するだけで8分ぐらいかかるようになってしまった。
このままでは埒があかないので、Ubuntu を再インストールすることとして、どうせだったらということで Lubuntu 11.10 をインストールすることにした。

とりあえず、素のインストールとアップデートまでは終了した。
ただ、インストール途中にバイナリのダウンロードなどもあったりするため、２時間以上のインストール時間がかかった。
Type P なのでそれほど高速ではないが、Ubuntu をインストールしたときと比較しても、かなりの時間がかかっていることが気になる。
あとは、apt-get update && apt-get upgrade で最新の状態にするのも1時間程度かかった。
細かい設定などは明日以降となる。

あと、それと並行して一部の Matlab プログラムの octave への変更を行った。
octave の場合は、OCTAVE_VERSION という変数があるので、
if exist('OCTAVE_VERSION')
octave の機能
else
Matlab の機能
end
とすることで書き分けができる。
ただ、こちらもまだ途中なので、こちらも続きをすることになる。

今日の作業内容：Lubuntu インストール 2h + octave への修正 2h
今日のランチ：角笛ビーフシチュー
明日の予測作業時間：4h

.ssh/config で２段ログイン

2011-12-05T19:29:00.000+09:00

今日 SSH の設定をしているときに気になったので ~/.ssh/config を調べてみたが、これで設定を変更すると２段ログインをできることが分かった。
今まで知らなかったが、これはとても便利だ。

例えば、aaa.aaa.com というサーバーから bbb.bbb.com というサーバーにログインして、そのローカルの ccc.bbb.com にログインするときには、これまでは
[aaa.aaa.com] $ ssh bbb.bbb.com
[bbb.bbb.com] $ ssh ccc.bbb.com
と２段にしていたが、これが
[aaa.aaa.com] $ ssh ccc.bbb.com
というようにできる。
やり方は、
http://openlab.dino.co.jp/2009/05/28/235026555.html
に細かく書いてあるとおりで、~/.ssh/config に
Host ccc.bbb.com
Hostname ccc.bbb.com
ProxyCommand ssh bbb.bbb.com nc %h %p
としておけばいい。

ただ、Windows からも Putty で同じようにできるかと思ったが、こちらでは自分がどこかで設定を間違えたらしくうまくできなかった。あとで、設定をみなおす必要がある。

あと、今日は横浜で行われたワークショップを聞きにいってきた。
いつもとは少し違った分野の話を聞くことができたので、参考になった。

今日の作業内容：SSHチェック 1h + ワークショップ 3h
今日のランチ：秀味園魯肉飯セット \800
明日の予測作業時間：4h

韓国出張９分の９

2011-12-02T19:00:00.001+09:00

今回買ってみたゆず茶。これは美味しいと思うのでおススメ。

今朝の朝食はコンパクトで軽めに

南山韓屋村の入り口に到着

南山韓屋村の雰囲気

これが難しい独楽

このおじさんが巧い

昔ながらの服装があった

これがオンドルみたいだ

昔の人もいたりする

建物の様子を外から眺める感じ

昔の婚礼衣装だと思う

東大門

東大門市場をふらふらとしてみる

キムチばかりのお店も当然ある

南山ワンとんかつ店

大きいとんかつ、とある

たしかに大きい。というか、大きすぎる。でもこれは結構美味しかったと思う。

帰りのバスを待つ

帰りの飛行機

機内食の味はいまひとつだった

夜の羽田国際線ターミナル

睡眠時間自体はそれなりにあったけど、やはり途中で何回か起きてしまった。
まぁ、なんとかなりそうな感じか。
朝ごはんも早めに起きることで時間を置いておいたし、昨日よりも少なめにすることでかなり楽に食べることができた。
9時30分ごろまでホテルでゆっくりとして、そこから5泊して慣れてきている部屋を整理整頓してスッキリとしたところでチェックアウトする。
チェックアウトは全く問題なくできたので、そのまま荷物を預けておいてホテルを出発する。

今日の夕方のフライトで帰国ということもあって、あまり無理はしないことにして地下鉄の4号線でひと駅分のところにある南山韓屋村へと行ってみた。
ホテルから30分ぐらいかかって、無事に到着。
ここは昔ながらの家を移築してきたところで、さまざまな建築や昔ながらの生活などが見ることができる。
ただ、ここは基本的に外を歩くことになるので結構寒かった。
今日は手袋が必要なぐらいの寒さだったので、ずっと外で歩くわけにもいかず、そのあたりも大変だった。
でも、いろいろと見ることができたのは良かった。
あと、独楽があって、これが遊べるようになっているのだが、難易度が高すぎてダメだった。
そのあたりにいた、おばちゃんに韓国語で教えてもらったが何を言っているかは分からず。
でも、見よう見まねでやったら、そこそこできたのでよかった。
それと、ここは昔の服やハングルなど体験できるようだが、3日間だけそのスペースを修理中ということで今日は体験できず、ちょっと残念であった。

だいたい30分ぐらいで見終わって、まだ時間があることに気がつき、地図を見て東大門へ行ってみることにした。
地下鉄4号線で2駅乗って東大門へ。
東大門を見た後に、周りにある市場へと行ってみた。
ここも南大門市場と同じく雑多としているが、今回適当に通ってみた通りは食べ物も多かったし、おもちゃ屋さんもあった。
ただ、南大門と同じくここも迷子になりやすい。
出てきたと思ったら、予想とは全く違う位置で想像以上に時間を取っており、ミョンドンへ戻ることにした。

2号線にしようかと思ったが、乗り換えが大変なので結局4号線でミョンドンへと戻ってくる。
このとき12時近くになっており、そろそろお昼にしないと間に合わない。
そこで、ミョンドンを南から北に突っ切りながらお昼を探す。
入ったお店はメトロホテルのすぐ近くの南山ワンとんかつというところにしてみた。
日本料理の中でもとんかつは韓国流のアレンジが大きく、すこし違った料理になっている。
ここでは1番の「大きいとんかつ」にしてみた。
するとほんとに大きなとんかつだった。
というか、大きすぎだった。
とんかつ1枚は薄いけど、大きさは大きすぎだった。
ソースがカレーとキムチ系とガーリックが入っているような特別なソースだったと思うが、これは美味しかった。
このあとの移動のことを考えて完食はあきらめたけど、味は良かった。

そのあと、ホテルに移動して荷物を回収してバスに乗ることに。
6001番のバスは20分から25分間隔であるが寒いので早く来てほしいと思っていたところ15分ぐらいで来たので、そこそこラッキーというところか。
ところが、このバス、乗ってみたら運転手と自分しか乗っていない状態。
どうするんだろう、と思っていたら、途中の東横インのバス停で30分ぐらい停車。
これでバスの乗客はかなり増えたけど、20分から25分間隔っていうのはどうなるんだろう？
良く解らないシステムだが、そのあとのバス停では誰も乗ってくることなく空港へ。
そうそう、この1週間歩いていたおかげで、バスが通るルートが地下鉄の2号線、3号線、4号線と順番に変わっていることもわかって面白かった。

金浦空港では問題なくチェックイン完了。
国内線ターミナルと異なり、国際線ターミナルはアウトレットがあったり、フードコートが２階３階で別々にあったり、映画館もあったりで、ここだけでも楽しく遊べそうである。
お土産屋さんもあるが、店員さんがあまりに声をかけてくるので逆に買いづらかったりもする。
セキュリティを通った中のお土産屋さんはコンパクトなもの。
ただし、値段が一部であるがドル表示になっているので注意が必要。

帰りのフライトは３７番ゲートから大韓航空のKE2709便の16:30出発である。
時間通りに出発となるがフライトそのものは２時間を切っているので、シートベルトサインが消えたところですぐに夕飯へ。
牛肉とキノコのだったが、味は今一つだった。
そういえば、大韓航空だと機内食でもキムチが出たりする。

フライトコースは意外と東回りで、茨城県や千葉県の上空をだいぶ通ってから羽田空港に着陸。
予定通りの時間に到着。
入国審査も楽に通れたが、荷物が出てくるのが一番時間がかかった。
でも、蒲田駅へのシャトルバスにはぎりぎりで間に合ったのでラッキーだった。
蒲田駅からすぐに乗り継ぐことができて、７時４０分には自宅に到着。
やっぱり韓国は近い。
ただ、一週間以上ハングルに囲まれた生活だったのでハングルのない看板に逆に違和感がある。

今回は９日間の韓国の旅だったが、済州島はホテルに缶詰めだったのが大変だった。
でも、今まで参加したことのない韓国の学会に参加できたのは貴重な体験だった。
あと、ソウルも５日間滞在することができたので、充実して過ごすことができた。
今回の体験から韓国の近さも良く解ったし、また機会があれば行ってみたいと思う。

韓国出張９分の８

2011-12-01T19:00:00.000+09:00

今朝のホテルでの朝食

龍山駅の様子

ドラゴンヒルスパ入り口

梨奏院のメインストリート

土地柄、米軍の人がいた

梨大の様子（このうち正面の上の方に見える建物が Kim 先生のオフィスのあるところ）

夕飯にサムゲタン。スープが美味しかったし、鶏肉も柔らかかった。

今日は、ちょっと遅めに起きて、8時30分ごろに朝食を取った。
朝食は普通に食べることができたので、お腹の調子は大丈夫だと思ったが、30分ぐらいしたら急に調子が悪くなってきてしまった。
やはり胃の調子が本調子ではないようである。

そのまま体調が悪い状態が続くが、このままずっといるわけにもいかないので、10時ごろにホテルを出る。
今日は Kim 先生が授業で忙しいということなので、Kim 先生が学生から聞いてくれたというサウナのドラゴンヒルスパに行ってみることにした。
ここまでの体調の悪さも改善できるに違いないと思ったし。
地下鉄を2号線と1号線と乗りついで龍山に到着。
そういえば、1号線はソウル駅を通過してからは地上を走っていた。

体調がよくないので、とりあえず龍山駅で10分ぐらい座って、若干だけ体力を回復。
1号線の龍山駅を降りて、広場に出てからどっちか良く解らなかったので、掃除のおじさんに聞いてみると、ムスッとした態度での返答だった。
指をさすほうを見ると、駅のすぐ隣の建物だった。
もっとわかりやすく方角をしてほしいところでもある。

ドラゴンヒルスパでは、昨日の夜にインターネットで調べたとおり、金額が高めの垢すりなどのセットを入場で思いっきり勧められた。
ただ、このセットだと日本円でも1万円以上とかなり高いので、垢すりだけをお願いすると、それは5階で別途頼むということになっていた。
やはり、インターネットの事前情報は有益である。

入場で1万ウォンを払って、服と鍵をもらって靴をロッカーに入れて5階へと移動。
ここで服を着替える。

このあと、まずは6階の睡眠室で他の人と一緒にごろんと横になって40分ぐらい過ごす。
この部屋は少し暖かく、これで体力が回復した。

そのあと5階のお風呂に浸かってみたが、あとで考えたらここのお風呂に入るのは後だった。
良くシステムを理解していないことが分かってしまう。
（ここで来ている服を脱ぐので、ここが終わったら基本的には帰ることになる。
自分の場合は、ロッカーのほうに中できる服を置いたので大丈夫だった。）
お風呂は40度と44度のお風呂があって、40度のお風呂はそれなりに入れるが44度は熱すぎた。
あとサウナがあったのでサウナにも入ってみたが、サウナはさらに熱く、しかも慣れていないので最初は30秒で出てきた。
そのうちに何回か入っているうちに2分までは大丈夫になった。

そのあとで1階に下りてみると、ここは40度程度のサウナがあったりでゆっくりと過ごすことができるスペースとなっている。
やはり40度程度のサウナだとグダグダとできるので楽である。
あと、汗蒸幕っていう名前の有名なタイプのサウナがあって、これは熱い。
最初は30秒しかもたなかったが、3回ぐらい時間をおいて挑戦してみると2分ぐらいまではこらえられるようになった。

このあとで、やはり垢すりを体験してみよう、と思い、5階のところで垢すりをお願いする。
垢すりと一緒にマッサージをしてもらう 55,000 ウォンのコースをお願いした。
ちなみに日本語と英語でのやりとりでコースをお願いできた。

最初は裸になって40度のお風呂に5分、44度のお風呂に5分、サウナに5分入れというのだが、自分としては44度とサウナに5分は無理。
すこしフラフラとしながらも、できるだけの範囲で長い時間を頑張ってみた。

そのあとは垢すりのところに戻って、垢すりをしてもらった。15分ぐらいで一通りの垢すりが終わったが、だいぶたくさんの垢が出た。
あと20分はマッサージ。
普段マッサージを受けていないのでよく解らないが、血液の流れがだいぶ良くなったと思う。
最後にボディーシャンプーとヘアーシャンプーをしたところで、突然「終わり」と言われて垢すりの場所の外へ。
どうやらあとはシャワーで流して終了らしい。

初めての場所でよく解らないシステムだったけど、まぁそれなりに楽しめたので良かったとする。
自分がいた時間帯は日本人も少なかったような気がする。

ドラゴンヒルスパをあとにして、今度は地下鉄の4号線から6号線に乗り継いで梨奏院に行ってみた。
ここは米軍基地の近くで、ファッションの進んでいる地域ということで少し寄ってみた。
ただ、ブランド品などが多くて、あんまり原宿と変わらないような気がしたので、少しだけ店に寄っただけで終わりにしておいた。
そうそう、韓国の中ではアメリカスタイルのお店がここには土地柄多い。

今度は6号線から2号線へと西回りで乗りついで梨大へとたどり着く。
Kim 先生のオフィスへと4時過ぎにたどり着いて、いろいろと話をした後に夕飯を食べに行く。

夕飯はお腹の調子もあるのでマイルドなもの、ということでサムゲタンにしてもらった。
お店はキョンボックンの地下鉄駅から北にあるいて１２０ｍの角を左に曲がった「土俗村」というところである。
ここは現在の大統領が来たりすることで有名なお店で「味はいいけどそれほどサービスはよくないらしい」という Kim 先生が仕入れた事前情報通りのお店だった。
サムゲタンは、もちろん鶏が1羽入っていて、その中にはお粥のようになっている。
スープはにんにくの香りが効いていて、すごく美味しかった。
日本だったら、これでラーメンにしたらいいと思う。
ただ、お店は大きな座敷になっていて、たくさんの人が一つの部屋にいる形で、やはりサービスとしては今一つな感じでもある。

ここのお店を出たところで Kim 先生と分かれて、地下鉄の3号線と2号線を乗りついでミョンドンに戻ってきた。
ここで本屋さんのLIBROがあることを思い出したので、そこに行ってみた。
日本の本もあるかなぁ、と思っていたが「日本語学習」の本しか見つけられず、残念。
そのあとメトロホテルに戻ってきた。

そうそう、メトロホテルといえば、ミネラルウォーター1本無料サービスは毎日らしい。
便利ではあるが、逆に水道水がそのままでは飲めないということなのか、ちょっと気になる。
あと、このホテルは2012年から宿泊料が15％程度上がるようなので、残念でもある。
立地もいいし、便利でもあるが、値段が上がるとメリットが少し薄くなりそうだ。

韓国出張９分の７

2011-11-30T19:00:00.001+09:00

Nソウルタワーに上っていくところ

帰りのバス停から撮影

夕飯はお粥で、ソフトな感じでありながら美味しかったので良かった。

だいぶお腹の調子は良くなってきたものの、まだまだ本調子でないため、朝をゆっくりと起きる。
ただ、夜の間にも何回も起きていて、それなりに疲れもある。
午前中のスケジュールを全部キャンセルして、午前中はホテルで寝て過ごすことにした。

12時を回ったところでホテルを出て、地下鉄に乗って梨大へと移動する。
今日は雨が降っていて昨日よりもグッと気温が下がっているので、この前 Kim 先生に教えてもらった最短ルートでとにかく Kim 先生の部屋へと到着する。
Kim 先生と会って2時間程度、研究についての打ち合わせ。
最短路計算で得られた情報を、どのようにしてアンカーの固定に利用できるか、という点が重要になりそうな感じである。

そのあと、Nソウルタワーを見に行くことにして、タクシーを利用する。
すると、最初のタクシーは運転手が時間がないから、ということで途中まで行ったところで下されたけど無料だった。
そこで乗り継いだタクシーでたどり着いたケーブルカーのところは、風が強くてケーブルカーに乗れず。
もう1台のタクシーを乗り継いで、無事にソウルタワーに到着。
そうそう、今回はケーブルカーよりも先のところのタクシーに乗っていたときにパスポートが必要だったので、ソウルタワーを見に行く人はパスポートを持って行ったほうがよいと思われる。

ソウルタワーは２６０ｍぐらいの高さで、展望台は一人9000ウォンである。
タワー自体はそれほどの高さではないが、ここは山の上という地形もあって、結構遠くまで見る。
タクシーの運転手が言うには、天気が良ければインチョンまで見ることもできるそうである。
今回は Kim 先生と一緒に来ているので、Kim 先生にどこになにがあるかを解説しながら見てみる。
ここまでに行ってきた場所などもだいぶ解かるようになっているので、結構面白かった。
思ったのは、ここからミョンドンはかなり近いということ。
あと、米軍の基地が結構大きいということ。
ちなみに、Kim先生はこのタワーに上るのは20年ぶりだったらしい。
30分ぐらい、あちこち見た後にタワーを降りて、テディーベアー博物館のショップを少し見学。
ここからはバスがあるということで、いくつかあるうちの０５番ルートのバスに乗ってミョンドンへと戻ってきた。

まだお腹が本調子でないこともあって、夕飯はおかゆを取ることに。
お粥は日本だと朝食が多いけど、韓国ではそうとは限らないらしい。
Kim 先生が有名だというポンチュクというチェーンに行くことにし、ミョンドングルメの詳細が乗っている地図「あいマップ」を片手に行ってみる。
場所は、なんと今回泊まっているメトロホテルのすぐ斜め向かいのところだった。
時間に余裕があったら自分で食べに行こうかと思っていたところだ。
今回はBESTと書かれていた「牛とキノコのお粥」を選択。
あんまり牛の味はしなかったけど（食べ過ぎの薬の関係で味覚が少しおかしいのもある）、キノコは結構入っていたし、ゴマの風味が強かった。
日本のおかゆとも違うけど、これも美味しかった。

ここのお粥のお店はホテルの目の前、ということで夕飯のあとは Kim 先生と分かれてホテルに戻ってゆっくりとする。

韓国出張９分の６

2011-11-29T19:00:00.000+09:00

雨の中を国立中央博物館へ

博物館には中高生がたくさんいた

古代の展示は日本と大きくは変わらない

弓矢の展示などもあり

Korea の語源

高麗由来のもの

お昼は博物館で食べた。野菜中心だったのでよかった。

書道関係のものもある

日本の展示コーナーもあった

昔ながらの服やお面、よろい、浮世絵などが展示されていた

軍隊関係の人も来ていた（年齢的に徴兵の人たちかも）

弥勒もいたりする

ミョンドンのフラグシップユニクロ

今日の夕飯

昨日の夜は、やはりお腹の調子が悪く何度も起きてしまった。
今日は Kim 先生が授業で忙しいということもあって、ホテルで朝をゆっくりと過ごす。
とりあえず、食べすぎの薬を探したほうがよさそうだ。
10時ごろになってようやくホテルを出ることにするが、ホテルの受付で「食べすぎの薬」について聞いたら、ホテルで準備があるらしく、すぐに渡してくれた。
かなり助かる展開である。

そのあと、ミョンドンを南に突っ切って地下鉄4号線に乗って6駅。
今日は国立中央博物館へと行ってみることにする。
駅で降りると、あまりの中高生の多さに驚く。
博物館の入口にいるだけで500人から1000人規模である。
たぶん授業の一環で来ているのだと思うが、毎日こうなのかはよくわからない。
ここの中央博物館の入場券を買おうと右往左往していると、無料で入ることができるができると書いてあった。
ただ、韓国語の説明ばかりだと良く解らないまま終わるので、入口でＰＤＡを3000ウォンでレンタルする。

中央博物館はさすがに国立で中央だけあって半端ではない規模であって、3階建であるが、1階に古代から中世、近代、2階には書道と寄付されたもの、3階はアジアと仏像となっている。
で、ＰＤＡを使いながら、順々に見ていくが、古代だけで1時間もかかってしまった。
このままではダメだ、と思い、そこからはスピードアップしたが、結局3時間はかかったと思う。

展示については、古代は日本の国立博物館にある展示とそっくり。
それほど大きな違いが2つの文化になかったのだと思う。
中世になると三国時代を経て高麗となっている。
韓国の歴史は日本ではあまり勉強しない内容なので、とても勉強になる。

あと、日本のスペースも1部屋ながらきちんと確保されており、戦国武将の鎧や浮世絵などが展示されていた。

お昼は博物館のフードコートへ。
メニューが良く解らないけど、お腹の調子が良くないので、とりあえず「Rice, Vegetable」というキーワードがあったものにしてみた。
これは、ひょっとしたらご飯を入れてビビンバにするのだったかもしれないが、とりあえず別々のお皿のまま食べてみた。

博物館が終わった後、いくつかスケジュールがあったが、やはり体調が今ひとつなので、全部パスすることにして地下鉄でホテルに戻ってきた。
セブンイレブンで夕飯用のチョコとアイスを買って、あとはホテルで研究を進めることにする。

韓国出張９分の５

2011-11-28T19:00:00.001+09:00

メトロホテルの朝食はビュッフェ形式

メトロホテルの景色はそれほどよくないが、ミョンドンの裏側が分かる

梨花大学へと到着

コースは韓国料理がずらり

プルコギは味付けがよかった

いろんなのを巻いて食べるのも美味しい

昨日の疲れが出たのか、起きても結構疲れている状態。
今日はあまり無理して行動をせずにゆっくりとする作戦とする。
とりあえず9時ごろまで部屋でグダグダとして9時ごろに朝食を取りに行く。
メトロホテルは朝食付きでもリーズナブルな価格なので、便利である。
朝食は9階で洋食と和食のビュッフェだった。

今日は昨日までの疲れを取るためにも、午前中はホテルで大人しく過ごす。
この前に I-Lin からもらったプログラムを octave で動かせるように修正してみたがグラフィックの plot で Matlab と octave でかなりの違いがあるので、グラフィックでの表示だけは断念。
とりあえずは、数字だけで判断する。
あと、vmplayer で実行している関係で、vmware-tools のコンパイルが必要となり、これで1時間ぐらい取られてしまった。
結局12時まであまり捗らずにホテルを出発した。
今日は Kim のオフィスに行ってみるということで、地下鉄の2番線に乗って4つ目の駅、「梨大」で降りる。
さすがに女子大だけあって、駅のエスカレーターのあたりだけで女子学生ばかりなのが分かる。
だいたい男女比は１：９。
梨大はキャンパスもかなり広めであって、それが平たんではなく、アップダウンの多い地形である。
あまりの広さに迷いながらも、地図を片手に15分か20分。
山登りを疑似体験しながら Kim 先生のオフィスへと到着。

まずは、Kim 先生と「山降り」をして、昼食を取りにレストランへと向かう。
ここは韓国の伝統的な料理が出てくるということで、コースを注文。
サラダから始まって、10品以上が次々と出てくる。
それぞれは美味しいが、途中からはそのボリュームに手こずるようになる。
でも美味しいので頑張って食べてみた。

そのあと、今度はキャンパスを案内してもらった。
ここの大学はメインゲートを入ってすぐのところに大きなスロープがあり、ここの中にはフードコートからスターバックスもあるし、本屋さんもあるし、しかも映画館やミュージカルなどもあり、大学とは思えないほど機能がある。
ここは見ているだけでも面白い。
そうそう、メインゲートのあたりのところで大学をバックに写真を取ると幸運になるという噂があるらしく、中国人とおぼしき家族が写真を撮っていた。
ここを見終わった後は複数のエレベーターを順番に乗り継いで Kim 先生のオフィスへと戻る。
まだ滞在中の細かいスケジュールを決めていなかったので、ここである程度のスケジュールを決めた。

今日の必要な作業はだいたい終わったので、ホテルに戻ることにする。
2番線で4駅戻り、このタイミングでお土産を買うことにする。
メトロホテルのあたりはミョンドンなので、お土産も豊富であるが、豊富すぎて逆に迷う。
新世界デパートとロッテデパートには、それぞれ地下1階に食品売り場があって、ここでお土産を探す。
新世界デパートのほうが一つ一つのものは高級路線の方向性であって、ロッテデパートはバラエティに富んでいる。
今回はロッテデパートでゆずのお茶などを買った。
そうそう、日本のデパ地下と同じく、試食できるものが多い。

夕飯を探そうと思ったが、あまりにお腹がいっぱいなのでホテルに直帰する。
ホテルで横になっていたが、やはり食べすぎでダウンする。
結局10時ごろにはさっさと寝ることにした。

韓国出張９分の４

2011-11-27T19:00:00.001+09:00

IBISホテルの部屋からミョンドンの大通り（南大門市場方向）をみる。

キョンボックンでの守衛交替儀式

キョンボックンの入り口

パンフレットはだいたい日本語ばかりなくなる様子

キョンボックンのなかの民俗博物館へ

稲作についての展示

昔ながらの服装

このあたり日本と変わらず、懐かしい感じ

懐かしい黒電話

キムチについての説明ももちろんあり

お昼に石焼ビビンバ（５０００ウォン）

石焼ビビンバを食べたお店

ソウル駅へ

修復中の南大門

ここでも守衛交替の儀式に会うことができた

南大門市場は迷路そのもの

ロッテデパートの様子

たい焼きを買ってみた店

トッポッギとホットドッグを買ったお店

今回の夕飯

昨日は帰りがかなり遅くなってしまったので、寝るのがかなり遅くなってしまったが、今朝は７時３０分には目が覚めたので良かった。
昨日セブンイレブンで買ってきたポッキーとチョコで朝食を済ませたところで、いろいろと調べているとキョンボックンが10時に守衛交代の儀式が見れる、と書いてあることに気がつき、9時10分ごろにあわててホテルをチェックアウトして出発する。
IBISアンバサダーは値段は高いけど、それに見合うだけのホテルで良かった。

ちなみに、今日は日曜日であって、さすがに毎日 Kim 先生につきあってもらうのも悪いので、今日は自力で観光することにする。

ホテルは2号線のすぐ近くだが、ひと駅で3号線に乗りなおさないといけないので、思い切って3号線の駅までひと駅歩くことにした。
約10分歩いて3号線の駅から3駅乗ってキョンボックンの駅へと到着。
この時点ですでに9時55分。
改札を通り抜けて歩くこと5分。
チケットを買ったりしてたら、もはや間に合わないだろうなぁ、と思っていたら、チケット販売のあたりで守衛交代の儀式が始まるところでぎりぎりで間に合った。
行進は音楽があったり、太鼓があったりで見ているだけで面白かった。
交代の儀式なので2方面から行進があるあたりも面白い。

そのあとは、チケットを3000ウォンで買って、中に入ろうとしたところで学生に声をかけられる。
どうやら、観光についてのアンケートをとっているようだが、外国人からのアンケートをうまく取れてないようで苦労しているようだったのでアンケートに答えてみた。
学生とは英語で対応したけど、アンケートの質問は日本語だった。
アンケートに答えたら、記念に韓国国立博物館の鉛筆をもらってしまった。
ついでということで、キョンボックンを背景に自分の写真をとってもらった。

今度はキョンボックンの中へ。
キョンボックンの中は、日本人と中国人がたくさんいた。
しゃべっているとどっちかすぐに解るが、しゃべってなくてもグループで誰かがガイドブックを持っていれば日本人。
逆に誰も持たずに、旗を持っている人についている場合は中国人、と解りやすい。
キョンボックンの建物は、日本の寺や神社にも近いけど、やはり違いも大きい。

そういえば、キョンボックンは中心の建物だけでなく、全体としては200ぐらいの細かい建物などもある。
これを一通り順に見ていくことができるのだが、キョンボックンはかなり広く、あちこち見ていたら簡単に1時間以上歩いてしまっていた。
そのうちに民俗博物館に到着。
ここはキョンボックンの中であって、入場料もキョンボックンへの入場だけでＯＫとなっている。
歴史から始まり、コメ作りを中心とした農作業の様子、そして韓国の習慣などが3つに分かれて展示されている。
歴史は古代から始まるが、正直言うと日本にそっくりである。
ハングルが日本語に変わったら、すぐには違いに気がつかないほどである。
黒電話を見つけた時には、うっかり「懐かしい」と思ってしまった。
民俗博物館もゆっくり見てたら1時間かかった。

そのあともいろんな建物を見て回ったら、キョンボックンを見終わった時点で12時30分になっていた。
見終わった後、昨日行った Kim 先生のオフィスが近かったことを思い出し、そこで休憩を取ることにする。
部屋に行って鍵を開けようとしたところ、なにかが悪いらしく開けることができず。
まぁ、それほど大きな問題ではないので、とりあえずキョンボックンの駅の近くに戻る。
キョンボックンの駅の周りでお昼を食べようとしたところ、南側は日曜日だからかあちこちが閉まっていたので、ミョンドンに戻るべきかとおもったが、道路の北側に渡ったら結構お店が開いていた。
いろいろとみたあげく、韓国料理店に入ってみた。
すると、すぐに日本人の家族も立て続けにご入店だった。
今回は Kim 先生がいないので、自分で韓国語の本を片手に日本語メニューをもらって「石焼ビビンバ」を注文した。
5000ウォン（約350円）だったので、ボリューム少なめかな、と思っていたら、想像以上のボリュームにビックリだった。
このお店はキョンボックンに行った人には、かなりおすすめである。
お店の人がこっちを気にしていたので、「マッシオ」（韓国語で「美味しい」）といったら通じたようで良かった。

Kim 先生のオフィスはあきらめ、地下鉄の3号線から1号線に乗りついで、ソウル駅に到着する。
このあたりも、いろいろなお店があって、ショッピング街である。
ソウル駅の前の広場は、ホームレスっぽい人が多くて、ビックリだった。
ただ、ソウル駅の中は完全にショッピング街になっていた。
ちなみに、ソウル駅の隣は Lotte Mart で、こちらもショッピングだが、ここの１階は大きなスーパーマーケットになっていて、それはそれはすごい人数がこれでもかと入っていてエネルギッシュだった。
Lotte Mart は旧駅舎だが、これは東京駅に近いデザイン。

そこからさらに北に行って、消失して再建中の南大門の前を通る。
そのまま歩いていると、トクスグンの前まで来たところで、また守衛の交代をタイミング良く見ることができた。
ここの守衛交代は３回しかないので、グッドタイミングであった。
終わったところで記念撮影をできるということなので、ちゃっかり記念撮影をしてもらって帰ってきた。

そのあと道を渡って歩いていると韓国銀行の前へ。この時点で４時ごろ。
ここは今は貨幣博物館になっていて無料で見ることができる。
ハングルしか説明のないところも若干あるけど、基本的には見ればわかることなので面白い。
そういえば、Yen, Won, Yuan は発音が似ていると思う。

そこから南に移動して、今度は南大門市場へ。
ここは日本のアメ横に近いが、もっと雑多な感じで露店が多く、あっという間に迷子になった。
１５分ぐらい適当に歩きまわったら何とか外に脱出。
ガイドブックで現在地を確認したら南側に出たようだった。

そろそろ疲れてきたので、一度 IBIS ホテルに戻り荷物をピックアップして、このあとの宿泊先となるメトロホテルへと移動。
この２つのホテルはざっと４０ｍぐらい離れていると思う。
メトロホテルは受付が女性二人だが、この二人がバリバリと仕事をこなしていて、受付をしながら電話への応対もしている。
予約をするときに日本から電話をしたが、たぶんこの二人のどちらかが日本語で対応してくれたのだと思う。
かなりすごい二人である。

チェックインを済ませて、部屋へ。
ここは１泊7000円ぐらいなので完全にビジネスホテルの広さであるが、無料のミネラルウォーターが1本用意されていたり、ちゃんと変圧器も備えられていたりと、細かいところが行きとどいていて一番便利かもしれない。
１時間ぐらい休んだところでロッテデパートに出かけてみる。
ここはミョンドンの中でも有名なデパートであって、地下1階の食品のフロアはまたもや人でごった返していた。
いろんなお店があるのを見つつ（ここの中にある両替所はホテルな市中などよりもレートがいいのも確認）、フードコートなども見学。
カツカレーがカレーカツになっているのが気になりつつ、外に出る。

今日の夜は、１食ぐらいは屋台でそろえてみようと思い、ミョンドンの街中を探してみた。
その結果集まったのは、タイ焼きみたいなの(2000ウォン)とトッポギ(3000ウォン)、そしてホットドッグ(2000ウォン)である。
トッポギとホットドッグは同じ屋台で買ったが、ここの屋台は親子でやっている様子だった。
そうそう、韓国語はこっちがしゃべれないが、日本語か英語が書いてあって、話すのも日本語か英語で困らない程度には通じるのでよかった。

帰りにＧＳ２５でお茶を買ってきて、ホテルで夕飯。
トッポギは味があって美味しいが、これは結構辛くてきつかった。
タイ焼きは、周りがむしろパイ生地になっていてビックリだった。ピザやプルコギ味などがあるが、今回は比較的無難なスイートポテトいわゆるサツマイモである。
これは日本にはないけど、美味しいと思う。
あと、一番ビックリしたのが、ホットドッグであり、周りにフライドポテトがくっついている状態でホットドッグになっている。
これも日本にはないが、これは日本も取り入れるべきアイデアだと思う。

そのあと、日本サッカー戦を NHK で見ながら、I-Lin Wang のプログラムを確認する。

韓国出張９分の３

2011-11-26T19:00:00.002+09:00

済州島の空港のフードコートで食べたシーフードスンドゥブ。辛かったけどよかった。

金浦空港へ飛ぶ飛行機の多いこと。

金浦空港での荷物引き取りも済州島が多すぎる

夕飯のサラダ。ムクというどんぐりの粉でできたのがくずもちぽかった。

豚肉とキムチを白菜で巻いて食べると美味しい。

茶碗蒸しと出し巻き卵の中間みたいな感じ

外は暗めだったが、時計を見たらすでに6時30分を回っていて、少し驚く。
やはり、済州島は東京よりも西にあることがわかる。
そのあと、着替えなどを済ませる。

学会関係の必要なところを一通り終わった後、Kim 先生とタクシーで西帰浦 KAL ホテルからチェジュ空港へと帰る。
島の西を回るリムジンバスと違って、島の中央のいい道路を通って行くので、80分が50分に短縮される。
ただ、1人で5000ウォンが2人乗りタクシーで30000ウォンになる。

チェジュ空港ではフードコートでスンドゥブを食べる。
済州島ではもっとも韓国らしい食事。これは辛かったけど美味しかった。
そのあと飛行機で無事に金浦空港へ。
この飛行機はかなり空いていて4分の1も乗っていなかったのに驚いた。
金浦空港からは 6001 番のバス 700 ウォンで、今夜1泊だけする IBIS アンバサダーホテルに到着。
ここのホテルは、19階がロビーという、結構解りにくい構造をしている。
でも、立地の良さと値段が高いだけあって、中は狭いなりにも充実した内容になっている。
そうそう、同じフロアの部屋から多くの日本語が廊下にも聞こえるあたり、日本人は18階に泊まるように割り当てているのかもしれない。

荷物を置いてミョンドンを Kim 先生と歩く。ミョンドンは日本でいえば渋谷のセンター街であって、KAL ホテルとは全く方向性が違う。
飛行機を使っているとはいえ、韓国の両極端を一日で味わう。
ミョンドンでは Kim 先生に手伝ってもらって、冬服を探し、あちこちを探してコートなど２万円ぐらいを買ってきた。

そのあと、タクシーで移動して、Kim 先生のオフィスの近くの Morac という韓国料理のお店で夕飯を食べた。
ここは伝統的、というよりも最新のトレンドに合わせた韓国料理ということであった。
豚肉をキムチと一緒に白菜で巻いたのが結構おいしくって良かった。
他にも、オイスターのチヂミも美味しかった。

夕飯の後、Kim 先生のオフィスに寄って、今後のスケジュールを確認。
そのあとで、タクシーを拾ってホテルに帰ろうとしたら、タクシーの運転手に「デモがあって警察が多いから、その方向にはいけない」と言われ、タクシーに乗れず。
ここに来るまでも、かなりの警官（数百人規模）が警らにあたっていたので、やむを得ないということで、地下鉄でホテルに戻った。
ここのホテルもNHKははいるが、さすがにアニメまではなかった。
あと、ホテルに戻る前にセブンイレブンにも寄った。
セブンイレブン、ファミリーマートはソウルにはたくさんあるが、日本のコンビニの半分ぐらいのスペースの小型店が多いような気がする。
ここのセブンイレブンで買い物をしていたら、道に迷った日本人がいたので、ここは同じ日本人と思い、地図で道確認などをしておいた。
たぶん、無事にたどり着けたと思う。

韓国出張９分の２

2011-11-25T19:00:00.002+09:00

朝のうちにホテルの庭を探索

小さな温室もあったりする

庭から見た西帰浦KALホテル

バンケットの料理。ビュッフェ形式だけどとても種類が多かったし、それぞれのボリュームもあって、納得だった。

昨日のフライトとバスの疲れがたまっていたようで、起きたらすでに8時を回っていた。
とりあえず9時には起きだして、9時30分ごろから発表練習を済ませておく。
10時過ぎにちょっとホテルの庭も散歩してみる。
ホテルの庭にはジョギングコースもあり、小さい温室などもあった。
ホテルに泊まっている他の人はあまり散策していないようで、ほぼ庭を貸し切り状態で散策であった。
歩いて30分程度でぐるっと回ってきたので、2km 弱のジョギングコースかと思う。（2か所程度階段があるけど）

12時30分ごろになって、1時から始まる学会に行くのにお昼を食べる機会がないことに気がついたが、そのまま支度をして学会に参加することにした。
レジストレーションのところで手こずるかと思ったが、受付の学生が英語でちゃんと対応できたので、全く問題なくレジストレーションが終了し、参加費の支払いも済んだ。
会長のあいさつでKSIAMの学会が始まり、10分程度するとそのまま最初の Invited Speaker になった。
最初の Invited Speaker はアメリカの大学に所属しているということで発表も英語であり、それなりに勉強になった。

午後のセッションでは、General Session では発表スライドの半分が韓国語、残り半分が英語という感じで、日本の学会に比較しても英語を利用している機会が多いと思う。
話は基本的には韓国語だが、ところどころの数学専門用語は英語が多いので、そのあたりで何をしようとしているのか察しがつくこともある。
そういえば、学生も男子学生と女子学生がほぼ同じぐらいの割合で参加しているような印象がある。

General Session が終わった次が2番目のInvited Speaker であって、今回は日本の応用数理学会の会長である萩原先生の「折り紙」についての話だった。
萩原先生自身が企業から大学に移ったという経緯もあってか、工業的な応用がたくさん含まれている点が面白かった。

そのあとに、Special Session で、今回の自分の発表はここ。
SDPARA と SDPA-GMP について話をした。
終わった後の質問では、「SDP の探索方向は KSHなのか」などという詳細についての質問があって、驚きだった。
ただ、発表自身は後半の最後のあたりで少し疲れが出てしまったので、もう少し体力があればもっといい発表になるかもしれない、と思った。
このセッションでは自分の発表が最初だったので、あとは聞いているだけだったが、やはりやっていることが近いと韓国語でも何をしようとしているのか解って面白い。

このセッションの直後にはもうレセプション。
前回のシャーロットとは比較にならないほど料理の種類が豊富にあり、それぞれが美味しかった。
なにげにここまで日本から粉末で持ってきたポカリスェットしか飲んでいなかったので、今日最初のまともな食事でもあった。
非常においしくてよかった。
あと、隣に座ったソウル大学の学生と話してみたが、日本語を独学で勉強しているということで日本語で話してみた。
かなりきちんと日本語を話していてビックリしてしまった。
彼もアニメや漫画を子供のころから見ているらしく、やはり日本の文化の中心はアニメや漫画らしい。
日本に帰ったら、これらの知識をもっと身につけないといけないのでは？と考えてしまう。
あと、萩原先生にもお話しすることができた。
今回の KSIAM では日本からきているのが2名だけ、ということもあってだが、普通だったら学会会長と話をする機会なんて滅多にないので、かなりの幸運である。
萩原先生と自分とだと少し分野はずれるのだが、萩原先生はＯＲ学会の先生方のことにも詳しく、ちょっと話しただけでもかなりすごい先生なのではないかと思った。

レセプションが終わってから、無事に部屋に戻り、あとは昨日見つけた日本のアニメのチャンネルを確認しつつ寝ることにした。

韓国出張９分の１

2011-11-24T10:03:00.002+09:00

蒲田駅から羽田空港へ

羽田空港もクリスマスシーズン

機内食はボリューム少なめだったけど、味はよかった

金浦空港で国際線ターミナルから国内線ターミナルへとバスで移動

済州島の空港で空港リムジンバスを探す

ワールドカップで利用されたスタジアム

学会会場でもある西帰浦 KAL ホテル

景色は良く、日が沈むところをみることもできる

夕飯がいきなりスパゲッティ。シーフードもおいしいけどピクルスも美味しい。

夕飯のあとの紅茶。

今日から韓国への出張である。
前回のシャーロット出張から1週間たっていないが、時差ボケはほぼ解消できたので良かった。
今回は羽田からの便なので、成田よりも楽である。

朝5時に起きて7時に家を出発。
そのあと、蒲田でバスに乗り継いで、8時10分ごろには国際ターミナルへと着いた。
１回の乗り継ぎだけで着くことができるし、特急などもないので成田よりもやはり気楽である。
バスの中で発表資料をMP3プレーヤーで確認しながら、発表練習をする。

今回は大韓航空の便なので、大韓航空のカウンターでチェックインをする。
羽田から金浦、そしてトランジットしての済州島ということで、２枚のチケットが出てくるかと思ったが、１枚のチケットしか出てこず。
カウンターでJALのマークが着いたお姉さんに聞いてみると、JALのマークが着いたお兄さんが「そんなのやったことないから、面倒だよ」とお客さんを前にしてストレートな表現を用いる。
それをお姉さんがオブラートに包みながら「申し訳ありませんが、金浦空港で税関を通る必要があるので、ここでの発券はできないことになっているんです」と翻訳をしてくれる。
そのあと、ターミナルを少し見て回った後、Kim 先生用のお土産を買って、ゲートへと進む。
そうそう、韓国語がまったくできないので、「タビトモ会話韓国」を仕入れてみた。

羽田からのフライトは時間通り。
搭乗客数は日本人が多いらしく、キャビンアテンダントの人が韓国人にもついつい日本語を使ってしまうほど。
２時間３０分程度のフライトの間に食事の提供もあるので、結構あわただしい。
食事は軽めだったので、すっきりと食べきることができた。
味のレベルはアメリカ系航空会社と日系航空会社の中間よりも日系航空会社よりといったところ。

羽田を９時４５分で金浦空港での飛行機が１３時５０分ということで、かなりタイトなトランジットであるが、羽田のところで「Short time connection」というシールを荷物にはってもらってあったためか、すぐに荷物が出てきてびっくりする。
入国審査は何の質問もなく通過。税関も何の質問もなく通過。
税関直後（５メートル）に銀行カウンターがあって、そこで両替をした。
日本の１万円札を出したら、５秒で両替終了。
どうやら、日本の万札に対応した金額をもともと準備している様子。
１万円は 143,000ウォンとなり、円高の強さを感じるし、桁が一つ増えるので急にリッチになったような気もする。

国際ターミナルを出て、５番バス停からターミナル間バスに乗って２つ目、国内線ターミナルへと到着する。
そうそう、金浦空港は国内線がメインであるため、外国人用のお店はあまり多くない様子。
ここでも、「Short time connection」のマークが効いたのか、カウンターに早く通してくれた。
ただ、ここまで、荷物もすぐに取れたし、バスもタイミング良く乗れたし、バス停も間違えなかったので、逆にかなり時間の余裕ができてしまった。
金浦空港のセキュリティも無事に通ってゲートで待っていると、済州島に行くフライトがかなりの本数があることがわかる。
１時間に２，３本あるのでは？と思うぐらいにある。
金浦空港から済州島への飛行機も時間通りのフライトで、雰囲気は日本の国内線と変わらない。
済州島の空港は結構小さめで、飛行機もターミナルに直接着くのではなく、バスでターミナルに移動するタイプだった。
今度は、「Short time connection」の効果がないので、荷物が出てくるのは普通だった。
そのあと、リムジンバスのバス停を探す。
たしか、ゲートを出てから左のはずだったが、左のほうは工事中で右側にだいぶいったところに移動になっていた。
そこもバスが既に待っている状態で、かなり乗り継ぎが良かった。
バスは西帰浦KALホテルまでで 5000 ウォンで、バスに乗ってからバスの中で精算する人が運転手とは別にいた。
チェジュ市を出てすぐのあたりは道もよく、かなり楽な旅だったが、１時間を超えたあたりになると、道の起伏が大きく、ゆれも大きく、バス酔いに近い感じだった。

到着したKALホテルは、予想以上に豪華でリビングと寝室が分かれているし、お風呂も大きい。
しかも海の眺望がすばらしい。夕日などが楽しむことができる。
さすがにハネムーンにうってつけ、というホテルだけのことはある。
ただ、今回はハネムーンとは全く関係ないが。
ところで、今回のホテルはある意味で陸の孤島であって、近くにはお店がない。
レストランがあるが、円高効果を考えても一食3,000円近くいってしまうため、夕飯を抜くかどうするか考え抜いた揚句、ホテルのロビーで食べることにする。
いろいろとメニューを見た挙句、イタリアンスパゲッティという韓国料理とはかけ離れたものを韓国最初の食事として食べることにする。
（これが1,500円ぐらい。)
ただ、シーフードのペスカトーレにしたところ、、海が近いこともあってシーフードはかなり美味しかった。
特に蟹が美味しかった。
ちなみに、ホテルはそれなりに日本語が通じて、ロビーで食べた時もコーヒーを紅茶に変更するのを日本語でお願いすることができた。

無事に食事を終ったあとに部屋に戻っていたところ、Kim先生から電話がかかってきて、そのあと、またロビーに戻ってお茶を飲みながら、来週の予定などを検討する。
また、センサーネットワークなどについても少しディスカッションする。

2時間以上話し込んだ後、部屋に戻って発表資料を再確認する。
テレビをつけてみると、NHK プレミアムとアニメ番組が日本語だったので、とりあえずはこの2つを交互につけている。

連続最適化を離散最適化に帰着

2011-11-22T18:29:00.001+09:00

読んでいる論文に書いてあったが、連続大域最適化問題(Horst and Tuy 1996)は、Protopopesu and Baren (2005) によると{0,1}変数のみの離散最適化問題に帰着できるらしい。

それぞれ
Horst, R., Tuy, H.: Global Optimization: Determistic Approach. 3rd edn. Springer, 1996
Protopopescu, V., Barhen, J.: Quantum Algorithms for continuous global optimization. In Qi,L. et at. (eds.) Optimization and Control with Applications. Applied optimization, vol 96, pp293-303, Springer, 2005
に掲載されているないようである。

ちょっと細かい内容まで追っている時間がないが、これが一般的な内容であれば、かなり面白い結果である。あるいは、特殊な条件を満たすときのみに成立するのかもしれない。
いずれにしても、２本の論文に目を通してみたいところだ。

あと今日は、出張の書類整理などでほとんどの時間が終わってしまった。
この前から気になっている量子計算の本もできれば時間を取って読んでおきたいところだ。
ただ、これについては簡単にはいかないだろうから、基本の Shor のアルゴリズムの確認など、分かりやすいところから復習する必要がありそうだ。
いずれにしても、詳細は出張が片付いてからになりそうだ。

今日の作業内容：書類整理 3h
今日のランチ：味庵五目野菜炒め
明日の予測作業時間：5h

beamer の功罪

2011-11-21T19:00:00.001+09:00

この前の INFORMS の発表でも beamer を使っての発表が多くあったが、beamer の発表はうまくないものが多く、案外難しいようである。

基本的な原因としては、文字が小さいことにあると考えられる。
1. 文字が小さい
2. 1枚にたくさんの文字が入る
3. 文字数が多いので文章になりがち(英語だと SVO がすべて入っていたりする)
4. ついつい文章を読むだけになる
というのが理由らしい。

なるほど。
文字は大きめに。できるだけ文章にしない。
ということにすると、よりよい発表にできるようだ。
これからの参考にしておこう。

今日の作業内容：出張準備 2h
今日のランチ：らく　鶏照り焼き定食
明日の予測作業時間：4h

INFORMS@Charlotte[7/7]

2011-11-18T19:00:00.001+09:00

Charlotte は土砂降りだった

シカゴで朝食を取る。 $10.52なので、かなり高め。

朝食を取ったところ

飛行機が遅れた

シーフードカレーは美味しい

夜食はサンドイッチ。これくらいのボリュームのほうが楽。

朝はサーモンペンネ

やはり、料理は日本がおいしい

22時に就寝するが2時30分ごろには起床。
3時30分ごろから韓国発表に向けて発表準備をする。
4時30分ごろから本格的に起きだして、6泊した Omini ホテルを6時にタクシーで出発する。
Omini ホテルはシャーロットのほぼ中心にあって、どこに行くにも便利であった。
かなりの雨になってはいたが、だいたい15分程度で無事に空港へと着いた。
自動チェックインのパスポート読み取りがわかりにくくてこづるが、それ以外は無事にチェックインできた。
シャーロットの空港は着陸した時とほとんど同じゲートで、とりたててすることもなく、普通に飛行機に乗り込んで普通にシカゴに着いた。
シカゴは、行きの時とは逆方向での進入となり、プラネタリウムや摩天楼を見ることができてよかった。
ここまでは普通であった。

シカゴまで来ると、乗継するはずのJL9便が2時間以上の遅れになっていることが表示されていた。
ここまででシカゴから成田までの搭乗券をまだもらっていなかったので、まずは K19 のゲートに行って搭乗券をもらった。
そこで2時間の遅れがあるということで、10$分の食事券をもらえてしまった。
この食事券は、この空港でしか使えないということで、予想外にも朝食を取ることにした。
オムレツなどのセットとスプライトで、10.52$となり、食事券は無事に使いきれた。
新しい出発時刻になったところで、今度は無事に出発できたのでほっとした。
機内アナウンスによると、機長が体調を崩したらしく、別の機長に代わるのに時間がかかっていたらしい。
どの仕事も、やはり体力が資本なんだなぁ、と実感する。
あと、帰りのコースはシベリア上空を通過することで、いつもよりもショートカットできるコースが選ばれていた。
これにより、JL9便と比べてシカゴを15分前に飛び立ったアメリカンよりも、JL9便のほうが成田着は15分程度先になっていた。
機内の夕飯はシーフードカレー。思っていたよりも具が多くて美味しかった。
映画は「ショーシャンクの空へ」をみた。
名作と聞いてはいたけど個人的には今一つだった。
まだ映画を見ていなかったので他の人の感想とか調べていなかったが、どのあたりがすごい映画なのかを含めて調べてみよう。
あとは、韓国出張を踏まえての「ソウル紹介」の番組と「けいおん」を見た。
このあとは比較的ぐっすりと眠ることができて、起きたのはサンドイッチの夜食と、その次はサーモンペンネの朝食の時であった。
サーモンペンネは、それなりに美味しかった。

成田に着いてからは、トラブルもまったくなく、京成と京浜東北を乗りついで家に着いた。
そのあとに夕飯を中華料理店に食べに行ってきた。
やはり日本の料理は美味しいと感じるのであった。

今回の INFORMS では、5月のSIAM のように最適化だけでなく一般のOR全体であり、幅広い内容が多かった。
今回得られた知識などは、あとで整理して利用可能な形にしようと思う。
少し疲れはしたが、充実した内容となった。

INFORMS@Charlotte[6/7]

2011-11-16T19:00:00.001+09:00

今回は Western というベーグルにしてみた。飲み物はチャイティ。

ベーグルを食べているお店の雰囲気。

King's Kitchen のフライドチキン。これもこれで美味しい。

レビンニュースサウス博物館へ

Charlotte はもともと紡績からスタートしている

昔のお店のメニューなども展示

現在のCharlotte に至る

２階は黒人の人権問題について

これもかなり勉強になる

このメッセージがかっこいい

これもかっこいい

23時に就寝して、6時に起床。
最終日にして、とうとう時差ボケが取れてしまった。

朝は近くのカフェでベーグルとチャイティーを取る。
ベーグルはシンプルなものだったけど、美味しかったので良かった。

午前のセッションは WA60 へ。
たんぱく質関係の計算に SDP 緩和が使われているということを聞く。
ただ、どのような問題に SDP 緩和が使われているかが分かりにくいので、論文として引用していた Forrester-Greenberg 2008 をあとで参照することにする。

bibdisk について調べる。

午後のセッションでは WE24 を聞いた。
Travel Salesman Problem が動的計画法だと O(n 2^n) で解けるということを聞いた。
発表では、この62年の既存研究から、さらに解ったことなどが発表されていた。
そういえば、この方法は量子計算すると速くなったりするんだろうか？

今日はお昼を食べなかった分、夕飯はがっちりと。
King's Kitchen でフライドチキンを食べた。
ここもボリュームが大きく、食べきるのが難しいが、味は良かった。
今回は、最初の頃がファーストフードの連投だったが、後半はその反動か、美味しい料理だったので良かった。

そうそう、ここまでで書き忘れていたが、レビンニューサウス歴史博物館へと行ってきた。
入場料は６＄で、1時間30分もあれば、ほとんど見て回ることができる。
1階と2階があり、１階はシャーロットの歴史。綿工場から始まり、南北戦争やニューディール政策などを経て、金融の街へと発展していく過程までがまとめられている。
それぞれの歴史の時点での庶民の生活などの観点が比較的多く面白い。
２階は黒人の人権問題を扱ったもの。
良く知らなかったが、シャーロットは黒人の人権問題において重要な街であることがわかる。
学会会場となったコンファレンスセンターの通りもキング牧師の名前がついているのは、この関係かと推測もできる。

INFORMS@Charlotte[5/7]

2011-11-15T19:00:00.000+09:00

今回の発表セッション

Mert's のチキンフライはでかいけど美味しい

バンケットの料理

バンケットで会った LLamaSoft の二人

ナスカの殿堂

本格的過ぎるシミュレーター

展示もたくさん

2時には就寝するけど、3時前に起きてしまい、そこからうとうととして6時を迎える。

今日の朝一のTA20が発表セッションなので、7時30分ぐらいにはホテルを出て会場につくが誰もおらず、待っているとチェアの人が来てくれたのでいろいろと話し込む。
自分は2番目の発表であって準備などが終わったが、最初の発表の人が来なかったので、開始時間になっても20分ぐらい待って、自分が一番目の発表となった。
今回の発表は SDPARA についてのものだったので、それなりに解りやすく発表することができたかと思う。
質問は、あまりうまくは聞き取れなかったけど、それ相応の範囲で答えることができたかと思う。
ただ、英語については改善の余地がある。
質問をくれた人には名刺を渡しておいたが、あとでメールをくれると言っていたので、待つことにする。
あと、このTA20のセッションでは4番目の発表がチェアの学生の発表で、細かいところは良く解らなかったが結構面白い内容であった。
あとでプレゼン資料をもらえるかどうか、インターネットからダウンロードできるかどうか、調べてみることにしよう。

お昼は、Holiday Inn のところにある Mert's でフライドチキンを食べた。
思っていたよりも本格的であって美味しかったが、想像していたよりもボリュームがあってお腹が一杯になった。
ここは時間があれば、もう一度来てみたいと思える味だった。

午後は TD60 のセッションを聞いた。
Copositive かどうかを判定するのに Convex 問題を反復して解く、というものがあって、これは実装が難しそうだけど、アイデアは面白かった。

今日の夕飯はレセプションであり、ビュッフェ形式で食べていると、LLamasoftの２人が相席となったのでいろいろと話し込んできた。
LLamasoft は会社としては大きくないけど supply chain のソフトを扱っている会社だそうで、今回は就職を希望している人を探しにきているということであった。
1日で20人と面接をした、ということで、かなり大変だったようであるが、有望な人材が見つかったということで、大きな収穫があったらしい。
話をした2人のうち一人はIBMからの転職で、「小さい会社もいいものだ」と言っていて、いい転職だったらしい。
もう一人の人は、もともとはタイ出身で修士を取ったところで、この会社で働き始めたということであった。
小さい会社のようだが、人となりを見ていると、かなりいい会社という印象であった。
最後に写真を一緒に撮ったので、あとで送ることにする。

ところで、今回のレセプションは「ナスカーの殿堂」で行われていて、レセプション参加者は無料で展示を見ることができた。
特に、ナスカーのドライブシミュレーションがあって、16人ぐらいでレースゲームができるものに行列ができていた。
せっかくのチャンスなので、これに挑戦してみたが、操作があまりに難しく、すぐにクラッシュしてしまい、楕円のコースを1周するだけで時間切れになってしまった。
レースゲームでないところにもシミュレーション機が置いてあって、こっちで細かく説明してもらったら、操作方法を理解できて楽しむことができた。
また、ナスカーの歴史などをまとめた12分の映画もあって、これは勉強になった。

結局10時30分ごろまでレセプション会場にいてしまい、最後はだいぶ眠たかった。

INFORMS@Charlotte[4/7]

2011-11-14T19:00:00.000+09:00

今朝は、朝マックにしてみた。

お昼は、ブリトーをテイクアウト。

Omni ホテルの隣で、何回も利用したショッピングモールの Epicenter。

Five Guys のポテトは半端ではない量（紙コップの中もポテトだらけ）

ハンバーグはとても美味しい。

23時ごろに就寝も、3時ごろに起床。
あとはうとうととしながら、6時ごろに起床。

朝はマクドナルドで食べる。
ハッシュポテトの油がきつかったけど、アップルジュースで乗り越える。

午前のセッションは、MA08 でクラウドコンピューティングについて聞いてきた。
細かい技術的な概念よりも、全体的な概要、みたいな話であった。
あと、最後の話は中国の話で、これはこれで面白いかと思った。
この中国の話は、スライドに詳細がびっしりで良く解らなかったので、あとでスライドを入手できるか聞いてみることにする。

MB07では、点過程のチュートリアルを聞く。
ただ、チュートリアルとなってはいたけど、アドバンストな内容で
最初の30分ぐらいで落ちこぼれる。
ある程度分かっている人であれば面白いのかもしれない。

お昼は、ブリトーのテイクアウト。
このあたりは、学会の参加者に対してお昼を出しているお店が少ないので、あちこちで長い列ができていた。
でも、テイクアウトしたブリトーはオリーブが効いていて、結構おいしかったので良かった。

午後は、MC19とMC22を聞いた。
MC19 は金融工学に対しての数理最適化手法という展開で、双対理論などが利用されていたりするのが面白かった。
途中で MC22 に移動して聞いていたが、情報幾何で内点法を解析するという話だった。
ただ、ここの最後の発表は数式ばかりで数式の意味の説明がなかったので、よく解らなかった。
論文にまとめてあるらしいので、あとでダウンロードしてみようと思う。

夕飯は、Epicenter の Five Guys へ。
ハンバーガーの小さいのを頼んだが、がっちりとしたボリュームで出てきたで、普通サイズを頼まなかったことが正解だと分かった。
味は良く、ボリュームがあるので、「肉を食べた～」という感触はばっちりだった。

INFORMS@Charlotte[3/7]

2011-11-13T19:00:00.001+09:00

ベーグルはトマトソースが美味しかった

お昼はチキンパスタ

就寝 23:30 起床 6:00
ただ、4時ぐらいには目が覚めた。

今日から INFORMS の学会も本番である。
朝は昨日と同じお店で、違うベーグルを買って済ませた。

そのまま、学会へと参加する。
朝一は SA51 のセッションで、自転車レンタルにおける最適な自転車台数の求め方などについて聞く。
このあたりの話は日本ではあまり聞くチャンスがなかったが、INFORMSは参加者が多いだけあって、いろいろと今までに知らなかった知識を手に入れることができる。
そのあとは、SB16 で、鉄道の問題に対する Competition に I-Lin Wang が参加しているということで聞きに行ってきた。
さすがに Competition になっているだけあって、問題も難しいし、LP緩和をしても相当数の制約が残っていて、CPLEXに投入するだけでも難しそうであった。

そのまま、I-Lin などとお昼を食べに行く。
小さいサイズのお昼にしたが、今の自分にはこれくらいでちょうどのサイズだったかもしれない。
味はそこそこであるが、ここにきて塩分が多いのがだんだんと効いてきている。

午後は、SC04 で Python の利用を扱っていた。
日本では Python 利用は最適化への始まったばかりであるが、すでにいろいろと最適化問題を Python で解いていく方法が説明されていた。
このあたりは、かなり進んできている。

そのあと、I-Lin と SNL 関係の研究打ち合わせをしておいた。
ポテンシャルエナジーでのadjustment がかなり有効ということなので、そのあたりの情報を日本に帰ったら少し調べておく必要がある。
あとは、クリーク関係のヒューリスティクスがどれだけ有効であるか、についても検討の必要がありそうだ。
あと、やっぱり、もっとコンスタントにアウトプットが必要なのかもしれない。

このあとで、Competitionの結果を確認するセッションを聞きに行ってきた。
I-Lin のチームは3位であった。

あと、休憩時間を利用して、「究極のドグマ」を読み終わった。
「生命とは何か？」がメインテーマになっていて、結論はありふれたものではあるけど、学問の結果というのはありふれたものなのかもしれない。

INFORMS@Charlotte[2/7]

2011-11-12T19:00:00.001+09:00

朝のベーグルとチャイティ

Wells Fargo の歴史博物館は無料だけど小さい

ミント博物館へ

ガラスのが綺麗

特別展よりも常設展が楽しい

ブリトーとチップ

セットのジュースなども

昨日は23時ごろに就寝し、今日は7時30分ごろに起床した。

朝ごはんは、近くのお店でベーグルを買ってきて、ホテルの部屋に戻ってきて食べた。
あまりお店が開いていないので、朝ごはんを探すだけでも大変である。
ベーグルは、卵とホウレン草いり。それなりに食べることができる。
あと、飲み物はチャイティーで、甘くないと思って砂糖を入れたが、もともと甘かったようで激甘の飲み物が出来上がる。

午前中のうちに、学会のレジストレーションを済ませた。
午後のCPLEXのワークショップを聞くことになっているが、まだ時間があるので、少しだけ観光をすることにする。

午前中に well & Fargo 歴史博物館へ。
ここは建物の一階に展示してあるところで、無料というのもあるけど、かなりコンパクト。
Well & Fargo の歴史やこれまで扱ってきたものなどを勉強できる。

そのあと、ミント博物館へ。こちらは10＄取るだけあって、見ごたえは大きい。
特別展では、シャーロット出身の画家の絵を飾ってあったが、こちらは自分の趣味に合わず。
通常展の入口にあったガラスの展示が、自分としては一番きれいだと思った。

午後になってCPLEXのワークショップへ。
ドイツからきている知り合いに気がついたので、挨拶をしに行ってきた。
CPLEXのワークショップは、CPLEX内部のアルゴリズムではなく、ビジネスユースにどのようなインターフェースを持っているか、という話であった。

ホテルに戻る途中に、歯ブラシを持ってき忘れたのを思い出して、近くのCVSで歯ブラシを買う。
アメリカの歯ブラシはアメリカサイズで大きいので、自分の口に合う子供サイズの歯ブラシを買ってきた。

このあと、夕飯を探す旅へ。
このあたりは、土曜日ということもあるのか、店がほとんど開いておらず、結局朝ごはんを買った小さいショッピングモールのところにあるメキシカンっぽいファーストフードのところへと食べに行く。
ここまで、アメリカに来てからファーストフード以外食べていない。
ブリトーを食べたが、このあたりはファーストフードしかないためか、ファーストフードがそこそこに食べられる。
結構ボリュームもある。

夕飯を食べ終わってホテルでスーツケースを整理していると、なんと歯ブラシを発見。
ちゃんとうちから持ってきてあったらしい。
果たして、買ってしまった歯ブラシはどうしたらいいのであろうか？

INFORMS@Charlotte[1/7]

2011-11-11T19:00:00.001+09:00

機内での夕食

モスバーガーの食べ方

モスバーガーができた

シカゴからシャーロットまでは５０人乗りの飛行機

Charlotte Convention Center

入り口

Convention Center を通っているLYNX

バンカメ本社のビル

Firehouse での夕飯（しょっぱいけど美味しい）

Firehouse の様子

今日から、INFORMS Annual Meeting のために、アメリカはノースカロライナのシャーロットへと出張である。

まずは、7時少し前に家を出て、今回は7時41分に新橋で乗れる成田空港アクセス特急を利用した。
新橋での乗り換えは初めてであったが、一か所階段になってしまったので、スーツケースなどを利用しやすいようにエスカレーターのルートも発見しておきたい。
アクセス特急は東銀座までは混雑していたが、それ以降はかなり快適であって、無事に成田空港第2ターミナルへと到着した。
おかげで新書をほとんど読み切ることができた。
成田空港では今回は千葉銀行がレートがよかったので、千葉銀行で両替を済ませる。
そういえば、成田空港でチェックインをするときに、シカゴでトランジットの場合、成田からシカゴまでとシカゴからシャーロットまでの2枚のチケットが出てくるはずであるが、今回は成田からシカゴまでしか出てこなかった。
まぁ、なんらかの不都合がたまにはあるので、とりあえずシカゴへ旅立つ。
飛行機の中では映画でハリーポッターの最後を見た。原作の翻訳は見てあったが、映像になるとまた違う印象があった。
夕飯はチキンの揚げ物とご飯で、JALだけあって量よりも質で食べやすかった。
そのあとは少しだけ2冊目の本を読んで、1時間ぐらいして眠くなったところで睡眠。
だいたい3時間か4時間ぐらい寝ることができたと思う。
朝食が結構変っていて、モスバーガーだった。自分で組み立てて食べる、というタイプで、これは面白かった。

シカゴに予定時刻通りについて、入国審査は今回は無事に通過。
シカゴでは前回引っかかりそうになったので心配だったが、大きな問題もなく通過できたので一安心である。
税関を通過して、乗り継ぎカウンターでe-ticketを出したらシャーロットまでの搭乗券をもらうことができた。
ターミナル5からターミナル3へと移動して、シャーロット行きの飛行機をG6Bのゲートで待っていたが、突然ゲートがG1Aに変更になり、移動する。
飛行機の座席は１８Aだったので、かなり前のほうだろうと思っていたら、シャーロットまでは小型飛行機で、なんと最後列だった。
3列しかないので、54人の乗客でフルに乗っている状態であり、これで出発した。
飛行機の中では疲れがあったのか1時間50分のフライトのうち1時間20分程度を寝て過ごした。
無事にシャーロットにつくが、シャーロットは空港も小さめ。
降りたところで荷物を受け取るタイプだったので待っていたが、自分たちの荷物は出てこず、聞いてみると「ベルトコンベアのところまでいっているのかも」ということでベルトコンベアに移動すると、こっち側に荷物はすでに届いていた。
そのあと、空港から市内へはバスのsprinter を使った。sprinter のバス停は、空港を出て、一番右なので、中央あたりで出るとかなり歩くことになる。
20分間隔で運行されているがタイミングが良く、次のバスがすぐに来た。
しかし、このバス、運賃回収ボックスが壊れていた。
すると、運転手が「今日はタダで乗っていいよ」というので、タダで乗ることができた（本来は１．７５＄）。
バスの中に親切な人がいて、どこに泊まるかの話をしていたら、最寄りのバス停を教えてくれた。
おかげでスムーズにホテルに到着。
（そのあとも思ったが、シャーロットは親切な人が比較的多い。）
今回使うホテルは Omni Hotel である。
ついて一段落してから、街の様子を見るために歩いて出てみる。
このあたりの建物は2階部分でつながっているので、それを伝ってみることにしたが、通りの名前などが解らずに逆に迷子になる。
結局外に出て、通りを確認しながら歩くことにした。
まずは、ビジターセンターを訪れて、地図などをもらった後、今回の会場のコンベンションセンターへと行ってみる。
まだ中には入らないが、そとからもINFORMSの旗を見て取ることができた。

そのあとは、北上して、リンクスというシャーロット独特のミニ鉄道（都電荒川線に近い感じ）の踏切に気がついたので、これの写真を撮る。
そのあと、さらに北上してバスターミナルのあたりをチェック。このあたりは、遊んでいる人が多いので、ちょっと治安面が不安っぽい感じもする。
そのあと、スーパーアリーナを外から見たあと、西に進路を変えて、バンクオブアメリカの本社をこれも外から見る。
この本社は、たぶんシャーロットの中では一番高い。

1時間ぐらい見て歩いたのでホテルで休憩していたら、7時30分を回っていたので夕飯を探しに行く。
ところが、この時間になるとあちこちのお店が閉まっていて、開いているお店を探すのがたいへんだった。
なんとか、FIREHOUSEというサブウェイに似たお店を見つけたので、ここで食べた。
ちょっとしょっぱかったけど、アメリカの料理としてはそこそこ美味しいと思う。

固有値の論文の続き

2011-11-10T19:39:00.000+09:00

ここまで読んでいた論文に時間がかかっているのは、誤植などが多いからであるが、ようやく誤植をカバーして、基本的なアイデアを理解することができた。
A*X=X*Lambdaの形式で A を可能な限り排除していく感じで数式を展開するのがアイデアのようである。
あとは、これを一般化したところを理解すれば、プログラムに入れそうである。

今日の作業内容：固有値微分 3h
今日のランチ：ちゅらさん　タコライス
明日の予測作業時間：4h

固有値ベクトル微分の論文

2011-11-09T19:49:00.000+09:00

最近読んでいた論文の内容をまとめた PDF があったのを見つけた。
http://www.win.tue.nl/casa/meetings/seminar/previous/_abstract051019_files/Presentation.pdf

この論文については、著者にプログラムを利用できるかどうか問い合わせてみたが、やはり利用できないとのことであった。
ただ、利用出来ないということは数理最適化を含めて数学分野では珍しいことではなく、「論文のためだけの研究、プログラム」というのは結構ある。

でも、この論文の内容をきちんとプログラムとして活用できるように実装すれば、それだけでも論文にはなるとも考えられる。

今日の作業内容：ネットワーク設定 4h + 固有値計算 2h
今日のランチ：味庵油林鶏
明日の予測作業時間： 3h

Lubuntu 11.10 と Linux Mint Debian Edition の比較

2011-11-08T20:19:00.000+09:00

今後のメインで使えそうなＯＳとして検討しているのが、
(1) Lubuntu
(2) Debian (testing or sid)
(3) Linux Mint Debian Edition
の３つである。

このうち(2),(3) は一度インストールすれば再インストールの必要がない環境を構築できるのが便利である。
また、(1) は ubuntu のソフトを活用できるという点がある。

とりあえず試してみないと細かいことは分からないので、vmware で試している。
インストールから１時間程度試してみたところで気になった点をまとめると

1. Linux Mint Debian Edition は、LibreOffice が入ってしまうので大きくなりがちであり、起動や終了に時間がかかる。
また、日本語環境に弱く、日本語を表示するまでは簡単だが入力の設定が煩雑である。（日本語のフォントも Debian に比較すると少ない）

2. Debian の sid はコンパクトな構成にできて、その分だけ高速動作ができる点が魅力だが、sid は不安定のソフトが紛れ込む可能性があって、常用するのは難しい。
ただし、SDPA の Debian パッケージやWindowsパッケージは Debian の sid で作成している。

3. Lubuntu は日本語インストールができる状態になっている。
ただし、日本語入力が標準ではインストールされていないので、ibus-anthy なり scim-anthy なりをインストールする必要がある（今日の時点では、ibus-anthy の key-bind を canna 風に切り替えたりなどする機能が見つからなかった）。
また、Lubuntu は 12.04 のときに ubuntu 同様に Long Term Support になるかと思われたが、Long Term Support にはならないらしい。とは言っても、ubuntu の機能が大きく変わるのはインターフェースだけであり、そこを LXDE で固定してしまえば 11.10 から 12.04 で劇的な変化も起こりにくく、11.10 から 12.04 へのバージョンアップはスムーズにできる可能性が高い。

このようなことを考えると、現状としては Lubuntu が最有力候補といったところである。
Linux Mint Debian Edition は日本語サポートの強化と無駄の削除が進まないと現時点では利用しやすいとは言い難い。

なお、ubuntu は起動や動作などが遅く使い勝手が良くないが、Lubuntu は必要なソフトを最小限にしているので全体の動きも快適である。ubuntu を１年ぐらい使って慣れているのであれば、ubuntu よりもむしろ Lubuntu のほうが便利である。

今日の作業内容：Lubuntu など下調べ 3h
今日のランチ：らく　まぐろの漬け丼
明日の予測作業時間：4h

SNL の打ち合わせ

2011-11-07T19:07:00.000+09:00

今日は、午後に出かけて SNL の研究の打ち合わせをしてきた。
SNL の研究としては、いまはタンパク質を計算しているが、とりあえずすべきことは

(1) そのタンパク質を高精度に計算できたとして、化学としてどういうメリットがあるのか
(2) 計算しているタンパク質を PDB で検索して、どのようなタンパク質であるかを再確認する

という２点である。
他の点はメモしておいたので、また検討することになる。
あと、分子動力学は、化学としては極めて重要な手法であるが、数理最適化でどれくらいの貢献ができるのかについてはほとんど検討されていない可能性があるので、このあたりを調べることも今後の課題である。

今日の作業内容：LMDE インストール 2h + 打ち合わせ 1h
今日のランチ：シッダルータ　ベジタブルカレー
明日の予測作業時間：5h

研究打ち合わせと固有値微分

2011-11-04T22:59:00.000+09:00

今日は夕方ぐらいに研究打ち合わせがあって、いろいろと話を聞いていたが、かなり参考になることばかりで勉強になった。
こういったことも、ちゃんと勉強しておかねば、と思う。

あと、固有値微分については、プログラムを組みなおしたところ、誤差はかなりあるけど、それなりに妥当な数字が出るようになった。
実際には、A = P*L*P^T と固有値分解されているときに、A + ε dA を固有値分解 P2 * L2 * P2^T として、(P2-P)/εを計算するほうが、理論的なものよりも数値誤差がなぜか小さいのだが、この簡便法だと固有値の重複度があるときが扱えないので、やはり理論的なものを利用しなければならない場面がある。

ところで、固有値微分はありふれた内容なので既に Matlab などで計算プログラムがあるのかと思って調べているのだが、これが意外なほど見つからない。
自分で組むしかないのかもしれないが、これだけで論文になりそうな気もする。

今日の作業内容：固有値微分 2h + 研究打ち合わせ 2h + 出張準備 1h
今日のランチ：ちゅらさん　しまなーチャンプル
明日の予測作業時間：3h

プログラミングやり直し

2011-11-02T20:21:00.000+09:00

固有値微分の論文をベースにしているプログラムは、やっぱり計算が合わないので、プログラムのバグなのか、論文の結果自体に誤りがあるのかを切り分けるためにプログラムをやり直すことにした。

途中まで組みなおしたが、今回は論文の変数とプログラムの変数を一致させてあるので、かなり簡単に進んでいる（２度目という効果ももちろんあるが）。
固有値の微分の結果まではすでに出ており、ここまではやはり正しい。
残りの固有ベクトルについて検討してみたい。

今日の作業内容：プログラミングやり直し 3h
今日のランチ：味庵厚揚げ豆腐と豚肉炒め
明日の予測作業時間：3h

固有ベクトルの微分の続き

2011-11-01T18:25:00.000+09:00

この前から読んでいる固有値と固有ベクトルの微分についての論文だが、Matlab で検証してみるとどうも計算があわない。
プログラムにバグがある可能性もあるので確認しているところだが、気になるのは別の論文だと異なった計算式になっていることである。

固有値の微分はいくつかの論文で同じ結果なので間違いないと思われるし、Matlab での検証とも整合している。
しかし、固有ベクトルの微分はいくつかの論文でかなり異なる結果が出ているし、数学的に等価であることを示すのにもそれなりの定理が必要そうなほどに異なっている。
さらに不思議なのは、年代がバラバラなのに以前にある論文を参照せずに基本的には同じ内容の研究をしているところである。
同じ研究対象の論文が独立に存在するのである。
いずれも昔の論文なので、インターネットのない時代であるから、おそらく以前の結果を知らずに同じことを研究して（別の結果を得て）別の雑誌に投稿したのだと考えられる。

固有ベクトルの微分だけでも不思議なものである。

今日の作業内容：固有値計算の検証 2h
今日のランチ：ろばた八角豚ロースしょうが焼き
明日の予測作業時間：4h

固有値微分の続き

2011-10-31T18:42:00.000+09:00

以前読んでいた論文は、
Sensitivity Analysis of All Eigenvalues of a Symmetric Matrix
by J. -b. Hiriart-urruty , D. Ye
であって、固有値の微分自体はこれでできる。
ただ、この論文では固有ベクトルの微分までは書かれていないのが痛かった。

いま読んでいる論文は、固有ベクトルの計算がいまひとつよく分からないので、Matlab で確認用のプログラムを組んでいたが、おかげでだいぶ理解できるようになった。
こっちの論文では固有ベクトルが正規化されていないので、これを考慮する必要があることが分かった。
だいたいの計算式までは把握したので、これをMatlab でもう一度確認することにしよう。

今日の作業内容：固有値計算 4h
今日のランチ：らく　焼き魚定食
明日の予測作業時間：3h

最短路アルゴリズムの論文

2011-10-28T19:00:00.001+09:00

RAMP の資料の参考文献をチェックしているが、そこから調べているときに

A new implementation of Yen's ranking loopless paths algorithms

というものがあった。
これは、最短路問題のすこし特殊系であって、たとえば「新宿駅から東京駅への道路での経路」を「短いほうから k 個出力」というものである。

こういったアルゴリズムは、地震などで途中の道が使えなくなった時などに利用可能かと考えられる。
ただ、最短路のアルゴリズムは通常使用には申し分ないほど高速化が達成されており、地震などに対応するためには最短路計算の高速化よりも地震の影響がどの道にどれだけ出やすいかという情報をどのように組み込むかが重要である。

今日の作業内容：最短路アルゴリズム下調べ3h
今日のランチ：ジョーナン　コロッケパン、カレーパン、ウィンナーパン、シナモンロール
明日の予測作業時間：3h

論文下調べ

2011-10-27T21:10:00.000+09:00

RAMPでいろいろと分かったことをベースに、論文下調べをすることにした。
とは言っても、今日はあまり時間がなく、論文をダウンロードしておくだけしかできていない。
今回は論文をゆっくり読む時間がないと思うので、逆に短い時間でどのようにポイントを理解するべきか、に集中して読み進めたいと考えている。

今日の作業内容：論文下調べ 0.5h
今日のランチ：四川鶏小松菜炒め
明日の予測作業時間：4h

RAMP出張記 3/3

2011-10-26T19:00:00.000+09:00

すでに RAMP は昨日で終了しているが、今日は移動日ということで大阪を見て回ってから東京に帰ることにする。まずは朝ごはんから。

朝ごはんは、今日もシンプルにしておいた。クロワッサンは個人的には好みである。

ホテルをかなりゆっくりと出た後、地下鉄を乗り継いで南森町へ。

お昼の時間になってしまったので、森町食堂というところでお昼にする。ここは、おかずなどを自分で選んでいくスタイルの定食屋さんである。今回はサバの味噌煮、きんぴらごぼう、下ろし大根とじゃこ、ご飯小と味噌汁である。すこし軽めにしたので、消化にもよかった。

そのあと、大阪天満宮へとお参りする。ここは学問の神様なので、共同研究者の人がいい論文を書けるようにお願いを掛けておいた。

こんどは中之島に移動。今回は期間限定の大型アヒルが浮かべられていて、びっくりするほどの大きさであった。これを見てこれたのはタイミングが良かった。

さらに、大阪城で大阪の歴史について勉強。やはり、大阪の視点からだと徳川をいかに追い込んだか、という点が強調されていたりする。ただし、豊臣の大阪城はほとんど原型が残っておらず、濠や石垣などは徳川再築であり、本丸は昭和の再築である。（ということも勉強してきた。）

ここで地下鉄に乗り、四天王寺へ。久しぶりに仏像などを見ると、ホッとしたりする。

タイミングがよかったのか、参拝客が少なかったので、ゆっくりと参拝することができた。

ここからはひたすら歩き。まずは通天閣の近くまで行ってみた。
行ってはみたけど、すでに高いところは大阪城に行ったので、通天閣には上らなかった。
通天閣は、今となっては低い建物で、周りのビルに圧倒されているので、立て替えとかもあっていいかもしれない。

さらにあるいて、なんばを通過。難波の商店街。

なんば花月も通過。

さらに、食いだおれ小僧に、

かにのおおきいの、

そして、グリコのポーズ。

ここからもさらに歩き続けて、梅田へ。
日本人なら誰でも知っている曽根崎心中に関係がある露天神社を参拝。
そのあと、梅田のお好み焼き屋さんで牛スジお好み焼きとコーラで夕飯にする。

やはり、実際に街を歩いてみると、いろいろなことがわかり、学会同様に勉強になる。
ちなみに、今日歩いた距離は15km ほどで、これに大阪城や梅田でお好み焼き屋さんの探すまでなどもさらに歩いている。

大阪から新大阪へと移動して、そこから新幹線へと乗り、東京へと戻ってきた。

RAMP出張記 2/3

2011-10-25T21:00:00.000+09:00

今日は、2日目ということで、ホテルの朝食から。

阪急アネックスの場合、洋食和食のビュッフェ。

あんまり食べると、消化に疲れるので、軽めにしておく。

電車は阪急であるが、阪急梅田は京都線、宝塚線、神戸線と出ており、さらに関西大学に行くには京都線で「北千里行」に乗るか、「京都行き」で「淡路乗換」があり、分かりにくい。今回はたまたま「北千里行」がきたので、これ幸い、とそれに乗る。

2日目の内容もいろいろとバラエティに富んでいて面白かったが、劣モジュラの話は結構面白いと感じた。グラフ分割との関係は SNL の計算にも利用できる可能性があるので、参考文献をチェックしてみようと考えている。

RAMP出張記 1/3

2011-10-24T19:00:00.001+09:00

今日から RAMP シンポジウムということで、朝の新幹線で東京から大阪へと移動し、会場である関西大学へと電車を乗り継いでたどりついた。11時ぐらいにはなんとか着くことができた。

午前のセッションでは、情報理論と SDP の関係の話があった。
あとで、スピーカーの人に聞いたら、「実行可能解を見つけるのではなく、実行不可能であることを示す点を見つけるような定式化」と言っていたので、普通の SDP よりもむしろ Farkas の Lemma に近いのでは？と思う。

最初のセッションの後、お昼の時間を使ってランチを食べに出かける。
今回はお好み焼きということで、「ヤネ」というお店でモダン焼きを食べる。
大人数で押し掛けてしまったので、切り盛りしてくれるおばちゃんが大変だったと思うが、ハイテクニックで全員分を同時進行してくれたのでほぼ全員分が同じに出来上がった。
うどんまで入っていてかなりのボリュームであったし、おいしかった。
関西大学の現役学生はあまり来ていないそうなので、かなりもったいないと思う。
（写真がぼけてしまって、残念ではある。）

午後のセッションは実社会にどう用いられているか、という話であった。
この中の話のひとつは SNL の計算に使える可能性がありそうだったので、これについてはあとで参考文献を調べておくことにする。

終わった後、梅田に移動。新大阪駅が新しくなり、見るところが多かったので、ぶらぶらと散歩をしてみた。

ところで、今回は阪急ホテルアネックスを取ったが、大阪駅からホテルに向かうまでの間に、変なおじさんに声を掛けられて、道をさんざん聞かれて、最後に「タクシーに一緒に乗って教えてくれないか？」と言っていたが、「そこまでは面倒だ」と思って(目の前にヨドバシカメラがあるのに、「ヨドバシカメラはどこだ」とか言っていて、かなり怪しかったし）、タクシーとかが来ないうちにおじさんから離れた。
ホテルに着いてから気がついたが、あれはタクシーの人がグルになっていて道案内をしようとしてタクシーに乗った人からお金を奪うつもりのものだったのかもしれない。
大阪駅から100mぐらいのところでもあり、やはり大阪も油断禁物である。

固有値の続き

2011-10-21T19:18:00.000+09:00

まとまった時間が取れない中で、論文読みの続きをしているが、いままでよく分からなかったところなどが書かれていて、今後の計算に利用できそうなところが多い。

特に、固有値のルシャンドル変換が 0 と ∞のいずれかのみをとる、というのはあまり知らなかったが、利用できそうな性質である。

この論文の微分は方向微分になっていて、かなり一般的な枠組みなので、自分の計算ではもっと効率的にできる可能性もあり、そのあたりも検討したい。

今日の作業内容：論文読み 2h
今日のランチ：ちゅらさん　アジのしまに
明日の予測作業時間：4h

固有値微分の論文読み

2011-10-20T17:55:00.000+09:00

この前から読んでいる固有値の微分の論文であるが、かなり勉強になる。
そもそも、行列Xを引数とする関数として固有値 lambda(X) を見た場合、lambda(X)は全微分不可能である。
これは、方向微分の値が異なるためである。
この流れに則して、劣微分やその一般化などの定義も含まれており、微分の勉強になる。

以前に自分で導出した微分が、この論文の微分と一致するのかをチェックする必要があるが、実際の計算で微分を入れるときには、こういった知識が役に立ちそうだ。

今日の作業内容：論文読み1h
今日のランチ：食堂　マーボー定食
明日の予測作業時間：4h

固有値の論文、途中まで

2011-10-19T18:27:00.000+09:00

今日はあまり時間がとれなかったが、固有値の微分の論文を6ページ程度読んだ。
（別の論文も目を通したが、こっちのほうが詳しいようなので、こっちに絞り込むことにした。）

Intro のところに Overton の名前があり、やはり固有値の微分と SDP は関係性があるのだな、と思う。
もう少し時間を取って読み進めたいところだ。

今日の作業内容：論文読み 2h
今日のランチ：ジョーナンシナモンロール, チキンナゲットパン, お豆腐サンドイッチ
明日の予測作業時間：4h

固有値の感度分析

2011-10-18T20:32:00.000+09:00

昨日も調べていた固有値の微分だが、これだけ重要な内容だから代数的に確認しておこうと思い、maxima, mathematica と使ってみた。

結果、solve ではうまくできなかったが、そのあと、mathematica には Eigenvalues, Eigenvectors というそのままのものがあり、これを使うことで2x2の行列を代数的に処理できることが分かった。

ただ、固有値の微分というこれだけ重要な内容で既存研究がないのは不思議だと思って、もう一度調べてみたところ、どうやら「固有値の感度分析」というような名前で研究が進んでいるらしい。
昨日問題になっていた固有値の重複度があるときについての論文も見つかったので、これを読み進めて行くことにする。

今日の作業内容：固有値の計算4h
今日のランチ：らく日替わりのお刺身
明日の予測作業時間：3h

固有値の微分

2011-10-17T17:55:00.000+09:00

この前から気になっていた固有値の微分だが、固有値に重複度がないときには計算する方法が見つかった。
ただ、思っていたよりも精度が出ない様子だ。
Matlab で検算用のプログラムを組んでみたが、多倍長計算の vpa を用いても誤差が残りやすい。
検算の方法が単純に (f(x+h)-f(x))/h なので、小さいhになるとこれにも誤差が入りやすいのだが、1.0e-4 以下の数値のところで2倍3倍程度でずれるときがあるようだ。
ただ、理論的に外れているのであれば、2倍3倍では済まない誤差が入るはずなので理論的にはほぼ正しいと考えている。
ちなみに、複数の固有値が似たような値になると、やはり微分の値もずれが大きくなる。

また、今のプログラムは X が n times n のときに O(n^12) のアルゴリズムとなっている。
これはかなり重い計算であって、量子化学の SDP なみに重い。

あと、固有値に重複度があるときは、問題が極端に難しくなる。
固有値自体は連続であるが、固有ベクトルは固有空間を張る基底であれば任意であるので、そのあたりをどう処理するかが次の課題である。

今日の作業内容：固有値微分の確認 5h
今日のランチ：味庵　油林鶏
明日の予測作業時間：4h

Lubuntu 11.10 をダウンロード中

2011-10-14T19:13:00.000+09:00

日本時間だと今日にリリースされた Lubuntu 11.10 だが、どうなっているかを試してみようと思い、ダウンロードをしている。

ダウンロード元は
http://cdimages.ubuntu.com/lubuntu/releases/11.10/release/lubuntu-11.10-desktop-i386.iso
であるが、これのダウンロードにかなりの時間がかかっている。
全体で５，６時間程度かかる様子だ。
やはり、リリースされたばかりで ubuntu.com が混雑しているのかもしれない。

あと、昨日気になっていた固有値の微分は、2x2行列で直接固有値を代数的に表現してやってみたが、これだけでも複雑だった。
計算自体は高校生でもできるのだが、それを3x3以上に一般化する法則性のようなものが見えてこない。
しかも、5x5以上の大きさになると、5次多項式の解を求めることになり、explicit に固有値を表現して微分する、ということができない。

ただ、今やっていることは固有値の微分そのものではないので、他にもいろいろと検討してみたい。

今日の作業内容：固有値微分 3h
今日のランチ：らく鶏照焼定食
明日の予測作業時間：4h

固有値を微分

2011-10-13T19:51:00.000+09:00

調べ物をしていて面白いことに気がついたが、

"固有値を微分"

として google で検索すると全くヒットしない。

固有値　微分

だと、微分方程式の関係のページが大量にヒットするが、固有値を微分する、というのは日本語にはそれほどないらしい。
固有値と微分という高校数学に出てくる組合せであるにも関わらず、これだけ研究が見当たらないというのはなかなかに興味深いことだ。

今日の作業内容：行列下調べ 2h
今日のランチ：つかさ　カンパチまかない丼
明日の予測作業時間：4h

Openoffice のバグ？

2011-10-12T19:02:00.000+09:00

ちょっと時間がないので、ダウンロードなどでできる内容を空き時間に進めているが、Openoffice or Libreoffice がどの程度使えるかを調べてみている。

Libreoffice についてはWindows 版の portable で、Openoffice は Ubuntu 10.10 のものである。
この２つで、なぜかうまくできていないのが、数式を Math から Impress に挿入したときに、Impress で移動できていないことである。
ただ、インターネット上でこのような症状が起きている報告はあまりないので、特殊なバグなのかもしれない。

ちなみに、Impress で Math の数式を作った際に、サイズを変更しようとしてプロパティからサイズの保護を外しても結局サイズを変更できないのは、Impress or Math の仕様らしい。
サイズの保護についてボックスを作ってあるあたり、「サイズは変更できるっぽく見せかけて、やっぱり変更させない」というのが仕様らしい。

いずれにしても Impress でどこまでできるのかをもう少し調べておきたい。

今日の作業内容：証明の復習 2h
今日のランチ：コピラシーフードカレー
明日の予測作業時間：4h

書類の作成

2011-10-11T17:39:00.000+09:00

最近、発表資料と書類の作成が多いが、今日は書類の作成が中心となった。
ただ、ある程度の見通しは立ったので、これからまた SNL のプログラムの修正にも入りたいと考えている。

今日の作業：書類作成 4h
今日のランチ：角笛カレイの南蛮漬け
明日の予測作業時間：3h

原稿などの確認

2011-10-06T19:56:00.000+09:00

今日は
１．学会発表資料
２．提出書類
３．共著関係
と原稿の確認が中心であった。
ここまで一度に重なってくるのは、逆に珍しい。

１と２については、一度書いたものを時間を置いて校正する必要があるので、実際に使うまでにはもう少し時間がある。

今日の作業内容：原稿確認5h
今日のランチ：味庵レバニラ炒め
明日の予測作業時間：2h

Ebook を試してみる

2011-10-05T18:04:00.000+09:00

Cambridge University Press の Ebook の無料トライアルができるということなので、Ebook がどの程度便利であるかを知るために試してみることとした。
本のリストを見ると、多くの本が対応しているようであるが、今回は
Tutuncu, Optimization Methods in Finance
の
Chapter 19: Robust optimization theory and tools
Chapter 20: Robust optimization models in finace
で試してみている。
基本的には PDF でダウンロードだが、PDF にどのIPアドレスでダウンロードしたかが追加されるようになっている。

この本は、字もそれなりに大きく、数式もそれほど混み合ってないので、PCの画面で読んでいてもそれほど不都合は感じない。（扱っている内容をほとんど理解しているからかもしれない。）

複雑な証明が多く入っているようなものには、やはり見通しが悪くなるような印象なので、そのように前後の参照が頻繁に起こるようなものは印刷された書籍が適切なようである。

これからは電子書籍と印刷書籍を使い分けることになるのであろう。

今日の作業内容：発表資料作成 3h
今日のランチ：角笛豚のマリネ
明日の予測作業時間：5h

原稿作成の続き

2011-10-04T19:32:00.000+09:00

昨日から作り始めた原稿であるが、４ページとなっていて、それなりに時間がかかるかと思っていたら、指定されているフォントが大きく、あっというまに４ページになってしまった。
むしろ４ページでは足りなくなっているので、もう少し内容を厳選しなければならない。

それにしても、SDPA 関係の原稿の場合、それなりに速く書けるので楽といえば楽でもある。

今日の作業内容：原稿作成 5h
今日のランチ：らく鶏の照り焼き
明日の予測作業時間：3h

SDPA 関係の原稿を作り始め

2011-10-03T19:34:00.003+09:00

今回は英語で４ページの内容なので、それほどボリュームも多くないが、TeX のスタイルファイルなどに手間取り、内容には踏み込めず。
明日、明後日でおおまかに書き込んで、今週中にはだいたいの形にしたいところだ。

今日の作業内容：原稿準備 2h
今日のランチ：シッダルータベジタブルカレー
明日の予測作業時間：5h

SDPA 関係の原稿を作り始め

2011-10-03T19:34:00.001+09:00

内点法25周年とRobust最適化のサーベイの論文

2011-09-30T18:09:00.000+09:00

European Journal of Operational Reseach に accept された論文で、「内点法25周年」というものがある。
ざっと目を通してみたが、25年の歴史を振り返っているのが前半で、後半には QP に適用した場合の多項式時間での収束などの証明が載っている。
また、最後のあたりは matrix free の計算についても触れており、数値実験が行われている。
matrix free のあたりはSDPAでも参考になるかもしれない。

あと、SIAM Review のほうには Robust 最適化のサーベイが掲載されている。
Theory and Applications of Robust Optimization
Robust 最適化はSIAMから本が出ていて、これで基本的な内容はカバーできるが、このサーベイは解りやすい例とこれからの応用を中心にまとめてあって、1本の論文で全体を見通せるような構成になっている。

今日の作業内容：PDF proof チェック 4h
今日のランチ：ちゅらさんタコライス
明日の予測作業時間：2h

内点法の証明手順

2011-09-29T19:12:00.000+09:00

今日は内点法の論文をチェックしたが、内点法の証明はいくつかの基本的なステップがある。

(1) KKT 条件の左辺の微分でできる行列が、 KKT 条件の成り立つ点でも逆行列を持つこと（基本的には陰関数定理による）
(2) 中心パスの点がセンタリングパラメータ mu について連続微分可能なこと
(3) mu^k を小さくしながら、KKT 条件の成り立つ点に収束すること

内点法については Wright の本が要点をまとめてあり、非常に参考になる。

ちなみに、今日読んだ論文は記号表記が利用できそうであった。

今日の作業内容：内点法の論文チェック 3h
今日のランチ：信華園かたやきそば
明日の予測作業時間: 4h

もう一度、基本の論文を再確認

2011-09-28T21:54:00.000+09:00

今日はあまり時間が取れなかったので、基本の論文を再復習しておいた。
もう一段、難しい論文についても読み直す必要があるが、こちらは明日になりそうだ。
あと、lubuntu11.10 についても、もう一度 vmware でインストールして、どのようになっているか、TeXなどについても確認しておきたい。

今日の作業内容：再復習 1h
今日のランチ：つかさ　生サーモン照り焼き
明日の予測作業時間：5h

書類の校正

2011-09-27T19:33:00.000+09:00

先週書いた書類については、表現が専門的すぎる印象があったので、大幅に校正することにした。すでに一度書いた文章なので大きく変更するのは難しいが、やはりいい書類にするためには必要なことだと考えている。
まだもう少し日数がかかりそうだ。

今日の作業内容：書類校正 3h
今日のランチ：シッダルータ　キーマカレー
明日の予測作業時間：2h

Windows 版 SDPA と OpenBLAS

2011-09-26T19:33:00.000+09:00

Windows 版の SDPA は OpenBLAS を利用しているが、どうやら 64bit Windows だと OpenBLAS の違いから数値誤差が変化するようだ。
もともと、内点法の場合は、錐の境界に近づくと数値誤差の影響が大きくなることが知られているが、OpenBLAS の違いで数値誤差に変化が出るようである。
なお、基本的に OpenBLAS についてはコンパイル時に git で最新版をダウンロードしてリンクするようにしている。
(詳細は、Windows版の SDPA をダウンロードして、その中にあるコンパイル用のシェルスクリプトをみると分かる）

あと、Windows 版の SDPA のコンパイルのために、Windows 版のコンパイルのためだけに準備してある Debian を久しぶりに起動したが、Debian の sid は lxde で構成しているとアップデートマネージャによるアップデートだけで更新が済み、半年後とのメジャーリリースがある Ubuntu と比べるときわめて楽である。

そういえば、この前、 lxde のメニューからの起動の時に lxterminal の引数を変更できない、と書いたが、これは root 権限を使えば変更できることが分かった。
/usr/share/applications/lxterminal.desktop
に設定ファイルがあり、このなかの Exec が実際のコマンド行である。たとえば、
Exec= lxterminal --geometry=80x15
と変更すれば良い。
ただし、このファイルの設定に失敗すると、lxterminal をメニューから起動できなくなるので、注意が必要である。
（自分も失敗したが、このときはssh でログインしてファイルを修正した。）

今日の作業内容：Windows 版コンパイル 2h + 書類作成 1h
今日のランチ：味庵チンジャオロースー
明日の予測作業時間：4h

今週は書類作成だった

2011-09-22T19:00:00.004+09:00

今週は、書類の作成が中心で時間が終わってしまった。
ただ、この時期の書類は、今後の展開などにも重要なので、やはり時間をかけて書類を作成している。
提出まであと2週間ほどあるので、それまでに何回か見直して修正することになる。

今日の作業内容：書類作成 4h
今日のランチ：らく　鶏の照り焼き
明日の予測作業時間：5h

Lubuntu 11.10 を試してみた

2011-09-21T20:08:00.000+09:00

Lubuntu 11.10 の daily build を vmware でインストールしてみた。
iso のダウンロードは、
http://cdimage.ubuntu.com/lubuntu/daily/current/
からできる。
インストールは、インストール言語をC(英語とか日本語とかあるリストの一番上)でインストールして、そのあとで日本語表示などを入れると比較的簡単にできる。

標準インストールでディスク消費量は 2.1GB 程度。Ubuntu の3分の2程度から半分程度である。
ここに sdpa, libsdpa-dev, sdpam をインストールすると、ディスクが 500MB 程度消費される。
500MB は大きいが、これには理由がある。標準で gcc, octave などがインストールされていないので、この3つをインストールするときに同時にインストールされるためである。
SDPA や SDPA-M などは普通に利用できる。

あと、Lubuntu 11.10 は Ubuntu 11.10 に比較すると、かなり高速に動く。メモリ消費量も少ない。
特に、chromium で重たいページをチェックすると差が表れやすいように感じる。

まだベータ版なので修正も入るかと思うが、ほとんど問題なく使える。

ところで、アプリケーションランチャに lxterminal を追加したとき、引数をつけたい ("lxterminal --geometry=80x15"のようにしたい)のだが、その方法がよくわからなかった。
このあたりは、また方法を探そうと思う。

今日の作業内容：Lubuntu チェック 2h + 書類作成 3h
今日のランチ：食堂　ライスS, 油揚げとわかめの味噌汁, 唐揚げ＆ハンバーグ, 秋のバランス惣菜
明日の予測作業時間：4h

Lubuntu 11.10を下調べしてみる

2011-09-20T19:00:00.001+09:00

来月になると Ubuntu が 11.10 になるが、その時点で Lubuntu が Ubuntu Family のひとつとなるようである。
Youtube などでは、Lubuntu 11.10 のベータ版を実行している様子などが既に取り上げられているが、Ubuntu と比較するとソフトウェアなどが抑えられ、無駄の少ない構成になっているように思われる。
すこし時間を取って、ベータ版がどの程度になっているかを vmware などで確認しようと考えている。

今日の作業内容：書類作成 4h
今日のランチ：角笛ハンバーグきのこソース
明日の予測作業時間：4h