トップ «前の日記(2008-11-13) 最新 次の日記(2008-11-15)» 月表示 編集

日々の流転


2008-11-14 [長年日記]

λ.プログラムの安全性を高めるために—今注目を集める関数型言語に迫る—

『圏論の基礎』の翻訳等で有名な三好先生による関数型言語の紹介。 三好先生の写真初めて見た。