https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ぷりちーbig-step semanticsの論文読んでた http://www.chargueraud.org/research/2012/pretty/ ＆ 理解した ＆ イントロ面白かった（ここ数年のICFPやPOPLでどういう論文何件程度がどっちのスタイル使ってるか情報など）けど何故prettyという名前にしたのか結局謎だ | |
| @eomole 突然ですが http://arxiv.org/abs/1402.3021 という論文を今見ました。クリーネ代数+あれ+それ+これ で2way有限状態文字列to文字列トランスデューサを特徴付けると書いてあるような気がする | |
| というわけでLICS'14の採択論文みてる http://lics.rwth-aachen.de/csl-lics14/accepted.html Regular Combinators for String Transformationsというの面白そうなのはじめRegularとかMSOとか書いてあるの結構ある | |
| "MSO Queries on Trees: Enumerating Answers under Updates"ってまだ著者版見当たらないけど何をどのくらいの計算量でやってる話だろう。自分の手持ちネタの微改良で同じタイトルつけられそうな物体はできそうなので気になる |