来年のIWPEC (International Workshop on Parameterized and Exact Computation) はSTOCの直後 (5月中) にVictoriaで行なわれるようだ．STOCに論文出すつもりは全然ないけど，STOC+IWPECに是非いきたい．

今日はののぐらむ (お絵かきロジック) を解く．これはなかなか難しい．

初日から飛ばしすぎなのはいつもどおりだけど，なんとかみんな着いてきてくれている．とてもうれしい． テーマは昨年度と同じ「整数計画法によるパズル解法」．今回も初日は魔方陣と数独． 「魔方陣」が「魔法陣」ではないことを再度強調．細かいことだけど．

帰ってきました．やはり日本は暑いです． 今回もいろいろディスカッションしたり，飛行機の上で自分自身の研究も進んだりして，有意義でした．

月曜日に考えていたことを詰めていったら，うまくいかないことに気づかされた． ということで，逆の方面から考えることに．

いきなり進展があった．細かいところは詰めてないけども，大体あってそう． 私のメインの貢献は「これって○○ですか？」って質問したことだけのような気もするけど．

Dagstuhlにやってきました．またたくさん研究しようと思います．

GLPKを最新版にしたら，いろいろと機能が変わっていたり，仕様も変わっていたりして驚いた．テキストに関しては大体準備完了．もう少し親切な説明を加えたいとも思うけど，テキストは口頭で説明することの補助だからこれくらいでいいかな．

組合せ論サマースクールが沖縄で開催されます．参加申し込み〆切は8月10日だそうなので，奮ってご参加下さい．私以外豪華な講師のレクチャーで勉強できます．

テキストがかなり完成形に近づいてきた．

>シリーズ パズルランドのアリス1" title=">シリーズ パズルランドのアリス1">>シリーズ パズルランドのアリス1作者: レイモンド・M・スマリヤン,市場泰男出版社/メーカー: 早川書房発売日: 2004/02/26メディア: 文庫購入: 9人 クリック: 20回この商品を含む…

決定不能の論理パズル―ゲーデルの定理と様相論理作者: レイモンドスマリヤン,長尾確,田中朋之出版社/メーカー: 白揚社発売日: 1990/11メディア: 単行本 クリック: 6回この商品を含むブログ (12件) を見る様相論理の面白さを味わうことができる一冊．絵が全く…

さて，今週は高専体験実習の準備に明け暮れています． ひとまず，第1章は大幅改訂というか，元の第1章を第2章として，新しく第1章を書き加えた． そこでは，論理パズルを整数計画法で解くということをわざわざする．練習のために． 例えば，次はスマリヤンの…

なんか段々膨らんでいく…．1週間に2回ある実験の両方とも抜けるということは避けるように予定を組んでるけども，今のところ毎週どちらかはいない感じになっている．いや，毎週じゃなかった．コンプ研，アルゴ研のある週は両方ともいられそう．今のところは．

Eurocomb '03で発表した論文の完全版と，群馬の人たちと書いた (というか何かちょこっと発言したことから共著者になってしまった) 論文も受理された模様． 「投稿中」というタグのついた研究が一気に減った．

投稿していた論文が受理された模様． 投稿してた論文とはplanarity.netに関する論文です．ひとまず安心．

この夏にスロベニアの世界遺産を訪れたので，今までにどれくらい世界遺産を見てきたのか調べてみました． 調べた結果は私のページのトップから「Visited Places」を辿ると見ることができます． 漏れがある気もしますが，気づいたときに訂正します． 自分でも…

時差ぼけのため寝不足が続いたが，今日12時間以上も寝てしまったため，解消してしまった．

とある理由でスケジューリング問題の近似アルゴリズムについていろいろ調べている．この分野は膨大すぎて困ってしまう．

採点者の中で-1^nと(-1)^nが同じかどうか相談しなくちゃならないっていうのはどういうことなのか．

その後，スイスへ．ちょうどチューリッヒでお祭りをやっていて花火とか見ました．

スロベニアという国は想像していたよりも楽しかったです． この国の地質はいわゆる石灰質で，各所に鍾乳洞があります．いくつか見てきました． あの「カルスト」ということばもスロベニア由来のようです． 石灰岩の作る山々もきれいで，それらに取り囲まれた…

まず，Bled '07に行ってきました． グラフ理論の会議で，4年に一度開催されているようです． スロベニア開催なので，内容もスロベニア色が満載で，グラフの話も自己同型群やスペクトルなど，代数的な話が多かったです． 個人的には計算幾何と交差数のセッシ…

長い出張から帰国しました．楽しい旅でしたが，その分帰ってきてからの疲れが半端じゃないです．