なにやら，次のISMPのページがもう出来ているようで．
次回はデンマークか．
Plenary speakerもArora, Tamir, Robin Thomasと僕好みな人びとがいてとてもよいです．
Preliminary registrationで，早くも塩浦さんが申し込んでいるところが，さすがだなぁ，と思わせますね．
ということで、一段落ついたけども、午後はコンピュータの設定をしていた。
まずは、(なぜか)Ocamlのインストール。一発OK。
次は、Tgif。
今までは、論文とかスライドの図はTgifで書いていたので、やっぱり導入しておきたいところ。
こちらもなんとかOK。
ところが、LaTeXとの連携がうまくいかない。
epstoolの周辺でつまずいてしまう。
ということで、結局、Tgifは諦めて、これからはXfigを使うことにしよう。
で、ちょっと練習。
割りときれいに描けてよい。
しかし、やはり、慣れるまでには時間がかかるだろう。
あぁ、もう2ヶ月かぁ。という感じです。
こんなに長く日本を離れたことはなかったので、割りと日本が恋しくなって来ました。
紅白も見れないし。
というか、どうして、えなりかずきなのか。
これではポルノグラフィティのファンが納得しないと思う。
あと、Re: Japan というのが、かなり危険な匂いを出していてよい。
というのが、一般的なはずなのだけども、なぜかテスト勉強というものにやる気がおきない。
と前々から書いていて、結局今日に至る。
いけませんねぇ。
今日のほとんどは、emacsの設定をしようと思って、結局うまくいかずに終わった。
興味があるから論文を送ってくれ、ということをある人からいわれる。
やはりこういうことを言われると嬉しい。
昨日からNoga AlonがETHに来ていて、昨日と今日とゼミで話をした。
昨日の話は、グラフのpropertyの判定をするのに確率アルゴリズムを使う話。
(ちなみに、ほとんどわからなかった。)
今日の話は、代数・数論の結果をグラフの(特に彩色の)話題に適用する話。
(なぜか、こっちのほうが「比較的」よくわかった。といっても、全然わかってないのには変わりがないが。)
うーん、国際的でよい。
あさってが、またテストなのになかなかやる気がでない。
プロジェクトで考える問題の糸口がなかなか見つからなくて、そっちに気がまわってるからだと思われる。
小林くんの日記に気になることが書いてあったので、突っ込みたくなって来た。
結局、最終的に何のモチベーションが高くなったのだろう。
自分のやりたい勉強をするために理学部の授業をとっているのだと思われるが、そのレポートをするのが単に面倒になってしまった、ということなのだろうか。
その割りに、Caltechの学生は宿題に多くの時間を割いていて云々、というのが引き合いに出されているし。
リベラルアーツ云々、っていうのが問題なのだろうか。
うーん、全然わからない。
僕の文章読解力の無さのせいで、必要以上に悪く解釈しているのだと思う。
何か、このままだと他の人のページに突っ込みをいれるのが日課になりそうだ。
(牧野さんのように。)
ところで，岩間先生のこの文章は何かはじけていていい感じがする．
特に「来て欲しい人」のところはなかなかキテいる．
(結局，誰でもいいから来て欲しいのではないのかな．)
はじめのほうは「比較的」真面目に書いてるのに．
あと，「これ(学振)をもらいながら1年間海外留学するのが標準コース」というのはどこの標準なんだろう．
とか，とにかく，突っ込みどころ満載でよいです．
最近、気分が曇りがちだ。(ちょっと大袈裟かもしれないけど。)
というのは、この時期のチューリッヒはずーーーーーーっと曇っていて、雲の切れ間というものが存在しないからだ。
あぁ、陽の光を浴びたい。
そういえば、昨日は「なにかを分けるのは日本の伝統的なスポーツみたいなもの」ということまで言われてしまった。
文脈はハムサンドイッチ定理の周辺のことで、今回は角谷の定理とかそこらへんも絡んでこの発言が出たものと思われる。
何かをわける研究を自分もするかな。
で、何かの証明が出来たが、何を示したのか自分でもいまいちよくわからない。
何かは示された。けど、これは一体なんなのだろう。
ということで、再考。
最近ちょっと寒い。
割りとよく雨がふる。
トポロジーをこんなに勉強しているのに、実はホモロジーも基本群も知らない。
Jirkaの講義では出来る限りトポロジーに関する詳細には立ち入らずに、その応用の方に力点が置かれているのだ。
(またここでJirka呼ばわりしてると、日本の Jiri Matousek ファンに怒られそうだが、普段そう呼んでいるのだからしかたない。)
つまり、ホモロジーや基本群は結局自分で勉強しなくてはいけないわけだ。
でも、講義でホモロジーや基本群が出て来ないからといって、講義が簡単なわけではないこともなかなか悩ましいところだ。
最近授業中に質問しまくっている。
しかし、まだコマゼミで質問しまくっていたとき程ではない。
これぐらいがちょうどよいか。
そういえば、論文が受理されたので、もうすぐ自分のエルデシュナンバーが無限大から有限になる。
調べたところ、Erdos -> Harary -> Iri -> Nakamura -> Okamoto という経路を経て4になる模様。
今日、雪が降った。
あまり寒くないのに雪が降ったので割りと驚いているけども、これからもっと寒くなるはずだからもっと雪が降るのだろう。
しっかりしたブーツを買う必要があるかもしれない。
これに輪をかけるようにいいことが続く。
というのは、論文が受理されたから。
これで同じジャーナルの同じ号に2つ論文が載ることになる。
こんなに調子がよくてよいのだろうか。
浮き沈みが激しいのが特徴の僕なので、おそらくとんでもないことが待ち受けてるのだろう。
怖い。
というか、自分の得意なものは何だろう。
集合族の分野(があるとすると、そこ)では、すべてが公理から始まって公理と公理から示された定理のみを使って話が進むので非常にわかりやすい。
これは自分の得意な分野だろう。
ただ、幾何は割りと直観的になってしまう部分があって、本当はそういうものを取り除かなくてはならないのだけれども、
他の人のやった証明とかを見ても、いまいち納得出来ない。
あと、実は、再帰も苦手であることが発覚。
幾何が苦手なのが発覚。
修行がたりないようだ。
数学的には好調だが、体のほうはそれほど好調ではない。
ちょっとoverwork気味か。
毎日朝から晩まで勉強してるわけだから、無理もないかと思うが、
ひっくり返すと、日本では朝から晩まで何をしていたのだろうか。
でも、まぁ、テレビとかそういうものを持ってないのがずーっと勉強してることの理由になるのかもしれない。
あるいは、英語に疲れてるのかもしれない。
英語を使って行くのは割りと疲れる。
と、暗いことばかり書いてると暗くなるので、好調な数学の方に話を持って行くと、
今日は演習の問題がほとんど解けた。
割りと快挙なので、明日もこの調子でいきたいところ。
最近の関心事というか、よく考えることは、講義や演習などで証明を聞いたときに、もっと簡単な別証明はないだろうか、ということだ。
(昨日は、演習のときに自分の簡潔な証明を発表して、割りと評判がよかった。)
いまは、講義でそういう手法を学んでいるところ(確率的な手法、トポロジー的な手法、代数的な手法)なので、
いろいろなものをいろいろなところに適用することを考えるのは割りと面白いと思う。
自分の書いた論文の証明を見ると、どれもそれ程簡単ではない。
というか、繁雑だ。
だからこそ、いろんな手法で鮮やかに問題を解決するのは楽しく思える。
そういえば、今日の講義のときに
「ケーキを分割する問題をよく日本人が研究している。日本にはケーキに関する伝統があるみたいだ。」というようなことが話題になったが、
少なくとも一般家庭においてはケーキは日本古来のものではないと思う。
ただし、数学界においてはどうなのだろうか。
どうしてケーキの分割の問題が日本でよく研究されてるのだろうか。