tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20150423 01:19 きたく。正規表現お兄さんに呼び出された指定の喫茶店に来てみたら http://cafe.animax.co.jp/ というところできんいろモザイク絶賛フェア中で光る棒を振りながら http://analysisofbooleanfunctions.org/ というbool関数を有理多項式で表現する話を振る人がいた
20150423 01:28 あと将棋盤持ってくると言っていたのにこなかったので執拗に「7六歩」「7六歩」「7六歩」と目隠し将棋を迫ったけど返してくれなかったので悲しい
20150423 01:30 まあそれはそれとして論理今日お話できた皆様たいへん楽しかったですありがとうございます
20150423 01:39 ICALP&LICS15の論文色々よみはじめてる。ロマンチック心をそそるかっこいい名前のヒープの実装 "Hollow Heaps" http://www.cs.au.dk/~tdh/papers/Hollow-heaps.pdf 面白かった。ちょっとだけDAGにしたりちょっとだけ要素保持しないノードを作ったりして効率化するヒープ
20150423 13:14 高速にタイプするとキー入力が落ちるというバグを再現するのにしばらくhelloと打って再現させようとしてたんだけど、Lの連打でつっかえてうまくいかず、自分が最も速く打つのに慣れてる文章ってなにかとしばし考えてから#include <ios...とやってみたらスムーズに再現できた
20150423 13:16 qwertyで高速に打ちやすいように文字の並びが調整された Lorem ipsum みたいなものって何か標準的なのあったりするのかな。
20150423 18:33 今週は頭が痛い日と痛くない日が交互に来る(あたまいたい)
20150423 18:55 @kumasiro なるほど

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0