https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @kotobuki_t http://twitter.com/kotobuki_t/statuses/3358755299 亀レスですがありがとうございます。なるほどなるほど | |
| #spcamp 日記書いた http://www.kmonos.net/wlog/100.html#_1651090818 | |
| ところで僕のポストは public_timeline に拾われていないっぽいので、いくらハッシュタグつけても検索にヒットしないので悲しい… | |
| @pastak パブリックになってる…はず…ログアウトしても自分で自分の見れますし。一度プロテクトにする→解除、とやるとtwitter側のフラグが変わらないかなーと思って時々やって遊んでるんですけど、直ったことがない | |
| @natsutan 本気が投入されてる自動検証が見たければハードウェアの方調べよう、みたいな話はプレゼンの時にしてきました。セプキャンの資料に書いたような手動検証（証明は人間が書く＋正しさは機械が保証する）みたいなのってハードウェアの方でも使われてるんでしょうか | |
| @m0h1can http://twitter.com/m0h1can/statuses/3379276769 はマジメにまずいかなーと思ったので大変申し訳ないですが、今、藍ちゃんには隠れていただきました…ごめんなさい… | |
| @natsutan naruhodo. 乱数を使ってなんかする話は全く弱いのでなんとかしたいなあ＞自分 | |
| @random_oracle (PDF注意 http://www.toshiba.co.jp/tech/review/2009/07/64_07pdf/a06.pdf ) こういう方面の機械証明から、実装を導出する的な話を念頭に置いてました | |
| SRMみたいなやつレートつかないらしいから最難問題最初っから開いて最後まで悩み続けようかと思っている #SRM |