https://twitter.com/kinaba のログ (twilog の方が便利です。)
| Gödel賞Faginなの。これは二階述語論理の時代が来た、と思ったけど受賞論文読んだことない論文だった http://www.acm.org/press-room/news-releases/2014/goedel-prize-14/view 読もう | |
| 昨日からキーボードの F が何かひっかかって凄い打ちにくくなっているので、F が一つ抜けると意味が全然変わるような発言を僕にさせまくると面白ツイートが出現する可能性があります | |
| @peria The perect insider | |
| 台風なので今日もちゃんとジャムパン買ってきた https://twitter.com/kinaba/status/487175596321943552/photo/1 | |
| これをこう変えたいので合わせてこういう変更を全体的にやってるんだけど気にするべき箇所はこのパッチに含まれてるこことそことあっちだけでOK？っていう類いのコードをレビューするのなんか頭を使う。変更箇所一覧を目にしながらその補集合が空か判定するの頭が釣られる | |
| RT @icpc_japan_sg: [観戦者向け] 参加予定大学の一覧の地図が載っています https://t.co/z0cSZG5L5Y http://icpc.iisf.or.jp/2014-waseda/domestic/overview/ | |
| 最近地図上にたくさんピンが立ってるのみると巡回セールスしたくなってしまう https://t.co/0dvBoNeVH9 | |
| SRM627(むじな)回だし http://ja.wikipedia.org/wiki/%E3%81%9F%E3%81%AC%E3%81%8D%E3%83%BB%E3%82%80%E3%81%98%E3%81%AA%E4%BA%8B%E4%BB%B6 を応用した論理パズル問題が出る |