いままでのところで使われた通常の名前以外にさらに3クラスの名前があります。 1) $:(ドルコロン)は自己参照に用いられ、名前をつけないで帰納的に動詞を定義することを可能にしている。22章を参照。 2) xとyという名前が明示的定義では使われる。詳細は18章…