https://twitter.com/kinaba のログ (twilog の方が便利です。)
| APLAS http://ropas.snu.ac.kr/aplas09/ にきている #aplas09 | |
| ESOP 2010 の Accepted Papers がでてる http://research.microsoft.com/en-us/um/people/adg/esop2010/ 松田さんのは面白いので公開されたらみんな読むべき。あと気になるのは Testing Polymorphic Properties というのだなー | |
| @zakkas783 僕がfirst authorではないので実はわりと気楽な感じです。(^^; 問題は昨日締め切りの論文のうしろに控えた20日締め切りの論文による波状攻撃… | |
| #aplas09 Separation Logicの話は昔と違って聞いても眠くならなくなったというか、意味論と応用をちゃんと把握できてみると面白さがわかってきたんだけど、しかし「sep conjを入れたのがクリティカルにどう効いたのか」という部分が一言で理解できてなくて理解したい | |
| 昨日、LRUMap を hastable + singly-linked list で（あるいはもっと賢く、余計なリンク構造を使わないで）できるだろうかという楽しい宿題を @shinh さんに頂いたので考え/調べねばならない。slistは1個ずらしでなんとかなりそうだけど… | |
| #aplas09 午後のチュートリアルはSunの人によるFortressの紹介。チートシート１枚が配られた。これわかりやすいな。 | |
| #aplas09 "Run your whiteboard in parallel!" | |
| @finalfusion Fortressのデザインぷりんしぷるのお話を聴いてます。（プログラマではない）技術者や数学者がホワイトボードに書くような数式をそのままに、並列に、動かす！！！とかなんとか #aplas09 | |
| 日記書いた。ねむい。 | |
| http://shinh.skr.jp/m/?date=20091213#p03 所有権が本当に複数のオブジェクトに渡ることは何かしらあるような気がするんだけど、循環することは確実にないと思うのでshared_ptrが循環して困るというのは本気で設計がおかしいと思う事はあるなあ。 | |
| @ytomino 最初の方のSRMは、なんかこれ無駄に実装が面倒いだけだろう馬鹿にするな的な問題がちらほらあるので、適度に新しめのところを覗いてみる方が面白いかも。私の勝手な感想ですが… |