Last Visit to MSS

前兩天半夜心情不好，拿著 PB 到床上查資料，之後透過無線網路、WakeOnLan、和 Remote Desktop Connection 打開 PC 上的 iTunes，最後從 PB 這邊的 iTunes 接收區域廣播，聽的是 scm 老師去年在 FLOLAC '07 講的 MSS derivation。原來 scm 老師那時候什麼都講了，包括〈A Glimpse of Relational Derivation〉列的一些 program derivation 的優點和〈Maximum Segment Sum 的成長故事〉所描述的語意轉變。大概只有最後一步 tupling 沒講吧，可是那也是刻意省略的。

--
聽完就覺得原地踏步得很嚴重…