間がめちゃくちゃ開いた気がします…。気がついたら脱線しまくりの、私生活ドタバタで全然進んでませんでした。 ということで気を取り直して、またサクサク進みますよ！＞＜ 1.3高階手続きによる抽象(p31) プログラムで3乗することはできるが、言語には3乗の…

ラムダ計算に魅了されたあやぴーが、ラムダ計算でプログラミングしてみる。 今回の目標は「1+2=3」をラムダ計算で計算することです。 準備:ラムダ計算とは？ 「函数の函数による函数のための計算」とか言ってると、「ぽい」のかもしれないです。 1930年頃に…