2010年09月27日

今日は WGP (workshop on generic programming) で話を聞いた．登録してないので最終セッションしか聞いてないけど．

Ralf Hinze の Reason Isomorphically! は…　難しい内容をかみ砕いてわかりやすく説明してくれた発表だったのだけど，結局のところ彼の手法の利点が今一つ理解できず…　面白い部分は難しくて説明できないだろうから発表では省いたらしい．論文が手に入るようになったら読んでみるか．

最後の Constructing Datatype-Generic Fully Polynomial-Time Approximation Schemes Using Generalised Thinning は…　thinning の素直な拡張だなぁと．細かいところを確認しきれていないのでやっぱり論文見てみないとね．

閑話休題．

Baltimore でセブンイレブンをたくさん発見．日曜日でも水とか食糧とか買えるので非常に便利．Lexington Market とか見に行ってみたけど日曜日でお休みだったのは痛かった…　ほかのお店類も軒並みお休み状態で…　スタジアムだけは試合があったのか混んでたなぁ．