#うちの Mac だと Safari だとアクセスできず、Firefox ならアクセスできました。
#私の Mac 環境だと Firefox でアクセスできず、Safari だとアクセスできました。
#Haskellers Meeting は仕事のトラブルで行けず、RWH読書会は二日酔いで行けず。orz
#RWH読書会は何ページまでいきましたか？
#p.295 まで読みました。次回は 12.9 からです。
#MSRのページ、昨日はMac上のSafari/Chrome/Firefoxでアクセスできたと思ったら、今日はFirefoxでしかアクセスできなくなった。謎だ……
#Twitter だとポスト数が多くなってしまうので、こちらに書いておきます。
#24日に開催する予定の Oleg さん達との会合ですが、以下話題のどれかをお話してもらえるそうです。
#- Light- and heavy- weight static guarantees (Haskell)
いわゆるlow-level Haskell programming + 型レベルハカイング
- Monadic regions (Haskell)
- Probabilistic programming (OCaml)
- Code generation with delimited control (OCaml)
- OCamlの於けて限定継続についてFLOPSの話 (OCaml)
- Tagless typed interpreters (Haskell)
Oxfordの講義、TDPE, CPS transform, type checking, linear
lambda計算含めて
- 限定継続を使う言語学 (OCaml)
- Iteratee (Haskell)#みなさんは、どの話に興味がありますか？
#あと、会場として良さそうなところがあれば、教えてください。
#一応こちらでも探してますが、（Oleg さんの発表のために）プロジェクターを利用できて長時間使える会場となると、なかなかないですよね……。
#私の Mac 環境だと、Safari で MSR のページにアクセスできますね。
haskell-ja > Archives > 2010/04/18