tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20100610 00:34 アイコン変更。スライムとこいつらが混成で出てくると、倒したときのゴールドと経験値からそれぞれ何匹ずつだったかを逆算するゲームを楽しんでいましたおおがらすです、よろしくお願いします。鶴の足と亀の足と比べて大変生活に密着した問題設定なので算数教育にもおすすめです。
20100610 00:57 ねる
20100610 14:38 !! RT うわ、山名沢湖がtwitterにいるのか @yamanasawako (via @kururu_goedel) http://twitter.com/kururu_goedel/statuses/15829725344
20100610 14:43 @zakkas783 いえすいえす。放送委員長の話が好きです
20100610 14:53 assert( ぺぷしそさんていなばさん?って聞かれた回数カウンタ++ == 4 ); // http://twitter.com/kinaba/status/12453716431
20100610 21:52 ぎゃー http://twitter.com/kinaba/status/15330812931 この時のの反例見つけてしまった。成り立つならSRMの1000点問題くらいで出せるかと思ったのになあ(わりと既出問題っぽい予感もするけど)。どうしよう解けない
20100610 21:56 @natsutan ばっちり予約済みです!どのくらいばっちりかというとちょうど1年前に予約して以来7回も発売延期のお知らせをAmazon様から頂いたくらい
20100610 22:01 「僕では多項式時間の解法を思いつけないんだけど、かといってNP困難であることの証明もできない問題」を揃えてコンテスト開きたくなってきた。PTIMEで解くかNP困難性の証明するか、どっちか完成するまでのタイムで勝負する。
20100610 22:37 @qnighy 量子コンピュータでもNP-complete問題は解けないと思われているような [ 出典: http://en.wikipedia.org/wiki/Quantum_computer#Relation_to_computational_complexity_theory ]。TSPの"判定バージョン"(最短巡回路がk以下かどうか判定せよ)はNP-completeだけどこれも解けないと思われる
20100610 22:42 にわとり…!? http://twitter.com/ill_critique/niwatori
20100610 22:48 これ http://twitter.com/Cryolite/statuses/15848267705 なぜ数字だけ連続性を保証してa-zやA-Zは保証してくれないのかなあ…と知ったとき思ったんですけど、前にエディタ作ってたときにEBCDICだとa-zやA-Zが並んでないのを知ってこのせいかと勝手に納得したけれども本当かどうか知らない
20100610 22:54 @repeatedly (色が白い & 頭の上から目立つものが伸びてる) → にわとり。間違いない。
20100610 23:18 @mametter とても行きたいのですが、予定が入りそうな入らなそうな微妙な感じなので、もし行けそうになってそのとき仮にまだ人数変更が可能だったら参加させて下さいただし今はパスで!みたいな感じです。

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0