https://twitter.com/kinaba のログ (twilog の方が便利です。)
| おきた。あぶねー #utpc | |
| .@gusmachine さんとEが全然わかりません同盟を組みたいところだけれどスコアボード凍結後に裏切られている可能性が多いにある | |
| よっしゃ RT: @gusmachine 同盟成立 RT: @kinaba @gusmachine さんとEが全然わかりません同盟を組みたいところだけれどスコアボード凍結後に裏切られている可能性が多いにある | |
| A：最速目指して頑張ったけどどんなもんだろ B：やるだけ C：お邪魔ぷよの隣のお邪魔ぷよが連鎖で消えるという超絶ありがちなバグを埋めてしまった… D：やるだけ F：ここで鬼のように酷い実装で時間を費やしてしまったのが敗因な希ガス I：Aho-Corasick的な何か #utpc | |
| と来たところで、さて次は E か H かだけど、解かれ方を見る感じでは E は解けないとヤバい問題っぽい…と思って E に集中して長時間考えるも全く浮かばない → 終了時間がせまってきたので、やればできることは明かなGに逃げておしまい、という感じでした。むうう #utpc | |
| http://d.hatena.ne.jp/kikx/20100704#1278186087 たらいまわしCoq読んでる。くるるさんの一般化たらいの証明のCoq化をやるやる詐欺で全然やってないので、ただただ凄いなあと思いながら読んでいる。 |