（前回の続き） 「保護付」の完全展開 特別な措置とは、具体的には次のようなものである。 完全展開する際に、「保護（protect）」されたトークンは展開されない。 このような展開のことを「保護付き完全展開（protected full expansion）」と呼ぶことにする…