https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @esumii 今年もあったと思います。確かに興味深いシステムですよね。機会があったら聞いてみようと思います | |
| APLAS 2010 の論文リストが出てる。http://basics.sjtu.edu.cn/conference/aplas2010/accepted_papers.htm "Data Structure Fusion" が圧倒的に気になる。タイトルから勝手に妄想するにMultiIndexみたいなことをFunctionalにやってくれると楽しいのだけど。読んでみよう | |
| #anarchyproof 「sv[2..] where sv(x:xs)=x:sv(filter(_%x>0)xs) が素数リストになる」ってcofix使う証明になりませんか？？と書き始めてみたが、まずこのfilterがちゃんと先に進む証明が自力で書けず問題すら記述できない… | |
| flat tire を flat trie に空目して何か新しいデータ構造かなーと思ったら違った RT flat tireってパンクしたタイヤのことなのか (via @ltzz) http://twitter.com/ltzz/statuses/24383032995 | |
| @kikx http://www.lix.polytechnique.fr/coq/refman/Reference-Manual003.html#@command15 "must be protected by at least one constructor" はいいとして、"only by constructors" の方の制約ですよね。確かに回避のしかた思いつかないです… |