https://twitter.com/kinaba のログ (twilog の方が便利です。)
@takeshi_nishida 潜れる感じ?なら覗いてみようかな | |
静月遠火『ボクらのキセキ』読んだ。背表紙のあらすじ全く読まずに本文に突撃したので「第一章 真相」という一見して逆転した構成に見えるものにもろにハマってにやりとさせられ。楽しい楽しい。構成にアラは探せば結構あるのだけども、基本的にこの人の文章好きだなあ。特に地の文のノリ。 | |
そして読書メーター見てて思うに、この本の1~9ページ目を読んでワクワクする人とは本の趣味の方向が違う感じかもしれない。10ページ目でしょー。そしてこれと同じ構成を何度も繰り返して色んなレイヤを突き抜けてく感。 | |
最近ここ http://www14.big.or.jp/~ken1/application/shogi.html の終盤問題を解きまくっていたら猛烈に時間が飛んでてびっくりすることが多い | |
@takeshi_nishida と昼飯に行ったり @hirekoke に発見されたりするなどした。そして明日のポスター完成させんと、ということでほどほどで撤収。 | |
http://d.hatena.ne.jp/ytqwerty/20100301#p1 "1階からいい物が持ちきれないぐらい"ってのは導入としてとても良さそうだなあ。不思ダン系ゲームの上手下手は明確に判別できて「死ぬ時にアイテム残ってる=下手」「残ってない=上手」と思うのですがその上手な方をencourageするという意味で | |
ナビエ-ストークスのNavierの名前を見ると奈美恵という漢字が頭に浮かんでしまってきゃんゆーせれぶれいとという気分になる | |
現象がわかりやすく一言で書けるバグ (例 「サイコロが常に偶奇交互にでる」「突然tweet総数が3倍に」「2010年をうるう年と誤認」) を与えると、どういう間違った実装になっちゃってたのか、一番ありそうな推測を自動で返すツールとか作れないものかな。 | |
year%4==0 ^ year%100==0 ^ year%400==0 のつもりでちょっと 0 が一個抜けてたのではないか、といった推測を自動でやる。オラクル付きで The Underhanded C Contest に自動回答するような雰囲気。 | |
@tsukuno もうちょいなんとかならんかなあ。人間が適当に正しいリファレンス実装を与えてもいい。正しい実装から最小の編集距離で、与えられた間違った現象を起こすにはどうすればいいか解く。あと全然関係ないがシレン4を購入されるご予定はございませんか | |
僕はさっきも書いた (year%4==0)^(year%10/*0*/==0)^(year%400==0) を推したい http://twitter.com/sakaik/status/9865725505 | |
@finalfusion まさにそこがポイントで、「4の倍数の時だけ複雑に判定をする(でなければ即座に return NotLeapYear)」という実装だと4の倍数の時に誤りはあっても、そうでない時にはないと思うのですよね。なので%4の結果に関わらず%100等していると推測 | |
#SRM スタンバイ。久しぶりに眠くない | |
え、ちょ、なんでこんな500解けてる人がいるの?????うそ?? #SRM | |
500ひとかけらもわかんなかったけど300人とか400人とかsubmitしていたのに釣られてとりあえずサンプルだけ通るっぽいのをsubmit → 当然のごとくノータイムでchallenged。writer予測の結果tcxの自分への投資を全解除しておいたのは大正解だったけど悔しぃ… | |
明日からPPL http://isw3.kankyo-u.ac.jp/ppl2010/ 行ってきます。たぶん例年の様子だとネット回線ないので実況はできなさそう。あまりにも面白かったらモバツイでやります | |
そして PPL に着ていく服がない。明日までに乾くかな… |