https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @nishio あれ、正直あまり面白くなかっので途中すごい飛ばし読みしてしまったんだよなーという…orz | |
| 仕事（ジンジャーエールを延々と飲む会）おわた。裏国内予選やるか。 | |
| G問題世界大会っぽい（早くも飽きて問題読むだけモードになっている） | |
| @lyrical_logical ちなみに月曜から木曜は茎わかめと蒟蒻畑を延々と食べるお仕事をしています | |
| そういえば退職（※承前）はしなくてよくなったっぽい。セーフ | |
| しかしICPC、結局90分残してみんなで最終防衛ラインを解く大会になってしまっているのかー。中程度のDもEもGも、一応どれも一癖あるように選んで出題しているように見えるんだけど、難しいもんだなあ。 | |
| Gの実装終わらなかった情けない。。。 | |
| Cool Visualizer for LtG! http://schani.wordpress.com/2011/06/22/the-icfp-programming-contest-2011/ | |
| Nested Datatype で表現できる制約を形式言語理論的なクラスとして表現するとどうなるのだろう…というのがしばらく前から頭に引っかかってて、やっとちょっと時間ができたので考えてみようと思ったがまず完全二分木どう書くのだったか考えつけないレベルだし、そもそも (続 | |
| 続) 定義を冷静に考えてみれば要するにnonerasingな文脈自由OI木言語と完全に一致するじゃないかー。というかそう考えるともっと色々面白い応用作れる気がする。関数とか使ってnegativeなrecursionするともっと怪しいこともできるかもしれん謎 | |
| 忘却のクレイドル最終巻読んでた。相変わらず、最終回の素晴らしい作家さんだなあ…。いやはや。お話としては空中分解して塵と消えてしまっている感がある（僕が読めてないだけかもしれない）けど、こう空に散った欠片の１つの最後の瞬間を見事に彩って止める、ズルい。 | |
| @NaOHaq 畏れ多い… | |
| @fkm そもそもAndroid持ってない… | |
| @fkm この前会社で借りて使ったらMapsとかMapsとかMapsとかが凄く便利だったので使い始めてみようなかなーとは思っているんですが、なかなか | |
| さっきから「Coqがあなたで証明する」が異様にツボに入っていて３回くらい思い出し笑いしてる |