tw.log

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

<<newer (latest) older>>

20100629 11:40 SPJ Normal Form という単語を聞いてSimon Peyton Jonesかと一瞬思ってしまったりしたがSelect-Project-Joinだった
20100629 16:33 そういえばdisjointを表す演算子が欲しい話ですが、昨日セミナーしてたら http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8463 に"交わりがある"を意味する記号が現れて、発表者により「シャネルっぽいマーク」という素晴らしい指摘がなされていたのでシャネルオペレータとして流行らせよう
20100629 22:48 うぇ。明日PLDIrか。すっかり忘れてた。今から何か読んで行くかな。Mayaって結局まだ誰も発表してないよね?
20100629 22:52 Jedd (http://portal.acm.org/citation.cfm?id=996841.996861) の方も面白そうだ。BDD(ビヘイビア駆動じゃない方)厨のわたしです
20100629 22:57 @keigoi おお、ありがとうございます。# という記号はどういう気持ちで選ばれてるんですかね、これは
20100629 23:18 よし風呂った。論文読み開始

<<newer (latest) older>>

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