毎朝ねむいねむいと思っているけれど、いざ世間的な基準でも早めになりそうな時間に起きてみると「朝5時30分に起きてください本物の眠気ってやつをお見せしますよ」っていう感じだな（ねむい

posted at 06:24:37

@nari3 こちらこそ！

posted at 00:47:36

@finalfusion なんか個人的にこつこつまとめるみたいなことはしようかなあ…と思っていなくもないです…（締め切り仕事はやだ派

posted at 00:13:20

そもそもなんで Java の標準の TreeSet や TreeSet や C++ の std::map や std::set はなんで mutable なんですか非常に使いにくくて死ぬ、と言った感情を広く共有したい

posted at 00:01:41

@simizu_yosihiro 例の書籍のですか？僕は聞いたことはないですね…

posted at 23:57:07

@cocoatomo というわけで関数型の「か」の字も出さなくて行けると思うんですよね。例のソードマスターヤマトの奴は画像を加工した時点で飽きて残りをHaskellで書いてしまったのだけが惜しいと自分で思っているので

posted at 23:55:05

（しんどくなる部分もあるのでそういうのはいっそバッサリ削って）実装言語Javaとかで出しても全然面白いと思うですよ。http://hos.ac/blog/#blog0001 この Skew heap の簡潔さやばしwwwwww というのは何言語で見てもわかるじゃないですか。そういうのが色々ある

posted at 23:53:24

"Out of Okasaki" の面白い話題いくらでもあるので、http://cstheory.stackexchange.com/questions/1539/whats-new-... http://matt.might.net/articles/red-black-delete/ この分野の2012年版として誰か新しく書き下ろすと面白いんじゃないかなーとも思います

posted at 23:46:18

Purely functional data structures 翻訳本出すとよいですよ是非！！！というのは割と出版社の人と話す機会があるたびに言っているけど、その後話が進んだ気配があったことがないや (´・ω・`) https://twitter.com/#!/gakuzzzz/status/208497649794551808

posted at 23:39:27

.@naoya_t さんのずっとやってらっしゃる #coursera の進捗レポートがとても楽しそう。

posted at 23:06:45

@ksknac 承知しました。ありがとうございます！

posted at 23:05:26

@tsukuno 返事がなかったので多分見てなかったと思うけど念のため https://twitter.com/kinaba/status/206600286473699328 とか書いたけど明日はいないことになったのでご連絡申し上げます

posted at 23:01:07

今日は https://twitter.com/_ko1/status/208194890880921601 にお邪魔して生 @nari3 を拝んできました

posted at 22:58:53

@ksknac TTATTだけ見に明日の朝一で名古屋行くことにしました…のですが、本会議の後ですが明日でもオンサイトで参加登録は可能でしょうか？registrationの頁にonsiteの記述があったと記憶しているのですが今見ると https://apollon.nta.co.jp/after_service.html に

posted at 22:54:24

@finalfusion レビューしてたので基本的な流れは一読済みだったのです

posted at 00:34:16

https://twitter.com/dplusplus/status/208212688931790849 人名で呼ばれる物は「発見者が特別な名前をつけなかったので"誰々の方法"として引用される」結果だと思うので、単に日本人にはついカッコイイ命名をしちゃう傾向があるとかではないだろうか。（※本ツイートは実在する乱数生成法とは一切関係ありません

posted at 00:19:49

@dplusplus 黒田標準形とかMcNaughton-山田法とかCock-Younger-嵩法とか日常的に使っています！

posted at 00:13:29

System F の strong normalization とか

posted at 23:59:56

「基礎の基礎から積み重ねてこの定理の証明をゴールに一冊を書く」という構成にして面白い本になりそうな定理ってどういうのがあるかな。「πとeは無理数 ( https://twitter.com/kinaba/status/144022906148626432 )」は面白かったけどちょっとストイックな感じだった。

posted at 23:54:31

アルゴリズマー各位は５次方程式の可解性判定の多項式時間アルゴリズムを僕に解説してくれるとよいのでは。＞ http://www.cs.cmu.edu/~glmiller/Publications/Papers/LaMi85....

posted at 23:43:06

っと、とても面白かった。たぶん、５次方程式の解の公式の非存在というゴールの素材自体がとても良いバランスのところにあるのだと思う、それがこれまでのシリーズの中で自分がこの巻が一番好きな理由なんだと思うんですけど、それにしてもそれを完璧に一冊の本に仕立て上げる腕は流石です。

posted at 23:28:44

最後まで本質的なステップはすべて省略せず説明しきってくれるので理解し切れた爽快感がある／それでいて最後まで駆足詰込数学ラッシュにならず"数学ガール"のまま語ってくれてる／同じ定理の幾つもの見方を見せてくれるし、巻を通して、色々を抽象化の力でまとめて一つにしてくれる数学の魅力の雨霰

posted at 23:23:54

数学ガール５巻あらためて読み終わった。正直な感想を述べると、ガロア理論、この巻をこの世界に存在させるためだけにこのシリーズが生まれてきたと言って過言ではない屈指の出来なので、今まで手に取ったことのなかった人も是非いきなり５巻を読んでみてほしいです。この際既刊の事はいいです（過激派

posted at 23:23:44

なにかにリプライしてるツイートの詳細画面だとリプライ先の投稿時刻の分が月になるぽい

posted at 22:30:51

http://gyazo.com/20ac4afc91c24380d414a8059a967b30 59月ってなんだろ。分？

posted at 22:26:48

ソースコードの著者推定って実際どのくらいやられてるんだろう。特に隠す気なく書いたコードならかなり特徴でるよね。ていうかtopcoderのイベントとかで書いた人当てクイズとかやると楽しそう https://twitter.com/eomole/status/208158635237457920

posted at 22:11:43

RT @eomole: 著者推定を応用してGCJのネタハンドルを特定する研究

posted at 22:09:15

@dream_shifter @tmiya_ そこを敢えて目をつぶって読み込めたとしましょう。

posted at 13:39:37

これがnによらず定数時間で出力されるとした場合に計算量的にブレイクスルーが起きる問題がないか考えている RT (via @tmiya_) ...nが３の倍数あるいは10進数標記で3を含むときに1を出力、それ以外の場合には0を出力する素子を考え、仮にナベアツ素子と名づける...

posted at 13:01:46

@zakkas783 International Tomato Genome Sequencing Project http://solgenomics.net/organism/Solanum_lycopersicum/genome 超かっこいい！

posted at 09:26:10

http://cstheory.stackexchange.com/questions/11579/sufficien... これ回答つかないかなあとウォッチしてるんだけど来ないなあ。文脈自由""文法""が正規か、という系統の話はいくつか思い当たるけれども、参照されてる論文のabstractにあるようにそれは別の話だ

posted at 09:13:39

quixeychallenge、なんでSkypeID要求されるん

posted at 00:18:16

@fumieval コードゴルフと抜き打ちテストのパラドックスから構成する、という論文をちょっと前に読んで面白かったです http://www.kmonos.net/wlog/123.html#csr11_3

posted at 22:43:51

http://icfpcontest2012.wordpress.com/ あ、今年の ICFP コンテストのページができてた

posted at 21:45:44

RT @eagletmt: ICPC 国内予選の参加登録受け付けが始まってます http://www.cs.titech.ac.jp/icpc2012/registration.html

posted at 20:37:12

@hyuki おおー。TAOCPは一度通して読んでみないといけません…。

posted at 18:38:59

@hyuki 数値評価すると良い結果のアルゴリズムと、人間が素朴に見たとき"良い"動きに見えるアルゴリズム、って必ずしも一致しないですよね、きっと。http://d.hatena.ne.jp/smoking186/20050929/1127996535 "ランダムに再生"してるように感じられるか、みたいな。その辺りの騙し方に興味があります。

posted at 18:26:19

要は 「二分探索より端から線型探索した方が早かったじゃねーか ⇒ がっかり」 を避けたいという心理なのであるから、つまりそういうがっかり感を最小にするアルゴリズムが求められています http://twitter.com/kinaba/status/207735229740363777

posted at 16:34:19

git bisect している時に good と bad が交互に出ると進捗感があって良い (幻)

posted at 16:28:32

Sebastianの招待講演は明日か。明日は秘密の会合の予定が入ってしまっている。土曜のTTATTだけ見に行こうかな...

posted at 12:48:57

RTAの存在を先週になるまですっかり忘れていました… RT (via @kinaba) Sebastian に @kinaba は来ないのかと訊かれた． #rta12

posted at 12:45:52

信長の野望烈風伝ハンドブック地の巻、が届いた

posted at 23:23:33

@Respect2D 負の票は、常識的に考えてそんなの無し（ですし問題を読んでもそんなの無し）なんだけど、気をつけずに解くと 0% を「-0.5%以上+0.5%未満」として扱っちゃうので得票率 -0.5% という謎の存在がいない限りあり得ないパターンも通してしまって死亡、とかです

posted at 23:22:31

という感じで考えた

posted at 23:06:14

500は「まず考える範囲を限定しよう → 線がクロスすることはない（する場合はほどいても同じ）ことを確認 → すると"一番外側(右上側)の線"が存在する、それは → 明らかに全部の１を含む → その時余分な領域を含んだ方がよいことは…ない、ギリギリまで寄せても同じ効果 → 確定」

posted at 23:06:07

@rng_58 なるほど。ありがとうございます

posted at 22:52:46

@tsukuno http://community.topcoder.com/tco12/algorithm-rules/ All these parallel rounds are rated. と書いてある

posted at 22:52:10

TCOのR2Cと裏R2Cって混ぜて順位つけてレートつくんでしょうか。（混ざらないんなら0点でもレートあがるくらいのお得ラウンドになったりしないかなどと姑息なことを考えている）

posted at 22:47:29

900は、漸化式を立てようと思うと何としても「(0,0)開始でnターン後のΣ_狐xy」の値から 「(1,0)開始でnターン後のΣ_狐xy」を計算しなきゃいけない宿命の元に生まれつくので、あとはその差は何か→Σ狐yだ！そしてΣ狐yの計算には…と繰り返すと必要な項が割と機械的に出る。

posted at 22:26:08

今回の900は900で275は275だったと思う。500は300くらいではと思いながら解いていたので落ちる可能性がある

posted at 22:05:21

@werewolfized 人類最強を目指す人には今がチャンス

posted at 22:00:53

うーん275も900もどっちも不注意すぎる。人間失格なので人間をやめてラゴンヌになる

posted at 21:58:15

275落ちたのでレートが死ぬ

posted at 21:51:07

おおおお負の票やばい

posted at 21:48:52

Div1 275:Egorのとかなんで落ちてるかわからんし非常に怖い。上限適当なので非常にあやしい。 500:どんよく。 900:このような http://ideone.com/7vz0y 行列を手書きしていた #topcoder

posted at 21:48:13

ほんとうにひどい。「LとRで対称だからL-=R, R=0しても変わらないよね。」じゃありませんよ俺

posted at 21:45:35

900答えあったうわああああああひどい勘違いをしていた馬鹿すぎる…

posted at 21:34:17

@fuqinho 勝負！

posted at 20:05:00