厳密な2PL_strict_2PL