tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20100803 10:44 "チューリング完全じゃなければ" http://shinh.skr.jp/m/?date=20100803#p01 理論を応用すると、自作tacticを使わなければCoqはチューリング完全じゃない → iPhone向け開発言語にはCoqという流れが見える!!
20100803 10:57 Turing completeness is overrated http://lambda-the-ultimate.org/node/2846#comment-42123 というコメント見つけた&激しく同意だ。特に"The main problem isn't ~"以下の意識
20100803 12:18 @roytam1 There's no easy fix. The most decent way is defining STL-like iterators on Document and modify regex to accept them, not char*s.
20100803 12:21 @roytam1More easier 'quick hack' is to allow only one \n to appear in matched text: just use current regex to search on concat of two lines.
20100803 12:23 空港に向かう…
20100803 19:39 帰宅したような気がする
20100803 19:46 @hirekoke ではこれからがんばって正夢になるように帰宅します!さてどこに帰ろう
20100803 19:50 @finalfusion @mr_konn @septef どもです。暑かったー。
20100803 19:52 そういえば最近まったくダンジョン潜ってない
20100803 19:56 飛行機のゲームに入ってたチェスがマトモな強さだったので驚いた。Kasparovの名前を冠してた気がするので http://en.wikipedia.org/wiki/Kasparov_Chessmate これの移植かな。
20100803 23:12 四時さん登録したくなってきているが、毎朝4時の定時発言はしたくないという問題があるな…
20100803 23:27 @tokoroten それだと逆

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0