https://twitter.com/kinaba のログ (twilog の方が便利です。)
| VSTTE 2012 Software Verification Competition https://sites.google.com/site/vstte2012/compet とりあえず問題読んだ！仕事しながら考えよう （フラグ | |
| @natsutan なつたん最強の１０さつは何ですか！ http://natu.txt-nifty.com/natsutan/2010/11/10-ad71.html でしょうか | |
| というわけで帰ホテ。VSTTEはじめる…とりあえずCoqでやってみて、自分の実力不足を言語に責任転嫁したくなったら他を考えるか | |
| Lancelot http://code.google.com/p/lancelot-eclipse/ って面白そう。このメソッドにその名前というのは変だろ常考、と突っ込んでくるプラグイン… | |
| @finalfusion @natsutan ぼくがかんがえるさいきょうのラノベ10冊なら！ | |
| @ytomino さんの選ぶ推理小説10冊がきけるときいて | |
| @lyrical_logical http://tech.voyagegroup.com/archives/5088413.html → http://twitter.com/#!/natsutan/status/134091076670722048 → http://twitter.com/#!/natsutan/status/134091542364299264 みたいな流れと認識しているので最強ならなんでもいいと思います | |
| 歴史フィクション10冊を考えていた。偽書幕末伝、天切り松、墨攻、国銅、時の地図…はなんか違うか、時砂の王…はさすがに違う、赤目のジャック、塩野七生の地中海三部作、真田太平記（長いけど）、アラビアの夜の種族（絶対違う） |