https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @masashinakata がんばりすぎで疲れやしないかハラハラしながら見ていたくらい手厚い運営でした。おつかれさまでした！ | |
| RT @ksknac: [Coq] 推移律はいらない? ─比較ソートの正当性に必要な比較関数の性質─ http://d.hatena.ne.jp/KeisukeNakano/20131225/1387930086 | |
| おもしろい https://t.co/yt9V44ow2e 。てことは推移律が成り立たない関係に対してLocallySortedを成り立たせる並び替えは普通のsortアルゴリズムでいいのか | |
| つまりトーナメントグラフのハミルトンパスはO(n log n)時間で求まる。ふむー | |
| http://epubs.siam.org/action/cookieAbsent そういう論文あるなあ。なにか難しいいろいろもついてきているけど | |
| @gusmachine それ貼ろうとしたら既に貼られていた。当時調べた限りでは問題になるのはもっぱら非対称律だったような記憶があります。pivot<pivotを仮定とか | |
| 須磨の水族園のイルカイベント、常にスマイルって形容詞がついてるのセンスがある https://twitter.com/kinaba/status/416078845129658370/photo/1 | |
| http://sumasui.jp 大水槽の前にご自由にお入りくださいと炬燵が並んでるとか、無脊椎動物コーナーのわかりやすい解説の充実度とか非常によかった | |
| というわけで久しぶりに海です。 https://twitter.com/kinaba/status/416087510100373504/photo/1 | |
| 雨の中ずっと歩いていたらしょってた着替えの服が全部しっとりしている（控えめな表現）し今日の宿にはコインランドリーがない。どうしよ | |
| というわけで今回は西明石まででセーブ。1日目 http://connect.garmin.com/activity/418720513 2日目 http://connect.garmin.com/activity/419111223 3・4日目 http://connect.garmin.com/activity/419669714 三条大橋～京都駅と新神戸駅～三宮駅は別の用事で歩いたことがあるので飛ばした | |
| 明日は正規言語お兄さんと京都巡りなんだけど「恥ずかしいセリフ禁止！」って突っ込む練習とかしておいた方がいいのかな #自分の方が恥ずかしいのでやらないパターン | |
| 人工知能学会誌の表紙、0.1秒考えれば今批判されてる方向で炎上する予想がつくことをやる以上それなりの信念を持ってやってるのであって欲しいと思うだけですが、それはそれとしても、21世紀にもなって人工知能のイメージってああなの、という古さを感じてしまう | |
| "日常の中にある人工知能"というコンセプトを表現するのが、日常の中にある人間以外のものが人間の形になるというデザインなのだとすると、ええい人間とかどうでもいいだろ知能の話をしろという気分になる | |
| 現実の物理法則と似ても似つかない物理シミュレータの方が作りたいし徹底的に人間っぽくない人工知能の方が作りたいし | |
| @NaOHaq む、僕宛ですか？そっちの話題（"研究者はオタクばっか"）には https://t.co/QNGL9xwoWy 以上に加える意見を持ってないですが、「本気なら自ら環境を変えてみせろ」しかない状況てのは何事につけ良くないことだと思うので個人にそれを向けたくはない気持ち | |
| RT @notogawa: アンドロイドが知的作業をしていて人間が掃除してるってのどうだろうか？人工知能がヒトを越えていった感出てすごいのでは？ | |
| いい https://t.co/UdsibxKYmQ |