こんにちは，KMC4回生のseikichi(id:se-kichi)です．今日はTypes and Programming Languagesの読書会を行いました．今までblogに書かれていませんでしたが，今回で3回目(6章)となります．
5章の型無しラムダ計算にはvariable captureの問題がありました．今回は変数を名前の代わりに自然数で表現(De Bruijn index)して対処するお話です．ページ数が少なかったため，30分程で終わりました．
次回は来週日曜の予定です．
こんにちは，KMC4回生のseikichi(id:se-kichi)です．今日はTypes and Programming Languagesの読書会を行いました．今までblogに書かれていませんでしたが，今回で3回目(6章)となります．
5章の型無しラムダ計算にはvariable captureの問題がありました．今回は変数を名前の代わりに自然数で表現(De Bruijn index)して対処するお話です．ページ数が少なかったため，30分程で終わりました．
次回は来週日曜の予定です．