No Such Blog or Diary

初っ端に Guy E. Blelloch のお話．コスト入り並列ラムダ計算とNESLの紹介．知ってる内容なのでどこに力を入れてプレゼンするかが注目どころだったけど…　FPってParallelに良いよねとしか言わないので普通だった．

続くセッションの Sparse matrix の話はプログラムは検証できるのがありがたいよね，と．検証できなければ価値ないと思う．

Shape polymorphism な array の話は parallel あまり関係ないじゃんという．Haskell でちゃんと実装しましたよ，という認識．

最終セッションの pearl paper "A Play on Regular Expressions" は演劇の台本として書かれている点が特徴的．内容的にも，正規表現のサイズと入力とにリニアなアルゴリズムを簡潔に実装しているし，Haskell の遅延評価をうまく使って無限の正規表現でもアルゴリズムが動くのが面白い．正規表現をいくらでも連ねられるので，CFGもオッケーだしCFGを超えるものも表現可能だし（a{n}b{n} for all n とか a{n}b{n}c{n} for all n とか）．これくらい色々と面白い pearl paper がもっと増えるといいなぁ．

閑話休題．

ほぼ毎日夕飯に通っていたお店が今日はお休みだった．残念．

身内の発表日．無事終了．

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 とかいうのを注文．和風の味付けでアメリカ滞在的に非常においしかった．

Invited Talk は ML の話でなく Robin Milner の歴史になってたな…　とりあえず ML = LISP + ISWIM + Type ってことで．

Functional Pearl の Every Bit Counts はデータのエンコーディングをデータに対する質疑の応答列にするという話で，codecs = Q/A strategies だという．そんで codec （=guess game） を構成するためのコンビネータが提供されると．この手法の性質の一つに任意のビット列に対して対応するデータが存在するという性質があるので，データを全列挙して順番に試すプログラム書くときに便利かなぁとか思った．とりあえず何かを探すときには解候補を全列挙する generate and test が簡単に並列化もできるのでうれしいのだけど，全列挙部分を書くのがしばしば面倒でやる気をなくすことがあるので．

それにしても日本からの参加者が思ったより多いなぁ．全体で240人弱の参加者がいるところに日本から20人来ているという…　来年日本だからこれくらいの勢いでちょうどよいのかもしれない．

そして歩道を歩いていたら渋滞ってた車の中の人に呼び止められて，なんだろうと思ったらジーンズの右後ろのポケットが破れて中のものが落ちそうだと教えてくれた．もちろん破れていることは認識した上で履いていたのだけど，とりあえず現地人いい人だなぁ．

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

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

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

閑話休題．

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

スタッフ日記でも読もうかとアリスソフトのページを見ようとしたらエラーを食らった．日本限定らしい．

平和に終了．

maximum matching の Karp-Sipser アルゴリズムをBSPモデルで並列化したという話があったのだけど…　結局のところ厳密ではない greedy アルゴリズムなので大外れの際にどれくらい最適解から外れるのかが気になった．元の Karp-Sipser アルゴリズムの時点での近似率も分からないのだけど，並列化によって明らかに近似率が悪くなる方向になっているのでどうなんだろうかと．まあ，実験を見る限りにおいてはリーズナブルに問題ないようだったけど…

閑話休題．

invited speak で tree 上の maximum independent set 問題が少しだけ話に上がった．この問題が木のサイズに関してリニアの仕事量で解ける（しかも O(n/p + log n) の並列時間できれいに並列計算できる）のは知っていたので，一般のグラフの上ではどうなるんだろうと疑問に思った．で，ちょっと考えてみたら，minimum vertex cover 補集合が maximum independent set になるということに気が付いて思考終了．つまらないなぁ…