https://twitter.com/kinaba のログ (twilog の方が便利です。)
| "チューリング完全じゃなければ" http://shinh.skr.jp/m/?date=20100803#p01 理論を応用すると、自作tacticを使わなければCoqはチューリング完全じゃない → iPhone向け開発言語にはCoqという流れが見える！！ | |
| Turing completeness is overrated http://lambda-the-ultimate.org/node/2846#comment-42123 というコメント見つけた＆激しく同意だ。特に"The main problem isn't ～"以下の意識 | |
| @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. | |
| @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. | |
| 空港に向かう… | |
| 帰宅したような気がする | |
| @hirekoke ではこれからがんばって正夢になるように帰宅します！さてどこに帰ろう | |
| @finalfusion @mr_konn @septef どもです。暑かったー。 | |
| そういえば最近まったくダンジョン潜ってない | |
| 飛行機のゲームに入ってたチェスがマトモな強さだったので驚いた。Kasparovの名前を冠してた気がするので http://en.wikipedia.org/wiki/Kasparov_Chessmate これの移植かな。 | |
| 四時さん登録したくなってきているが、毎朝4時の定時発言はしたくないという問題があるな… | |
| @tokoroten それだと逆 |