2003-10-23 [長年日記]
λ. 第 293 回 PTT
に行ってきた。話はとても面白かった。「操作的意味記述を用いた仮想機械の生成に向けて」の延長なのかな。closure conversion とか super thread とか、知らないキーワードが結構出てきたので勉強しなきゃなぁと思った。
λ. PTT懇親会
首藤さんに初めてお会いした。
伊知地さんに soft typing の事についてちょっと教えてもらう。隠れた多ソート代数の free algebra を考える。この free algebra が崩壊(?)する場合にはコンパイルを通さない。
電通大の多田研の人が何人か来ていて、ぽへへ〜ん が共通の話題になったり。
λ. そういえば、SOSP 2003 読み会 はどうしよう……
[ツッコミを入れる]
