tw.log

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

<<newer (latest) older>>

20160208 13:57 https://t.co/hIBcbwUxep PLDI 2016の論文リストが出ているのに気づいたので読んでたがあんまり心惹かれるものがなかった。Execption を Blame で云々のやつはちょっと気になる
20160208 14:15 Derivative でCFG Parsingがn^3でできるというの、やっぱりEarley parsingを言い換えてるだけ( https://t.co/6cCtkeHCnq )にしか見えないんだけどなあ…
20160208 14:25 @_ko1 どっちのauthorの論文もそれなりに読みやすい方ではありそう(無限に横線の上下に式が書いてある型型してる系ではなさそう)
20160208 21:27 twitterの検索欄に"PPL"と入力すると"PPL 昼食"がサジェストされる
20160208 21:40 というわけでPPLどうしよう
20160208 22:09 https://t.co/6mB1cugah3 文法が与えられた時にその文法にちゃんと従ってる"いろは歌"があるか探す問題、なんか気になって境界とか近い問題とかを寝る前に毎晩考えてたら結果が増えてきたのでまとめ直した https://t.co/1QaMTbouIB
20160208 22:10 なにか応用があればそれなりにまとめる価値もある気もしてきたが、しかしまったく使い道が思いつかないという問題がある

<<newer (latest) older>>

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