2018-07-01から1日間の記事一覧
前回: hkdnet.hatenablog.com 今回は6章まるごと。 アルファ変換を許可する、というのは第5章で学んだが、しかし変数名が重複してるんだっけ?という疑念は常につきまとう。特に理論的な部分ではなく実装するという観点においては「標準の」の表現を定めてお…
前回: hkdnet.hatenablog.com 今回は6章まるごと。 アルファ変換を許可する、というのは第5章で学んだが、しかし変数名が重複してるんだっけ?という疑念は常につきまとう。特に理論的な部分ではなく実装するという観点においては「標準の」の表現を定めてお…