STM

並行処理するための技術の一つだけど，何か面白そう．今のところ使われてるのはHaskellとClojureくらいしか知らないのだけど，いろいろやりようがあるっぽい．D言語はメッセージパッシングの方でConcurrency APIは進んでるけど，これならライブラリレベルでも何とかなるので，簡単なのは作ってみたい(dmd-concurrencyでも話には上がってるけど，実装などまともに出来る人がいないので，議論が出来ない状態)．
まぁでも論文は英語ばかりで時間がかかりそうなので，修論が終わってからの課題にしておく．どんどんタスクが溜まっている気がするけど気にしない．

追記

こんな本があるらしい．読んでみたい…