発表を聞く

寝落ちから普通通り起床.今日は発表聞き専なので気が楽だし,色々楽しみな発表もある.

んで,いくつか旧K研ので気になる発表があった.実装むちゃくちゃっぽいけど,XMLのオンライン処理におけるルーティングアルゴリズムとか話としては面白い.旧じゃないK研の発表はほとんどわからん.Y研/E研はいつもきいているのでとくに目新しさはなし.発表に対して色々質問するの楽しい.もうちょい発表と質疑応答の機会を増やすべきだと思うが….まあそういうの真面目にやりたいと思う人少ないらしいので仕方ない.

夜は例のお勉強会で,型なしラムダ計算の続編.「(ある種の)ラムダ項の方程式は解けるんだ!」「んで,再帰のあるプログラムってラムダ項の方程式たてることよね!」という感じで,不動点コンビネータ再帰の話をした.が,演習問題の答案見てたらあんまり伝わってなかった感.ぐぬぬ