ラムダ・キューブなどについて書いている (?)