https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @finalfusion もっと普通に狙い澄ましていく感じの探索みたいです。プログラム検証系の探索技法が結構つぎ込まれているかんじ | |
| CEGAR http://www.google.co.jp/search?q=CEGAR+"Counter+Example+Guided+Abstraction+Refinement" って見るたびに僕の頭の中では、「スティーヴン・セガール最新作『沈黙のモデル検査』」 とかそんなフレーズが頭をよぎる | |
| A:ミスりまくったがやるだけ C:行列ベキ乗 B:コピペミスで1位のスコアが5点になってた… D:1000×1000の連立方程式になっちゃって解けない… E:こう→に向かうのを左から集めてったら凸な折れ線になるから向かってくる←を二分探索でどうとか…と思ったけどコード書けてない | |
| C は元の場所に戻ってくるのか。ふむー。 | |
| @hos_lyric いつもは必要もないのに余計なとこまで選択してくれて迷惑なブラウザさんなはずなのに、こんな時だけ中途半端で困ります（・△・） | |
| アイコン変えられるようになってる。ドラクエ３の「特定の街の名前を言われたときに真っ先に名前を連想するモンスターランキング」の僕内順位で第２位に入るリムルダール→ダースリカントです。よろしくお願いします。 | |
| 「遠まわりする雛」よんだ。"9マイル"オマージュは元ネタと比べてフレーズに神秘性が足りないかなー感が。あとは全体的に挿絵イラストがほしいいいいいいいいい感が炸裂している。なぜだろうか、そんなことはめったにないのだけど、言葉だけからイメージが固まらない。 | |
| @finalfusion 自分でもどれを使ったか覚えてないのですでに２，３回重複しててもおかしくないです(汗 | |
| 「主人を○してから一年が経ちましたオオアリクイですよろしくお願いします」 ( http://d.hatena.ne.jp/keyword/%BC%E7%BF%CD%A4%AC%A5%AA%A5%AA%A5%A2%A5%EA%A5%AF%A5%A4%A4%CB%BB%A6%A4%B5%A4%EC%A4%C61%C7%AF%A4%AC%B2%E1%A4%AE%A4%DE%A4%B7%A4%BF )というネタ以外でおおありくいを使ってしまったことだけは深く後悔している | |
| @finalfusion つかってないはず…。 | |
| そういえば最近「一般的なペーストビン」を見なくなったな… | |
| 花火 http://hanabi.walkerplus.com/kanto/fw0469.html 見に行こうかと思ってたんだけどすごい隊長悪いので断念…隊長じゃなくて体調… | |
| PRNG （Pseudo-Random Number Generator 疑似乱数生成器） って略語を何度も見た後に PNG 画像、って見ると Pseudo Number (疑数) って概念を編み出したくなりますよね。どんな数だろう。 | |
| @zakkas783 @__kbt 昨日うっかりギアガの大穴に落っこちてしまい気づいたらおおがらすがダースリカントに… |