https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @maeda 拝見しました。なるほど、Bellman-Ford にならなさそうと納得しました。問答無用で O(|V|^2+|E|) の時間がかかるのが気になるのですが、d(v,i)の代わりにd(i)でその時点のpriority queueを返すような表を考えれば良さそうですかね | |
| 要返信なメールをいくつかの方面からいただいているのですが、ちょっと締め切りとか締め切りとかのため余裕がないので26日までお返事待って下さいませませ…と誰にともなく。全部ひとことで返事するとyesなんですが、二言以上にすると長い | |
| 名字が Cohen とか名字が Dijkstra という人が発表しているとなんかビビる。いや、赤の他人なんですけども | |
| そういえば http://twitter.com/kinaba/status/4598436912 以来積んでた『ノーストリリア』を飛行機で読んだ。コンピュータが先物取引など駆使して数時間で一気に財産膨らませて地球買っちゃいました！！という始まりが面白かったのだけど | |
| その部分は特別すーぱー未来という感じではなかった雰囲気だったので、なにか、物理化学バイオ以外の、それこそ経済学とかそういったサイエンスに関するフィクションを描いたSFってどういうものがあるのかなあ、と一昨日からちょっと気になってる | |
| @ikegami__ 古風な雰囲気の街並みなのに3Dな感じで面白いです。ぐるっと一周したつもりがz座標だけは増えてて、いつの間にか出発した場所を橋の上から見下ろしていたり | |
| WGP http://osl.iu.edu/wgp2010/ は（関数型界隈の）GPの話をしてるところかと思っていたら、最近は（Stepanov的な意味での）GPをターゲットに入れるようになっているのだなあ。J. Jarvi がCommitteeに入っている影響だろうか | |
| Committee って Coommiittee くらいに増やしてもバレなさそうな単語 | |
| http://d.hatena.ne.jp/TuvianNavy/20100322/1269238852 Brzozowskyの微分で"正規"を完全に特徴付けると「任意回の微分で現れる正規表現の種類が有限個である」ですが、これを解析で言うとどうなるかな。多項式やe^xは入るクラス | |
| @ikegami__ L^p って積分したときの総和の値が有限になるとかではなかったでしたっけ。「(不定)積分によって現れる関数の種類が有限になる」が欲しいのですが、それと対応するのでしょうか | |
| 元のステートメントはそのまま書き下すと「（なにやら制限された形の）連立微分方程式の解になっている」という条件になっていると思うので、まあきっと名前はありそう。しかし僕は寝ます。zzz | |
| http://www2.informatik.hu-berlin.de/lics/lics10/lics10-accepted.html LICS'10の採択論文が出てた。これも気になるのが多いなあ…。とりあえず Parikh Images のとColcombet先生の新作。GroheのはICDTの招待講演で聞ける話だろうか。 |