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