https://twitter.com/kinaba のログ (twilog の方が便利です。)
問題E面白かったけど答え合わない…。D全く分からない。BとCこういうの苦手なんじゃーうおおおおーと書いてみたらpretest通っちゃった怖い。A撃墜できるポイントが全然見当つかないんだけど… | |
@yak_ex おいしくいただきました(笑) | |
ひいCが死んだ | |
起きたのでカレーを作ろう | |
Twitter IDが53bit超えるという話題がなんかすごく面白いなーと思うのだけど自分で何が面白いと思うのかイマイチ言葉にならない | |
@TuvianNavy 昔は下からdenseに使っていましたが、それだとid生成部分をうまく分散できなくてパフォーマンスでなくなってきたので、sortに使えるという性質は残しつつ飛び飛びの値を作るようにしたのだとか http://engineering.twitter.com/2010/06/announcing-snowflake.html | |
今から Static Analysis for Syntax Objects 真剣に読む | |
#PRMLrevenge の会場にはペプシモンブランがたっぷり用意されているに違いない #naoya_t | |
"the static semantics … can be used to define the static semantics of its realisation at the next layer down in the language tower" そうなんですよ | |
http://dx.doi.org/10.1017/S0956796808006928 が見れない。あれ、JFP って大学から見れんのだっけ… | |
MAXこーひー、高校生になって東京に通い出すまで地域限定だったとは知らなかったのでめっちゃ驚いた | |
電撃の新刊でてるということは毒吐姫でてるのか。買わねば | |
MS Academic Search こんな面白い機能ついてたんだ http://gyazo.com/3599e36b77ed8b614727456f1c865635.png 。僕のCryolite数は5だ!とかグラフィカルに見られる | |
さっきの検索、俺エルデシュの綴り間違ってるけど何食わぬ顔で検索が拾ってくれてる…はずかしい…// | |
チーム名吹いた http://codeforces.com/team/382 | |
レートつかないなら登録だけして適当に作業&読書しつつ問題文が短そうなのだけ解くメソッドを発動するかなあ | |
ABCDEHIJ できた。G 書いてる。F いや解ける問題なのはわかりますよわかりますけど幾何。 | |
@uwitenpen 順位ってどこかで見られるんでしょうか。公式参加チームのStandingsはわかるのですが… | |
@uwitenpen おお、ありがとうございます!G は解いてから寝たい… |