とか思ったけど，やっぱり書く．
一つ目は，アルゴ研で話したことの1/5ぐらいは間違いである事が判明したこと．
自明だと思って証明しなかったら，全然自明じゃなかったし，そもそも言明自体が間違っている．
やはり「自明」は罠なので，何事もしっかり証明せねばならない．
それが学問的態度っていうものだな．
二つ目は，今日はPre-docの授業にちょっと出たのだけども，何か人が多かった．
つまり，プレドク以外の人が多いのだ．
まぁ，それはよいのだけど，どうもプレドクの勢いをあまり感じないので，ちょっとどうかと思った．
セミナーとか授業の後すぐにあるんだけど，ほとんど帰っちゃうし．
去年はみんなセミナーまで出てたんだけどな．
三つ目は，これ．
ということで，何かコメントしようかとも思ったのだけども微妙な気がしたので辞め．
とにかく，「卒研の発表会までは何とか持ちこたえてください」ということぐらいしか書けない．
なかなか論文書きが進まない．
このところ，一日にひとつの補題しか書き進まない．
しかも，今日，一つ補題を削ったし．
進みながら下がってる感じもする．
と，書くものも書かないでおいて，新しい研究も進めようとしてるからいけないのかもしれない．
というか，またアイディアがでた．
大したアイディアでもないけど，研究したみたいと常々思っていた方向性なので時間が出来たときにちゃんと考えてみたい．
あとは，論文書き．そして，論文探し．
1ヶ月ぐらい細々と考えている問題があったのですが，全然解けないし，あまり力も入れるつもりがないので，書いてしまいます．
問題は「最小コスト全張木ゲームのシャプレイ値の計算の多項式時間アルゴリズム」で，岡本の予想は，この問題はNP困難，っていうものです．
証明の方針は，最小コスト全張木ゲームのおいて対称なプレイヤーを判定するのがNP完全であることを示せばOK，ということで，それを示すのにSubsetSumを使う，っていうのなんですが，このreductionがどうもうまく行かなくって，結局出来ずじまいでいるところです．
この方針が危ういのかもしれませんが，どなたかご意見・ご感想，あるいは，詳しく知りたい，とかそういうことがありましたら，ご連絡下さい．
と，最近小言が多くなって自分でもいけないな，と思っています．
いけませんねぇ．
なんか八森さんが忙しそうなので，自分も負けてはいられない(?)といろいろ頑張らねばと思いはしたけども，なかなか思うように進まない．
いつかは八森さんも作業を開始するわけだから，それまでには自分の中でケリをつけておかないと，八森さんの手を余計に煩わせることになるので，それは避けるようにしたい．
研究のこと．
突然evasivenessのことがきになった．以上．
で，もうそろそろunique sink orientationもちゃんとやらないといけないかな，と思い出したので，やり始めることにする．
取り敢えずは自分ができそうなところからはじめたい．
とかいっておきながら，ここ一週間は割とトポロジーをやっていたりするから，またいけない．
Matousek-Ziegler論文で導入されたBox complex(箱複体?，また勝手に変な日本語を作ると怒られてしまいそう)というのはなかなか面白い対象だ，というのがここのところの見解で，トポロジー的な議論にすっぽりはまるし，もとのグラフの情報を失っているわけでもないので，現在分かっていること以上のことを潜在的に含んでいる気がする．
しかし，その潜在的に含んでいることをどうやってうまく取り出したらいいのかよく分からない．
そこら辺が研究の対象になるのかもしれないのだけれども．
ということで，いろいろ研究進めたりしています．
いろいろな方向でいろいろなことが始まったりしてしまっているので，大変なことになりそうですが，地道にやっていくということでしょう．
組合せ最適化ゲームは流行っています．
それ以外にも，組合せ最適化の手法がゲーム理論のアルゴリズムに役立つことがいろいろな研究から分かってきていて，それはものすごく流行りそうです．
ということで，自分もやっているわけですが，なかなか解きたい問題が解けなくて苦労している状況です．はい．
ということで，手始めに線形相補性問題を解くDPを考えていたんだけども，どうも擬多項式のアルゴリズムにならないので，とりあえずやめ．