厳格な2PL_rigorous_2PL