2011-06-12から1日間の記事一覧
こんにちは,KMC4回生のseikichi(id:se-kichi)です.今日はTypes and Programming Languagesの読書会を行いました.今までblogに書かれていませんでしたが,今回で3回目(6章)となります. 5章の型無しラムダ計算にはvariable captureの問題がありました.今…
こんにちは,KMC4回生のseikichi(id:se-kichi)です.今日はTypes and Programming Languagesの読書会を行いました.今までblogに書かれていませんでしたが,今回で3回目(6章)となります. 5章の型無しラムダ計算にはvariable captureの問題がありました.今…