トップ «前の日記(2003-10-20) 最新 次の日記(2003-10-25)» 月表示 編集

日々の流転


2003-10-23 [長年日記]

λ. 第 293 回 PTT

に行ってきた。話はとても面白かった。「操作的意味記述を用いた仮想機械の生成に向けて」の延長なのかな。closure conversion とか super thread とか、知らないキーワードが結構出てきたので勉強しなきゃなぁと思った。

λ. PTT懇親会

首藤さんに初めてお会いした。

伊知地さんに soft typing の事についてちょっと教えてもらう。隠れた多ソート代数の free algebra を考える。この free algebra が崩壊(?)する場合にはコンパイルを通さない。

電通大の多田研の人が何人か来ていて、ぽへへ〜ん が共通の話題になったり。

λ. そういえば、SOSP 2003 読み会 はどうしよう……