試験の準備などで殆ど頭から忘れ去られていたのですが、http://atnd.org/events/29893/13の13:00〜20:00でコレがあります。場所は、今の所大久保です。 取りあえずそういう中でリマインダとしてこのエントリを書いておきます。10人ぐらいなら他に、こういう…

2010年の5月にBoostConがあるというのは良く知られた話らしいです。2009年のBoostConでは、Andrei Alexandrescuさんによる"Iterators Must Go"をはじめとする発表が行われたようです。 (私はAlexandrescuさんの発表でBoostConの存在を知りましたが...。 それ…

class C[covariant label L1,covariant label L2] { } class Tester[label l1,label l2,label l3,label l4,label l5,label l6] { void test() { C[l1,l3]{l5} c1 = null; C[l2,l4]{l6} c2 = null; if(l1 <= l2 && l3 <= l4 && l5 <= l6){ c2 = c1; } } } thi…

http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20100124#p02この話も雑談会の時に私が出しちゃって、うーんでも何か納得行く系のヤツが無いんだよなぁと思っていたら、先日買った数学の視点 (math stories)作者: 上野健爾出版社/メーカー: 東京図書発売日: …

http://ranha.kerox.info/crackerbonbon/うちの大学多分こういうの無いので、例によって勝手に作りました！！！うおおおおおおおおおやりました！！！！！！俺のPOPL力とかICFP力を見てくれ！！という人は発表してくださいお願いします・・・。私は取りあえ…

CACMのType Theory Comes of Age HTML : http://cacm.acm.org/magazines/2010/2/69367-type-theory-comes-of-age/fulltext PDF : http://cacm.acm.org/magazines/2010/2/69367-type-theory-comes-of-age/pdf を丁度先週ぐらいに読みました。話の内容としては…