- 2010-09-29 (Wed) 12:07
- 一般
身内の発表日．無事終了．
Janis Voigtländer の syntactic bidirectionalization と semantic bidirectionalization を組み合わせるやつは一般の再帰データ構造に対する形を取り出す関数とその関数上の sget を全部自動でできると有用そうだなぁと．形を取り出す関数は多相型の型変数にユニットをブチ込めばよいんじゃないかと言っているし get から sget を自動で作るのも prototype があるらしいので… 全自動でできるのかね？ でもまあ，多相的な get しか許さないので値を見るような変換は出来ずやっぱり制限きついのかもしれない．多相性でポインタのトラッキングができるっていうアイデアはきれいなのだけど．
閑話休題．
来年の ICFP は日本の NII で．ICFP = I see Fuji Peak!! ということらしい．誰が考えたんだろう？ 何はともあれ日本のホテルはサービス満点お値段そこそこお部屋は狭しなので，宿泊関係の情報提供や斡旋が難しそうに見える．そしてプログラミングコンテストも気になる．
んで，コンテストのほうは今年も日本人たちが優勝ということで目出度い．昨日会場にいるメンバーに会っていたので優勝がばれてた感じではあったけれど．そして優勝者のスピーチはバッチリ決めてほしかったかなぁという感想．まあ，良くも悪くも日本人．
閑話休題２．
夕飯は発表お疲れ様でした会を兼ねて近くの Roy's というレストランへ．とりあえず名前の面白かった Hibachi style grilled atlantic salmon とかいうのを注文．和風の味付けでアメリカ滞在的に非常においしかった．
- Newer: ことはじめ