https://twitter.com/kinaba のログ (twilog の方が便利です。)
| gunzip多少でも縮めてから寝る | |
| 2B縮んだけど2Bじゃなあ。一応これで寝られる寝よう。 | |
| @pi8027 今からでも登録できますよー | |
| 通勤経路上のコンビニすべてにペプしそが売られていなかったので気合いが入らないけどGCJやるか | |
| @tsukuno そうなんだ。大好評につきそのまま販売継続すべきだろ、常識的に考えて… | |
| JavaScriptでめっちゃ手抜きで解いているがLargeのタイムアウトが怖いので念のためC++でも書いておく程度にチキン #codejam | |
| @tsukuno いる | |
| 結局 A.js、B.rb、C.d で解いた。どれか一問くらいは通ってるだろー。#codejam | |
| J言語の使い方を思い出そうとして途中で飽きるなどしていた | |
| @uwitenpen 去年もTeXで解いたりシェルスクリプトで解いたり色々いましたからねえ。上の方のラウンドで遊べると格好いいんですがなかなかそこまでは余裕がない… | |
| @tsukuno うん、実は俺も C.d というファイル名を見た辺りでその使命に気づいた…。A:ActionScript、C:C++、D:D くらいの無難なとこなら本番でも行けると思うけど、BがBrain<censored>しか思い浮かばない…やるか…… | |
| ICFPと併設ワークショップの論文タイトル眺めてる。なんかぼんやりして頭に入らん…。WGPがわりと面白そげ。CPH STLは早くdequeをリリースしてくれないかなあ。Type-Safe Diff for Families of Datatypesあとでよむ | |
| @finalfusion @akineko 入門書ではないと思う… | |
| 明後日のために証明読みたい決定不能問題10個選んだ。基本だけど証明知らない問題いくつかと、あとはかぶりにくいことを期待して、自分のフィールドの形式言語方面中心で… |