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