https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 戸塚に来てしまいました http://www.city.yokohama.lg.jp/toshi/tochu/kaitsu.html | |
| RT @ksknac: Twigクエリの包含関係や等価性を有限個の例で検査する話．形式言語のtest setっぽい話だけど関連性は不明． 「有限個で検査できる (characterizable)」の定義が存在だけでeffectiveか否かに言及していないのが気になった． 後で聞… | |
| めっちゃ面白そうあとで読む https://t.co/pn6sYGK6LZ | |
| ICDT実況ありがたし | |
| 今日の歩行者専用道です https://twitter.com/kinaba/status/580198330115825664/photo/1 | |
| トンネルでした https://twitter.com/kinaba/status/580198506972893184/photo/1 | |
| @septef 元ネタがわからず | |
| @septef I see |