https://twitter.com/kinaba のログ (twilog の方が便利です。)
| む、今日なにかコンテストあるのですか。積みタスク終わらせないといけないというのに…おもしろそうな問題だけ挑戦しようかな… http://gwcontest2015.contest.atcoder.jp/ | |
| 大昔にDで書いたプログラムの改修をしているのだけどさすがにver0.99向けに書いたコードからの移行はそのままでは通らんな…と思ったけど意外と文字列の型をimmutable(char)[]に合わせまくるくらいで通った | |
| 続) と思ったけどDLLの初期化とshared周りでなんか怪しい | |
| よっしゃゴールデンウィークに入る前に終わらせようと思っていたタスクが終わるめどが立った（よくない） | |
| ICALP'15 の Track B の論文リスト出てたので見てる。 http://arxiv.org/abs/1503.01068 の abstract 2文目のwell-knownと書かれている結果知らなかったのだけど面白いので自力で証明できるものか考えようと思って2行目から進まぬ #面白正規 |