http://hal.inria.fr/docs/00/70/20/65/PDF/segal.pdf より、 1. annihilation lookup - update: reading the value of a location loc and then updating the location loc with the obtained value is just like doing nothing. 2. interaction lookup - l…