https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 健康診断で血を抜かれて倒れるのが毎年恒例の定期イベントになってきた…（つらい） | |
| RT @iwiwi: 奈良で開催中の学会 ICFP に来ました。会場が能楽ホール！！ https://t.co/IKHnAOBRxG | |
| RT @iwiwi: 会場には関数型言語に関心を持つ鹿も集まっています https://t.co/91Hk2SUSl8 | |
| RT @masahiro_sakai: 1st place is Unagi #ICFP2016 https://t.co/S5DWNOqORr | |
| おめでとうございます | |
| @septef 抜かれ慣れたりするもんですか。年一では全然慣れない… | |
| @lightout 数年前から横になった状態で採血採ってもらうようにしてるんですが、それでもダメなもんはダメですね…せめてトマトジュース飲みながらやれれば全力でプラシーボ効果を自分に対して発動するのですが | |
| 2006-2008 3連覇のTeam Smartassや2000,2002の2回優勝の住井さん達に参加者側として復活してもらってUnagiとバトルロイヤルを繰り広げて欲しい気持ちはあります #ICFPコンテスト | |
| @mametter @Linda_pp https://t.co/z0t6VTO6Xi これだと思いますけど実際にやることは全然考えてなかった。あと自己参照だと1段階も展開されない実装だとは思ってなかった… | |
| Amortized rotation cost in AVL trees https://t.co/S2XPCA03HL (のジャーナル版)読んでた。deleteが毎回絶対Θ(log n)かかるような嫌らしいAVL木への操作(挿入/削除)列を構成したよというお話 | |
| 途中で「任意のAVL条件を満たす木は、空集合から始めて、作れる」というのを証明してて、これの赤黒木版言えるのかどうか考えたいと思ってずっと放置していたのを思い出した（思い出しただけ） | |
| @yuizumi_y5i い(つか)ま(たこんど)でしょ | |
| 本当は今日読んでたのはフローの話(FOCS 2016) https://t.co/Ij5b90P0mM なのだが全然理解できてないのであれですというのは秘密です | |
| @Cryolite 実にその通りですね！！！！ |