何とか図形言語のところまで。図形言語の環境をそろえるのにEva Lu Atorさんは苦心しておられるご様子。というか、第二章でEva Lu Atorさんって女性だったことが発覚してかなりびっくり。Church数のところは先週にEva Lu Atorさんが脳内Evalしている所を横で…

LispやSchemeは手続き自体がデータとして表現できると書いてあったけれど、ちょうどこれは逆。データを手続きであらわすこともできるのね。

思っていたのだけれど、あさって。第一章のメモのまとめをそれまでに終わらせたいところです。

今週は一章の練習問題を片付ける話だったけれど、数学にまつわる問題が多くてあまりすすまなかった。予習も講師以外にはしてなさそうで申し訳ない。 Gaucheを使える環境をいただけたので、少し使って慣れてみるよ。*1 *1:脳内Evalの中間記法をScheme処理系が…