https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @mono_shoo 良いですよね！今ついつい読み返してました。一話一話それぞれ、滅びかけた世界という舞台を通してメッセージがビシビシ伝わってくる感じがします。 | |
| String#max ってなんだこれは http://golf.shinh.org/reveal.rb?369/niha_1263026067&rb | |
| そうか、1e3 にしてないのはアホだなー俺 | |
| そうか Enumerable の max か！その発想はない。なるほど！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！ | |
| @niha28 StringがEnumerableなのはいいけどeach_charで回ってくれなきゃ使えないよ死ねよとか言っててスミマセンでした…という気分でいっぱいです。これ巧いですなあ | |
| 天才だ RT ひどいものを見た http://www.nicovideo.jp/watch/sm9426416 (via @ksuenaga) http://twitter.com/ksuenaga/statuses/7940388572 | |
| @finalfusion 一文字短縮ですねー。1000 と 1e3。$$にしてプロセスIDが1000になるタイミングを待つ作戦があるので最短組はそちらなんですけど、$$に頼らないなら1e3に気づいておくべきでした…orz | |
| @m_satyr し、知らなかった… | |
| まってました！ RT 迷路の試験問題をCoqで解いてみた。 http://d.hatena.ne.jp/yoshihiro503/20100119 (via @yoshihiro503) http://twitter.com/yoshihiro503/statuses/7943562735 | |
| しっかしなー俺はCoqプロの登場を待ってないで自分で書けよと。書けよと思うんだけど、すごいハイテンションの時じゃないとやる気起きないくらいには面倒に感じてしまうのだよなあCoqで書くの。ノートにBFSの最短性証明を書くとかは苦に感じないので何かギャップがあるのだが。なんとかしたい | |
| @_ko1 そういうことです。 |