山口にきています．明日はじまる幾何学シンポジウムに出ます．こういう，分野の違うところにきて話をするというのはなかなか大変なのですが，楽しみたいです．

William Gasarch http://arxiv.org/abs/1108.3347プログラムの停止性の証明にRamsey理論を応用する、という研究の紹介．複雑なRamsey理論を使うわけじゃないけど，個人的にこういうのは好き．実際に使われるようなプログラムとかアルゴリズムにこういうのが…

ゲームとパズルの計算量作者: ロバート・A.ハーン,エリック・D.ドメイン,上原隆平出版社/メーカー: 近代科学社発売日: 2011/08/31メディア: 単行本購入: 3人 クリック: 166回この商品を含むブログ (5件) を見る以前紹介した『Games, Puzzles and Computation…

ISAACの受理論文一覧が発表になりました．

うーん，査読したのに査読者一覧のところに名前がない…．やはりeasychairの方が信頼できるなぁ．

プログラムが発表になりました．私は初日から座長．WABIのセッションもちょっと出てみたい気もします．

来週のようです．参加される皆さんは是非楽しんで下さい．

プログラム委員としてやらないといけないことは大体終わった，気がする．

ISAAC2011公式Twitterアカウントを作成しました．ISAAC11Yokohamaです．よろしくお願いします．

昨日書いた京大のセミナーで田村先生から伺った話に触発されて、凸幾何のことを少し考えた。これを研究としてちゃんとやるとなると、おそらく2003年以来となる。それでもそんなに忘れていないということは、当時割とちゃんとやっていた、ということと、それ…

プログラム委員としてのしごと．そして，組織委員としてのしごと．

講義をしました．資料はセミナーのページに掲載されています．個人的な思い入れですが、このような専門的スクールは重要だと考えています。特に学生にとっては、同じ分野で他の大学の学生と巡り合える絶好の機会です。こういう思い入れについては以前「計算…

油断をすると更新が滞ります．失礼しました．