SGLの4章読んでTopos導入をしている感じなのですが、 generalized elementってなんやねん という話で、ちょっと思ったことを書く。 Definition: をtopos、をその対象とします。 一般化元(generalized element)とは射のこと。 と言われてもなんのこっちゃ。 …

演習問題淡々と。 3章を読んでいるのですが、ここら辺でSchemeの肝になってる静的スコープと説明と動的なデータをどうやっていじるかの説明が入っている感じです。 今回は3.3章のMutable Data Structureのところを読んでいます。 ;;;;;;;;;;;;;;;;;;;;;;;;;;…